How Hard Is Completeness Reasoning for Conjunctive Queries?
Xianmin LiuJianzhong LiYingshu LiPublished in: COCOON (2020)
Keyphrases
- conjunctive queries
- query answering
- query evaluation
- integrity constraints
- data complexity
- np complete
- query language
- special case
- decision procedures
- data exchange
- query containment
- probabilistic databases
- query rewriting
- queries using views
- boolean expressions
- knowledge representation
- containment of conjunctive queries
- datalog programs
- conjunctive regular path queries
- unions of conjunctive queries
- conjunctive query containment
- automated reasoning
- reasoning tasks
- data model
- dl lite
- relational queries
- bounded treewidth
- databases
- schema mappings
- expressive power
- description logics
- answering queries using views
- data mining