An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic.
Yehoshua SagivClaude DelobelDouglas Stott Parker Jr.Ronald FaginPublished in: J. ACM (1981)
Keyphrases
- propositional logic
- relational databases
- data dependencies
- first order logic
- databases
- belief revision
- database
- join dependencies
- object oriented
- quantified boolean formulae
- answer set semantics
- functional dependencies
- lattice theory
- normal form
- relational model
- propositional variables
- davis putnam
- possibilistic logic
- xml documents
- belief change
- valued logic
- satisfiability testing
- propositional formulas
- search space
- theorem proving
- propositional satisfiability
- machine learning
- desirable properties
- knowledge base
- strong equivalence
- database design
- database applications