Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable.
Tomasz GogaczJerzy MarcinkowskiPublished in: PODS (2016)
Keyphrases
- conjunctive queries
- unions of conjunctive queries
- guarded fragment
- np complete
- query containment
- query answering
- datalog programs
- integrity constraints
- query evaluation
- data complexity
- data exchange
- query language
- probabilistic databases
- decision procedures
- special case
- query rewriting
- relational database theory
- boolean expressions
- relational queries
- dnf formulas
- conjunctive query containment
- data integration
- dl lite
- bounded treewidth
- schema mappings
- data warehouse
- np hard
- relational databases
- data mining