Datalog Rewriting for Guarded TGDs.
Michael BenediktMaxime BuronStefano GermanoKevin KappelmannBoris MotikPublished in: Datalog (2022)
Keyphrases
- query answering
- conjunctive queries
- tuple generating dependencies
- query rewriting
- datalog programs
- data exchange
- probabilistic databases
- data complexity
- inconsistent databases
- integrity constraints
- decision procedures
- regular path queries
- inclusion dependencies
- schema mappings
- dl lite
- answering queries
- data integration
- query containment
- query evaluation
- incomplete information
- query language
- complexity of query answering
- np complete
- deductive databases
- unions of conjunctive queries
- desirable properties
- logical equivalence
- combined complexity
- conp complete