Derivability, redundancy and consistency of relations stored in large data banks.

E. F. Codd Derivability, redundancy and consistency of relations stored in large data banks. 17-36 2009 38 SIGMOD Record 1 http://doi.acm.org/10.1145/1558334.1558336 db/journals/sigmod/sigmod38.html#Codd09