books.google.ca - Logic and databases are inextricably intertwined. The relational model in particular is essentially just elementary predicate logic, tailored to fit the needs of database management. Now, if you're a database professional, I'm sure this isn't news to you; but you still might not realize just how much...http://books.google.ca/books/about/Logic_and_Databases.html?id=2egNzTk871wC&utm_source=gb-gplus-shareLogic and Databases