A Practical Dynamic Programming Approach to Datalog Provenance Computation

Yann Ramusat, Silviu Maniu, Pierre Senellart

We establish a translation between a formalism for dynamic programming over hypergraphs and the computation of semiring-based provenance for Datalog programs. The benefit of this t…