UP & DOWN: Improving Provenance Precision by Combining Workflow- and Trace-Level Information

Saumen Dey (1) , Khalid Belhajjame (2) , David Koop (3) , Tianhong Song (1) , Paolo Missier (4) , Bertram Ludäscher (1)

1 UC Davis - University of California [Davis]
2 LAMSADE - Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
3 New York University
4 University of Newcastle

Workflow-level provenance declarations can improve the precision of coarse provenance traces by reducing the number of “false” dependencies (not every output of a step depends on every input). Conversely, fine-grained execution provenance can be used to improve the precision of input-output dependencies of workflow actors. We present a new logic-based approach for improving provenance precision by combining downward and upward inference, i.e., from workflows to traces and vice versa.

Mots clés: Provenance precision

Domaines: Informatique [cs]

Saumen Dey, Khalid Belhajjame, David Koop, Tianhong Song, Paolo Missier, et al.. UP & DOWN: Improving Provenance Precision by Combining Workflow- and Trace-Level Information. 6th USENIX Workshop on the Theory and Practice of Provenance TaPP 2014, Jun 2014, Cologne, Germany. ⟨hal-01371090⟩