Rewriting Guarded Existential Rules into Small Datalog Programs.
Shqiponja AhmetajMagdalena OrtizMantas SimkusPublished in: ICDT (2018)
Keyphrases
- datalog programs
- query answering
- magic sets
- conjunctive queries
- fixpoint semantics
- data exchange
- data complexity
- integrity constraints
- query rewriting
- incomplete information
- data integration
- recursive queries
- dl lite
- inconsistent databases
- deductive databases
- fixpoint
- rewrite rules
- data mining
- horn clauses
- data sets
- schema mappings
- fixed point
- logic programs
- association rules