Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin. An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic. Journal of the ACM, 28(3):435-453, 1981. [doi]
@article{SagivDPF81, title = {An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic}, author = {Yehoshua Sagiv and Claude Delobel and Douglas Stott Parker Jr. and Ronald Fagin}, year = {1981}, tags = {relational database, database, logic}, researchr = {https://researchr.org/publication/SagivDPF81}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {28}, number = {3}, pages = {435-453}, }