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. SIGMOD Record, 38(1):17-36, 2009. [doi]