Access the full text.
Sign up today, get DeepDyve free for 14 days.
Michel Gondran, Michel Minoux (2008)
Graphs, Dioids and Semirings: New Models and Algorithms
Y Amsterdamer, SB Davidson, D Deutch, T Milo, J Stoyanovich, V Tannen (2011)
Putting lipstick on pig: enabling database-style workflow provenancePVLDB, 5
S Abiteboul, R Hull, V Vianu (1995)
Foundations of Databases
Janusz A Brzozowski (1964)
Derivatives of regular expressionsJ. ACM, 11
J Cheney, L Chiticariu, WC Tan (2009)
Provenance in databases: why, how, and whereFound Trends Databases, 1
TJ Green, G Karvounarakis, ZG Ives, V Tannen (2010)
Provenance in orchestraIEEE Data Eng. Bull., 33
JD Ullman (1989)
Principles of Database and Knowledge-Base Systems
A Pnueli (1986)
Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends
Z Manna, A Pnueli (1992)
The temporal logic of reactive and concurrent systems-specification
We consider in this paper static analysis of the possible executions of data-dependent applications, namely applications whose control flow is guided by a finite-state machine, as well as by the state of an underlying database. We note that previous work in this context has not addressed two important features of such analysis, namely analysis under hypothetical scenarios, such as changes to the application’s state machine and/or to the underlying database, and the consideration of meta-data, such as cost or access privileges. Observing that semiring-based provenance has been proven highly effective in supporting these two features for database queries, we develop in this paper a semiring-based provenance framework for the analysis of data-dependent processes, accounting for hypothetical reasoning and meta-data. The development addresses two interacting new challenges: (1) combining provenance annotations for both information that resides in the database and information about external inputs (e.g., user choices) and (2) finitely capturing infinitely many process executions. We have implemented our framework as part of the PROPOLIS system.
The VLDB Journal – Springer Journals
Published: Jun 18, 2015
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.