http://doi.acm.org/10.1145/984514.984515 db/journals/sigmod/Date82.html C. J. Date A Formal Definition of the relational Model. 18-29 sigmodR/13-1/P018.pdf 1982 13 SIGMOD Record 1 db/journals/sigmod/sigmod13.html#Date82