2 papers
cs.DB2009
On Chase Termination Beyond Stratification
Michael Meier, Michael Schmidt, Georg Lausen
We study the termination problem of the chase algorithm, a central tool in various database problems such as the constraint implication problem, Conjunctive Query optimization, rew…
cs.DB2009
Stop the Chase
Michael Meier, Michael Schmidt, Georg Lausen
The chase procedure, an algorithm proposed 25+ years ago to fix constraint violations in database instances, has been successfully applied in a variety of contexts, such as query o…