6 citations · 10 across the 5 of their papers we have counts for
Showing cs.DBShow all
2 papers · 1 filter
cs.DB2024
Chase Termination Beyond Polynomial Time
Philipp Hanisch, Markus Krötzsch
The chase is a widely implemented approach to reason with tuple-generating dependencies (tgds), used in data exchange, data integration, and ontology-based query answering. However…
cs.DB2014★ 6 cited
Query Containment for Highly Expressive Datalog Fragments
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
The containment problem of Datalog queries is well known to be undecidable. There are, however, several Datalog fragments for which containment is known to be decidable, most notab…