Decidability and Complexity of ALCOIF with Transitive Closure (and More).
Jean Christoph JungCarsten LutzThomas ZeumePublished in: Description Logics (2019)
Keyphrases
- transitive closure
- query containment
- expressive power
- combined complexity
- constraint databases
- query evaluation
- first order logic
- recursive queries
- query language
- query answering
- spatial databases
- directed acyclic graph
- binary relations
- exptime complete
- description logics
- relational algebra
- conjunctive queries
- complex objects
- databases
- database design
- random walk
- multi dimensional
- database systems