Datalog as a Lingua Franca for Provenance Querying and Reasoning

Provided by: Gonzaga University Topic: Data Management Date Added: May 2012 Format: PDF
The Open Provenance Model (OPM) provides a small, extensible core for representing and exchanging provenance information in a technology-neutral manner. By design, OPM is a least common denominator, leaving aside certain aspects, including how to query provenance information. Similarly, OPM comes with a set of inference rules (e.g., for transitively closing some relations, or for stating temporal constraints that are implied by provenance assertions), but as pointed out, the temporal semantics of OPM graphs is only partially defined, leading to ambiguous or incompletely specified situations.

Find By Topic