Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability.
Hubie ChenGianluigi GrecoStefan MengelFrancesco ScarcelloPublished in: CoRR (2023)
Keyphrases
- conjunctive queries
- np complete
- query answering
- query evaluation
- integrity constraints
- data complexity
- query language
- query rewriting
- query containment
- data exchange
- special case
- probabilistic databases
- bounded treewidth
- boolean expressions
- decision procedures
- computational complexity
- regular path queries
- containment of conjunctive queries
- temporal logic
- schema mappings
- incomplete information
- constraint satisfaction problems
- datalog programs
- dl lite
- data integration
- logic programs
- optimal solution
- conjunctive regular path queries