Title: A functional specification of the relational DBMS
Subjects: Database management