Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting.
Amélie GheerbrantLeonid LibkinAlexandra RogovaCristina SirangeloPublished in: Datalog (2022)
Keyphrases
- conjunctive queries
- complexity of query answering
- unions of conjunctive queries
- query answering
- queries using views
- guarded fragment
- data complexity
- integrity constraints
- datalog programs
- query evaluation
- query rewriting
- data exchange
- primary key
- query language
- np complete
- dl lite
- special case
- query containment
- combined complexity
- first order logic
- decision procedures
- answering queries
- probabilistic databases
- containment of conjunctive queries
- tuple generating dependencies
- data integration
- incomplete information
- schema mappings
- query processing
- bounded treewidth
- deductive databases
- expressive power
- datalog queries
- consistent query answering
- conp complete
- xml data
- regular path queries