Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying.
Jean-François BagetMarie-Laure MugnierSebastian RudolphPublished in: PODS (2023)
Keyphrases
- bounded treewidth
- conjunctive queries
- query language
- np complete
- datalog programs
- highly parallelizable
- query answering
- decision problems
- integrity constraints
- database
- query evaluation
- data exchange
- data complexity
- databases
- first order logic
- transitive closure
- special case
- relational learning
- structured data
- knowledge representation
- boolean functions
- query processing
- search space