An Extensible Encoding of Object-oriented Data Models in hol.
Achim D. BruckerBurkhart WolffPublished in: J. Autom. Reason. (2008)
Keyphrases
- object oriented data models
- data model
- object oriented
- object oriented databases
- databases
- object oriented database systems
- formal specification
- theorem prover
- database systems
- database applications
- relational model
- database management systems
- reasoning systems
- query processing
- relational databases
- expert systems
- data structure
- artificial intelligence