Keyphrases
- data dependencies
- proof procedure
- theorem proving
- propositional logic
- first order logic
- predicate calculus
- normal form
- relational databases
- functional dependencies
- multi valued
- model theoretic
- knowledge base
- inference rules
- database design
- decision procedures
- database
- theorem prover
- database schema
- probabilistic reasoning
- default reasoning
- orders of magnitude
- domain specific
- propositional satisfiability
- special case