Abstract provenance graphs: Anticipating and exploiting schema-level data provenance

Daniel Zinn; Bertram Ludäscher

doi:10.1007/978-3-642-17819-1_23

Abstract provenance graphs: Anticipating and exploiting schema-level data provenance

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Provenance graphs capture flow and dependency information recorded during scientific workflow runs, which can be used subsequently to interpret, validate, and debug workflow results. In this paper, we propose the new concept of Abstract Provenance Graphs (APGs). APGs are created via static analysis of a configured workflow W and input data schema, i.e., before W is actually executed. They summarize all possible provenance graphs the workflow W can create with input data of type τ, that is, for each input ν ∈ τ there exists a graph homomorphism ℋ_ν between the concrete and abstract provenance graph. APGs are helpful during workflow construction since (1) they make certain workflow design-bugs (e.g., selecting none or wrong input data for the actors) easy to spot; and (2) show the evolution of the overall data organization of a workflow. Moreover, after workflows have been run, APGs can be used to validate concrete provenance graphs. A more detailed version of this work is available as [14].

Original language	English (US)
Title of host publication	Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Revised Selected Papers
Pages	206-215
Number of pages	10
DOIs	https://doi.org/10.1007/978-3-642-17819-1_23
State	Published - 2010
Externally published	Yes
Event	3rd International Provenance and Annotation Workshop, IPAW 2010 - Troy, NY, United States Duration: Jun 15 2010 → Jun 16 2010

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6378 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	3rd International Provenance and Annotation Workshop, IPAW 2010
Country	United States
City	Troy, NY
Period	6/15/10 → 6/16/10

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-642-17819-1_23

Fingerprint Dive into the research topics of 'Abstract provenance graphs: Anticipating and exploiting schema-level data provenance'. Together they form a unique fingerprint.

Cite this

Zinn, D., & Ludäscher, B. (2010). Abstract provenance graphs: Anticipating and exploiting schema-level data provenance. In Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Revised Selected Papers (pp. 206-215). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6378 LNCS). https://doi.org/10.1007/978-3-642-17819-1_23

Abstract provenance graphs : Anticipating and exploiting schema-level data provenance. / Zinn, Daniel; Ludäscher, Bertram.

Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Revised Selected Papers. 2010. p. 206-215 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6378 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Zinn, D & Ludäscher, B 2010, Abstract provenance graphs: Anticipating and exploiting schema-level data provenance. in Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6378 LNCS, pp. 206-215, 3rd International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, United States, 6/15/10. https://doi.org/10.1007/978-3-642-17819-1_23

Zinn D, Ludäscher B. Abstract provenance graphs: Anticipating and exploiting schema-level data provenance. In Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Revised Selected Papers. 2010. p. 206-215. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-17819-1_23

Zinn, Daniel ; Ludäscher, Bertram. / Abstract provenance graphs : Anticipating and exploiting schema-level data provenance. Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Revised Selected Papers. 2010. pp. 206-215 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{6c99f135a7ac46708a020838daad9198,

title = "Abstract provenance graphs: Anticipating and exploiting schema-level data provenance",

abstract = "Provenance graphs capture flow and dependency information recorded during scientific workflow runs, which can be used subsequently to interpret, validate, and debug workflow results. In this paper, we propose the new concept of Abstract Provenance Graphs (APGs). APGs are created via static analysis of a configured workflow W and input data schema, i.e., before W is actually executed. They summarize all possible provenance graphs the workflow W can create with input data of type τ, that is, for each input ν ∈ τ there exists a graph homomorphism ℋν between the concrete and abstract provenance graph. APGs are helpful during workflow construction since (1) they make certain workflow design-bugs (e.g., selecting none or wrong input data for the actors) easy to spot; and (2) show the evolution of the overall data organization of a workflow. Moreover, after workflows have been run, APGs can be used to validate concrete provenance graphs. A more detailed version of this work is available as [14].",

author = "Daniel Zinn and Bertram Lud{\"a}scher",

year = "2010",

doi = "10.1007/978-3-642-17819-1_23",

language = "English (US)",

isbn = "3642178189",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "206--215",

booktitle = "Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Revised Selected Papers",

}

TY - GEN

T1 - Abstract provenance graphs

T2 - 3rd International Provenance and Annotation Workshop, IPAW 2010

AU - Zinn, Daniel

AU - Ludäscher, Bertram

PY - 2010

Y1 - 2010

N2 - Provenance graphs capture flow and dependency information recorded during scientific workflow runs, which can be used subsequently to interpret, validate, and debug workflow results. In this paper, we propose the new concept of Abstract Provenance Graphs (APGs). APGs are created via static analysis of a configured workflow W and input data schema, i.e., before W is actually executed. They summarize all possible provenance graphs the workflow W can create with input data of type τ, that is, for each input ν ∈ τ there exists a graph homomorphism ℋν between the concrete and abstract provenance graph. APGs are helpful during workflow construction since (1) they make certain workflow design-bugs (e.g., selecting none or wrong input data for the actors) easy to spot; and (2) show the evolution of the overall data organization of a workflow. Moreover, after workflows have been run, APGs can be used to validate concrete provenance graphs. A more detailed version of this work is available as [14].

AB - Provenance graphs capture flow and dependency information recorded during scientific workflow runs, which can be used subsequently to interpret, validate, and debug workflow results. In this paper, we propose the new concept of Abstract Provenance Graphs (APGs). APGs are created via static analysis of a configured workflow W and input data schema, i.e., before W is actually executed. They summarize all possible provenance graphs the workflow W can create with input data of type τ, that is, for each input ν ∈ τ there exists a graph homomorphism ℋν between the concrete and abstract provenance graph. APGs are helpful during workflow construction since (1) they make certain workflow design-bugs (e.g., selecting none or wrong input data for the actors) easy to spot; and (2) show the evolution of the overall data organization of a workflow. Moreover, after workflows have been run, APGs can be used to validate concrete provenance graphs. A more detailed version of this work is available as [14].

UR - http://www.scopus.com/inward/record.url?scp=78651078724&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78651078724&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-17819-1_23

DO - 10.1007/978-3-642-17819-1_23

M3 - Conference contribution

AN - SCOPUS:78651078724

SN - 3642178189

SN - 9783642178184

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 206

EP - 215

BT - Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Revised Selected Papers

Y2 - 15 June 2010 through 16 June 2010

ER -