C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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