Keyphrases
- normal form
- theorem proving
- proof procedure
- automated deduction
- automated theorem proving
- term rewriting
- proof search
- relational calculus
- theorem prover
- database design
- first order logic
- functional dependencies
- natural deduction
- timed automata
- nested relations
- relational databases
- decision procedures
- inference rules
- relational algebra
- automated reasoning
- proof planning
- parallel search
- consequence finding
- predicate calculus
- geometry theorem proving
- database
- sequent calculus
- database applications
- database systems
- knowledge base