1 code implementation • 22 Mar 2023 • Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
Towards this end, we pinpoint the data complexity of why-provenance for Datalog queries and key subclasses thereof.