Selected references Yehoshua Sagiv, Claude Delobel, D. Stott Parker, Jr., and Ronald Fagin. An equivalence between relational database dependencies and a fragment of propositional logic. Journal of the ACM, 28(3):435-453, July 1981.