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…