On the first-order rewritability of conjunctive queries over binary guarded existential rules.
Cristina CiviliRiccardo RosatiPublished in: CILC (2015)
Keyphrases
- conjunctive queries
- query answering
- unions of conjunctive queries
- data exchange
- dl lite
- data complexity
- probabilistic databases
- integrity constraints
- primary key
- tuple generating dependencies
- horn clauses
- boolean expressions
- decision procedures
- incomplete information
- query evaluation
- data integration
- query rewriting
- np complete
- answering queries
- inconsistent databases
- query language
- query containment
- first order logic
- ontology based data access
- datalog programs
- guarded fragment
- schema mappings
- relational queries
- bounded treewidth
- database
- conjunctive query containment
- regular path queries
- automated reasoning
- temporal logic
- data model
- artificial intelligence