Stratification Criteria and Rewriting Techniques for Checking Chase Termination.
Sergio GrecoFrancesca SpezzanoIrina TrubitsynaPublished in: Proc. VLDB Endow. (2011)
Keyphrases
- conjunctive queries
- termination analysis
- type checking
- query answering
- multi criteria
- multiple criteria
- selection criteria
- data dependencies
- rewrite rules
- functional dependencies
- data exchange
- genetic algorithm
- query rewriting
- active rules
- real time
- rewriting systems
- presburger arithmetic
- term rewriting
- consistency checking
- normal form
- data management
- databases