On Chase Termination Beyond Stratification.

Michael Meier Michael Schmidt Georg Lausen

Published in: Proc. VLDB Endow. (2009)

Keyphrases

query answering
rewrite systems
term rewriting
functional dependencies
data sets
termination analysis
multiresolution
case study
artificial intelligence
information technology
integrity constraints
incomplete information
e learning
normal form
active rules
data dependencies
information retrieval
databases