A formal definition of the relational model

The relational model of data, originally introduced by Codd in [1], has three components: (1) a set of objects (relations, domains, etc.); (2) a set of operators (union, project, etc.); (3) a set of general integrity rules. The purpose of this paper is to provide a formal definition of each of these three components.

[1]  N. S. Barnett,et al.  Private communication , 1969 .

[2]  E. F. Codd.  Data models in database management , 1981, SIGMOD 1981.

[3]  E. F. Codd,et al.  Relational Completeness of Data Base Sublanguages , 1972, Research Report / RJ / IBM / San Jose, California.

[4]  Ronald Fagin,et al.  Normal forms and relational database operators , 1979, SIGMOD '79.

[5]  C. J. Date.  Referential Integrity , 1981, VLDB.

[6]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[7]  E. F. CODD,et al.  A relational model of data for large shared data banks , 1970, CACM.

[8]  Alain Pirotte,et al.  Domain-Oriented Relational Languages , 1977, VLDB.