Model Counting for Conjunctive Queries Without Self-Joins.
Antoine AmarilliBenny KimelfeldPublished in: CoRR (2019)
Keyphrases
- conjunctive queries
- model counting
- query evaluation
- join queries
- bounded treewidth
- polynomial size
- dnf formulas
- data complexity
- knowledge compilation
- integrity constraints
- np complete
- query answering
- query language
- satisfiability testing
- query processing
- data management
- query containment
- special case
- join algorithms
- transitive closure
- data exchange
- xml data
- datalog programs
- query optimization
- foreign key
- np hard
- xpath queries
- data model
- database systems