An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic

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},
}