Chase Termination for Guarded Existential Rules.
Marco CalauttiGeorg GottlobAndreas PierisPublished in: AMW (2015)
Keyphrases
- query answering
- data exchange
- active rules
- termination analysis
- conjunctive queries
- association rules
- horn clauses
- active databases
- production rules
- ontology based data access
- existentially quantified
- rule sets
- decision rules
- learning classifier systems
- functional dependencies
- transformation rules
- probabilistic databases
- fixed point
- integrity constraints