Download Relational Databases, Logic, and Complexity