A Practical Dynamic Programming Approach to Datalog Provenance Computation

12/02/2021
by   Yann Ramusat, et al.
0

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 translation is a new method for computing provenance for a specific class of semirings. Theoretical and practical optimizations lead to an efficient implementation using Soufflé, a state-of-the-art Datalog interpreter. Experimental results on real-world data suggest this approach to be efficient in practical contexts, even competing with our previous dedicated solutions for computing provenance in annotated graph databases. The cost overhead compared to plain Datalog evaluation is fairly moderate in many cases of interest.

READ FULL TEXT

page 3

page 5

page 7

page 9

page 11

page 13

page 15

page 19

research
02/24/2022

Synthesizing Efficient Dynamic Programming Algorithms

Dynamic programming is an important optimization technique, but designin...
research
06/26/2018

Practical Access to Dynamic Programming on Tree Decompositions

Parameterized complexity theory has lead to a wide range of algorithmic ...
research
11/08/2017

Efficient Destination Prediction Based on Route Choices with Transition Matrix Optimization

Destination prediction is an essential task in a variety of mobile appli...
research
08/24/2011

dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation

The aim of this paper is to announce the release of a novel system for a...
research
07/07/2018

The Universal and Practical Programming Code for Subset Sum Problem

Given a multiset S of n numbers and a target number t, the subset sum pr...
research
10/13/2021

Maximum Entropy Differential Dynamic Programming

In this paper, we present a novel maximum entropy formulation of the Dif...
research
05/03/2019

Positive-Instance Driven Dynamic Programming for Graph Searching

Research on the similarity of a graph to being a tree - called the treew...

Please sign up or login with your details

Forgot password? Click here to reset