Showing cs.DBShow all
2 papers · 1 filter
cs.DB2026
Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
Philipp Hanisch, Markus Krötzsch
Static filtering is a data-independent optimisation method for Datalog, which generalises algebraic query rewriting techniques from relational databases. In spite of its early disc…
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…