16 citations · 16 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
Foundations of SPARQL Query Optimization
Michael Schmidt, Michael Meier, Georg Lausen
The SPARQL query language is a recent W3C standard for processing RDF data, a format that has been developed to encode information in a machine-readable way. We investigate the fou…
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…