Correction to "An equivalence between relational database dependencies and a fragment of propositional logic".
Yehoshua SagivClaude DelobelDouglas Stott Parker Jr.Ronald FaginPublished in: J. ACM (1987)
Keyphrases
- propositional logic
- relational databases
- data dependencies
- first order logic
- belief revision
- databases
- answer set semantics
- join dependencies
- object oriented
- relational model
- possibilistic logic
- database
- normal form
- functional dependencies
- quantified boolean formulae
- lattice theory
- propositional satisfiability
- propositional variables
- satisfiability testing
- valued logic
- propositional formulas
- horn logic