Datalog as a Lingua Franca for Provenance Querying and Reasoning

Provided by: Gonzaga University
Topic: Data Management
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