The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard.
Bartosz BednarczykSebastian RudolphPublished in: AAAI (2022)
Keyphrases
- conjunctive queries
- np complete
- query containment
- pspace complete
- query answering
- data complexity
- exptime complete
- relational database theory
- dl lite
- description logics
- query evaluation
- decision procedures
- integrity constraints
- upper bound
- query language
- bounded treewidth
- data exchange
- acyclic conjunctive queries
- query rewriting
- decision problems
- special case
- computational complexity
- probabilistic databases
- unions of conjunctive queries
- database
- conjunctive query containment
- logic programming
- datalog programs
- incomplete information
- first order logic
- data integration
- data model
- satisfiability problem
- relational queries
- search algorithm
- databases