Terminological Reasoning by Query Evaluation: A Formal Mapping of a Terminological Logic to an Object Data Model.
Ulrich ReimerPeter LippunerMoira C. NorrieMichael RysPublished in: KRDB (1995)
Keyphrases
- query evaluation
- terminological reasoning
- query language
- data model
- object model
- xml data
- description logics
- complex objects
- conjunctive queries
- deductive databases
- data management
- data complexity
- query processing
- model theoretic
- transitive closure
- database systems
- object oriented
- probabilistic databases
- xml documents
- relational algebra
- databases
- data integration
- expressive power
- modal logic
- highly expressive
- inverted lists
- database
- data sources
- disjunctive deductive databases
- knowledge base
- artificial intelligence
- query optimization
- querying xml documents
- efficient query evaluation
- query engine
- regular expressions
- predicate logic
- query answers
- constraint databases
- null values
- data mining
- relational databases
- xml streams
- xml queries
- database management systems
- relational model