All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs.
Bartosz BednarczykRobert FerensPiotr Ostropolski-NalewajaPublished in: IJCAI (2020)
Keyphrases
- query answering
- data exchange
- conjunctive queries
- schema mappings
- data complexity
- sufficient conditions
- np complete
- query containment
- inclusion dependencies
- tuple generating dependencies
- finite sets
- data integration
- special case
- desirable properties
- integrity constraints
- datalog programs
- answering queries
- relational databases
- knowledge base