1 code implementation • 22 Mar 2023 • Marco Calautti, Mostafa Milani, Andreas Pieris
In this work, we focus on the semi-oblivious version of the chase, which is well-suited for practical implementations, and linear existential rules, a central class of constraints with several applications.
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.
no code implementations • 22 Apr 2022 • Marco Calautti, Georg Gottlob, Andreas Pieris
In this context, a key problem is non-uniform chase termination: does the chase of a database w. r. t.
no code implementations • 13 Dec 2015 • Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Despite the significant body of work in this area, current approaches do not include many simple practical programs whose evaluation terminates.