A Graph Model of Data and Workflow Provenance
A Graph Model of Data and Workflow Provenance
复制标题
DOI：
--
复制
发表时间：
2010-02
期刊：
影响因子：
--
通讯作者：
Umut A. Acar;P. Buneman;J. Cheney;J. V. D. Bussche;Natalia Kwasnikowska;Stijn Vansummeren
中科院分区：
文献类型：
--
作者：
Umut A. Acar;P. Buneman;J. Cheney;J. V. D. Bussche;Natalia Kwasnikowska;Stijn Vansummeren
到目前为止，在数据库和工作流管理系统中都对出处进行了广泛的研究，而定义或模型的收敛很少。通常，通过传播从输入到输出的细粒度注释或代数表达式来传播细粒的注释或代数表达式，数据库中的出处通常已定义为关系或复杂的对象数据。这种出处在计算机科学的其他领域中很有用：注释数据库，概率数据库，模式和数据集成等。相反，工作流源旨在捕获对工作流的评估或颁布的完整描述，以及工作流程的完整描述，以及工作流程。这对于科学计算中的验证至关重要。工作流及其出处通常使用图形符号表示，使其易于可视化，但使其运行时行为与出处记录相关的正式语义变得复杂。我们通过扩展以前开发的数据流语言来弥合此差距，该语言支持数据库式查询和工作流式批处理处理步骤，以产生可以明确查询的工作流式出处图。我们通过示例来定义和描述模型，提取其他形式的出处的查询，并对数据流表达式的图形语义提供可执行的定义。
Provenance has been studied extensively in both database and workflow management systems, so far with little convergence of definitions or models. Provenance in databases has generally been defined for relational or complex object data, by propagating fine-grained annotations or algebraic expressions from the input to the output. This kind of provenance has been found useful in other areas of computer science: annotation databases, probabilistic databases, schema and data integration, etc. In contrast, workflow provenance aims to capture a complete description of evaluation - or enactment - of a workflow, and this is crucial to verification in scientific computation. Workflows and their provenance are often presented using graphical notation, making them easy to visualize but complicating the formal semantics that relates their run-time behavior with their provenance records. We bridge this gap by extending a previously-developed dataflow language which supports both database-style querying and workflow-style batch processing steps to produce a workflow-style provenance graph that can be explicitly queried. We define and describe the model through examples, present queries that extract other forms of provenance, and give an executable definition of the graph semantics of dataflow expressions.