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]

Abstract

Abstract is missing.