Foundations of Databases: The Logical Level
The Relational Model for Database Management: Version 2
Database Design and Relational Theory: Normal Forms and All That Jazz (Theory in Practice)
The Art of SQL
The Art of Prolog: Advanced Programming Techniques (Mit Press Series in Logic Programming)
SQL and Relational Theory: How to Write Accurate SQL Code
The Craft of Prolog (Logic Programming)