A Provenance Framework for Data-Dependent Process Analysis

被引:5
作者
Deutch, Daniel [1 ]
Moskovitch, Yuval [1 ]
Tannen, Val [2 ]
机构
[1] Tel Aviv Univ, Tel Aviv, Israel
[2] Univ Penn, Philadelphia, PA 19104 USA
来源
PROCEEDINGS OF THE VLDB ENDOWMENT | 2014年 / 7卷 / 06期
基金
美国国家科学基金会;
关键词
D O I
10.14778/2732279.2732283
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A data-dependent process (DDP) models an application whose control flow is guided by a finite state machine, as well as by the state of an underlying database. DDPs are commonly found e.g., in e-commerce. In this paper we develop a framework supporting the use of provenance in static (temporal) analysis of possible DDP executions. Using provenance support, analysts can interactively test and explore the effect of hypothetical modifications to a DDPs state machine and/or to the underlying database. They can also extend the analysis to incorporate the propagation of annotations from meta-domains of interest, e.g., cost or access privileges. Toward this goal we note that the framework of semiringbased provenance was proven highly effective in fulfilling similar needs in the context of database queries. In this paper we consider novel constructions that generalize the semiring approach to the context of DDP analysis. These constructions address two interacting new challenges: (1) to combine provenance annotations for both information that resides in the database and information about external inputs (e.g., user choices), and (2) to finitely capture infinite process executions. We analyze our solution from theoretical and experimental perspectives, proving its effectiveness.
引用
收藏
页码:457 / 468
页数:12
相关论文
共 37 条
[1]  
Abiteboul S., 1998, RELATIONAL TRANSDUCE
[2]  
Amsterdamer Y., 2011, PROVENANCE AGGREGATE
[3]   Putting Lipstick on Pig: Enabling Database-style Workflow Provenance [J].
Amsterdamer, Yael ;
Davidson, Susan B. ;
Deutch, Daniel ;
Milo, Tova ;
Stoyanovich, Julia ;
Tannen, Val .
PROCEEDINGS OF THE VLDB ENDOWMENT, 2011, 5 (04) :346-357
[4]  
[Anonymous], 2013, PROV OVERVIEW W3C WO
[5]  
Benjelloun O., 2008, VLDB J, V17
[6]  
Buneman P., 2001, ICDT
[7]   On the Expressiveness of Implicit Provenance in Query and Update Languages [J].
Buneman, Peter ;
Cheney, James ;
Vansummeren, Stijn .
ACM TRANSACTIONS ON DATABASE SYSTEMS, 2008, 33 (04)
[8]   Provenance in Databases: Why, How, and Where [J].
Cheney, James ;
Chiticariu, Laura ;
Tan, Wang-Chiew .
FOUNDATIONS AND TRENDS IN DATABASES, 2007, 1 (04) :379-474
[9]  
Cohn D., 2009, IEEE DATA ENG B, V32
[10]  
Davidson SB., 2008, SIGMOD