Theorem Proving Techniques for View Deletion in Databases.
Chandrabose AravindanPeter BaumgartnerPublished in: J. Symb. Comput. (2000)
Keyphrases
- theorem proving
- databases
- first order logic
- parallel search
- decision procedures
- automatic programming
- theorem prover
- consequence finding
- automated reasoning
- proof planning
- term rewriting
- logical inference
- inference rules
- automated deduction
- proof procedure
- automated theorem proving
- data model
- relational databases
- distributed search
- equational theories
- geometry theorem proving
- predicate calculus
- timed automata
- random variables
- machine learning