Structural Tractability of Counting of Solutions to Conjunctive Queries
Arnaud DurandStefan MengelPublished in: CoRR (2013)
Keyphrases
- conjunctive queries
- np complete
- integrity constraints
- query evaluation
- query answering
- data complexity
- query language
- special case
- probabilistic databases
- data exchange
- query rewriting
- containment of conjunctive queries
- boolean expressions
- bounded treewidth
- query containment
- decision procedures
- datalog programs
- unions of conjunctive queries
- computational complexity
- queries using views
- satisfiability problem
- expressive power
- data sets