STIRDAT: A system tightly integrating relational databases and a theorem prover.
Lila RaoHan ReichgeltPublished in: Data Knowl. Eng. (2000)
Keyphrases
- theorem prover
- relational databases
- first order logic
- automated reasoning
- theorem proving
- computer algebra
- term rewriting
- automated theorem proving
- database
- databases
- inference rules
- higher order logic
- functional dependencies
- object oriented
- sql queries
- natural deduction
- keyword search
- boolean algebra
- formal proof
- proof planning
- timed automata
- xml documents
- probabilistic model
- proof search
- knowledge representation
- database schema
- machine learning
- formal semantics
- xml data