Structural Tractability of Counting of Solutions to Conjunctive Queries.
Arnaud DurandStefan MengelPublished in: Theory Comput. Syst. (2015)
Keyphrases
- conjunctive queries
- np complete
- query answering
- query evaluation
- data complexity
- integrity constraints
- query language
- query rewriting
- containment of conjunctive queries
- query containment
- probabilistic databases
- special case
- data exchange
- decision procedures
- boolean expressions
- unions of conjunctive queries
- conjunctive query containment
- data sets
- conjunctive regular path queries
- datalog programs
- bounded treewidth
- data management
- queries using views
- computational complexity
- optimal solution