A Theorem Prover-Based Analysis Tool for Object-Oriented Databases.
David SpeltSusan EvenPublished in: TACAS (1999)
Keyphrases
- object oriented databases
- analysis tool
- theorem prover
- object oriented
- theorem proving
- automated theorem proving
- term rewriting
- first order logic
- inference rules
- distributed databases
- formal proof
- data abstraction
- databases
- abstract data types
- database technology
- proof search
- object oriented database model
- boolean algebra
- natural deduction
- relational model
- database languages
- database applications
- bayesian networks
- decision making