3 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…
cs.DB2008
SP2Bench: A SPARQL Performance Benchmark
Michael Schmidt, Thomas Hornung, Georg Lausen +1
Recently, the SPARQL query language for RDF has reached the W3C recommendation status. In response to this emerging standard, the database community is currently exploring efficien…