Functional Dependencies in a Relational Data Base and Propositional Logic.

Ronald Fagin Functional Dependencies in a Relational Data Base and Propositional Logic. 543-544 1977 21 IBM Journal of Research and Development 6 db/journals/ibmrd/ibmrd21.html#Fagin77