PaperCorrection to “An Equivalence between Relational Database Dependencies and a Fragment of Propositional Logic”