On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases.
Floris GeertsBart KuijpersPublished in: Theor. Comput. Sci. (2005)
Keyphrases
- constraint databases
- transitive closure
- query evaluation
- query containment
- conjunctive queries
- decision procedures
- expressive power
- query language
- query processing
- deductive databases
- linear constraint databases
- data complexity
- description logics
- data management
- recursive queries
- xml data
- query answering
- data model
- database systems
- np complete
- object oriented
- databases