Revisiting Semiring Provenance for Datalog

Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo

Abstract: Data provenance consists in bookkeeping meta information during query evaluation, in order to enrich query results with their trust level, likelihood, evaluation cost, and more. The framework of se...