Formal Semantics of the ODMG 3.0 Object Query Language.
Alexandre V. ZamulinPublished in: ADBIS (2003)
Keyphrases
- formal semantics
- query language
- complex objects
- data model
- expressive power
- object model
- object oriented
- logical language
- formal language
- operational semantics
- first order logic
- database
- relational algebra
- modeling language
- object databases
- query evaluation
- er model
- logical reasoning
- modelling language
- owl dl ontology
- ontology languages
- theorem prover
- conjunctive queries
- software systems
- xml data
- artificial intelligence