An Introduction to Relational Database Theory
Hugh Darwen
Database Explorations
C. J. Date & Hugh Darwen
Databases, Types and the Relational Model