SQL and relational theory : how to write accurate SQL code / C. J. Date