Data Management

Datalog as a Lingua Franca for Provenance Querying and Reasoning

Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 780.88 KB