Correction to ”An equivalence between relational database dependencies and a fragment of propositional logic (1987)

by Y Sagiv, C Delobel, Parker Jr, D S, R Fagin
Venue:J. ACM