Rewriting-based Check of Chase Termination.
Marco CalauttiSergio GrecoCristian MolinaroIrina TrubitsynaPublished in: AMW (2015)
Keyphrases
- conjunctive queries
- termination analysis
- query answering
- presburger arithmetic
- active rules
- query rewriting
- integrity constraints
- functional dependencies
- data complexity
- active databases
- normal form
- query evaluation
- data exchange
- data dependencies
- rewriting rules
- quantifier elimination
- queries using views
- np complete
- type checking
- term rewriting
- image sequences
- rewrite rules
- rewriting systems
- error detection
- databases
- term rewrite systems