System R: relational approach to database management
Relational completeness of data base sublanguages