Databases, Types And The Relational Model door Chris J. Date & Hugh Darwen