Theorem Proving Support for View Consistency Checking.
Richard F. PaigeJonathan S. OstroffPhillip J. BrookePublished in: Obj. Logiciel Base données Réseaux (2003)
Keyphrases
- theorem proving
- consistency checking
- first order logic
- decision procedures
- automated reasoning
- parallel search
- automated deduction
- theorem prover
- consequence finding
- term rewriting
- inference rules
- automated theorem proving
- geometry theorem proving
- proof procedure
- temporal constraints
- query answering
- automatic programming
- proof planning
- equational theories
- database
- temporal reasoning
- np hard
- natural language
- machine learning
- databases