{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:15:42Z","timestamp":1754482542931},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,6,18]],"date-time":"2015-06-18T00:00:00Z","timestamp":1434585600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["The VLDB Journal"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s00778-015-0390-5","type":"journal-article","created":{"date-parts":[[2015,6,17]],"date-time":"2015-06-17T16:57:19Z","timestamp":1434560239000},"page":"583-607","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Provenance-based analysis of data-centric processes"],"prefix":"10.1007","volume":"24","author":[{"given":"Daniel","family":"Deutch","sequence":"first","affiliation":[]},{"given":"Yuval","family":"Moskovitch","sequence":"additional","affiliation":[]},{"given":"Val","family":"Tannen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,18]]},"reference":[{"key":"390_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading, MA (1995)"},{"key":"390_CR2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Vianu, V., Fordham, B., Yesha, Y.: Relational transducers for electronic commerce. In: PODS, ACM, Seattle, 1\u20133 June 1998","DOI":"10.1145\/275487.275507"},{"key":"390_CR3","doi-asserted-by":"crossref","unstructured":"Ailamaki, A., Ioannidis, Y. E., Livny, M.: Scientific workflow management by database management. In: SSDBM, IEEE, Capri, Italy, 1\u20133 July 1998","DOI":"10.1109\/SSDM.1998.688123"},{"key":"390_CR4","doi-asserted-by":"crossref","unstructured":"Akroun, L., Benatallah, B., Nourine, L., Toumani, F.: Decidability and complexity of simulation preorder for data-centric web services. In: ICSOC, pp. 535\u2013542, Springer, Paris, 3\u20136 Nov 2014","DOI":"10.1007\/978-3-662-45391-9_46"},{"issue":"4","key":"390_CR5","first-page":"346","volume":"5","author":"Y Amsterdamer","year":"2011","unstructured":"Amsterdamer, Y., Davidson, S.B., Deutch, D., Milo, T., Stoyanovich, J., Tannen, V.: Putting lipstick on pig: enabling database-style workflow provenance. PVLDB 5(4), 346\u2013357 (2011)","journal-title":"PVLDB"},{"key":"390_CR6","doi-asserted-by":"crossref","unstructured":"Amsterdamer, Y., Deutch, D., Tannen, V.: Provenance for aggregate queries. In: Proceedings of PODS, ACM, Athens, 12\u201316 June 2011","DOI":"10.1145\/1989284.1989302"},{"key":"390_CR7","doi-asserted-by":"crossref","unstructured":"Benjelloun, O., Sarma, A.D., Halevy, A.Y., Theobald, M., Widom, J.: Databases with uncertainty and lineage. VLDB J. 17, 243\u2013264 (2008)","DOI":"10.1007\/s00778-007-0080-z"},{"key":"390_CR8","unstructured":"http:\/\/www.bpmn.org\/"},{"issue":"4","key":"390_CR9","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"Janusz A Brzozowski","year":"1964","unstructured":"Brzozowski, Janusz A.: Derivatives of regular expressions. J. ACM 11(4), 481\u2013494 (1964)","journal-title":"J. ACM"},{"key":"390_CR10","doi-asserted-by":"crossref","unstructured":"Buneman, P., Cheney, J., Vansummeren, S.: On the expressiveness of implicit provenance in query and update languages. ACM Trans. Database Syst., 33(4), (2008). doi: 10.1145\/1412331.1412340","DOI":"10.1145\/1412331.1412340"},{"key":"390_CR11","doi-asserted-by":"crossref","unstructured":"Buneman, P., Khanna, S., Tan, W.C.: Why and where: a characterization of data provenance. In: ICDT, Springer, London, 4\u20136 Jan 2001","DOI":"10.1007\/3-540-44503-X_20"},{"issue":"4","key":"390_CR12","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1561\/1900000006","volume":"1","author":"J Cheney","year":"2009","unstructured":"Cheney, J., Chiticariu, L., Tan, W.C.: Provenance in databases: why, how, and where. Found Trends Databases 1(4), 379\u2013474 (2009)","journal-title":"Found Trends Databases"},{"key":"390_CR13","unstructured":"Cohn, D., Hull, R.: Business artifacts: a data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull., 32(3), 3\u20139 (2009)"},{"key":"390_CR14","doi-asserted-by":"crossref","unstructured":"Davidson, S. B., Freire, J.: Provenance and scientific workflows: challenges and opportunities. In: SIGMOD, ACM, Vancouver, 10\u201312 June 2008","DOI":"10.1145\/1376616.1376772"},{"key":"390_CR15","doi-asserted-by":"crossref","unstructured":"Daws, C: Symbolic and parametric model checking of discrete-time markov chains. In: Theoretical Aspects of Computing-ICTAC 2004, pp. 280\u2013294. Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-31862-0_21"},{"key":"390_CR16","unstructured":"Deutch, D., Ives, Z. G., Milo, T., Caravan, V. Tannen: Provisioning for what-if analysis. In: CIDR, Asilomar, 6\u20139 Jan 2006. http:\/\/www.cidrdb.org\/"},{"key":"390_CR17","doi-asserted-by":"crossref","unstructured":"Deutch, D., Moskovitch, Y., Tannen, V.: Propolis: provisioned analysis of data-centric processes (demo). In: VLDB (2013)","DOI":"10.14778\/2536274.2536301"},{"key":"390_CR18","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Sui, L., Vianu, V., Zhou, D.: A system for specification and verification of interactive, data-driven web applications. In: SIGMOD Conference, ACM, Chicago, 27\u201329 June 2006","DOI":"10.1145\/1142473.1142584"},{"key":"390_CR19","doi-asserted-by":"crossref","unstructured":"Fink, Robert, Han, Larisa, Olteanu, Dan: Aggregation in probabilistic databases via knowledge compilation. PVLDB, 5(5), 490\u2013501 (2012)","DOI":"10.14778\/2140436.2140445"},{"key":"390_CR20","doi-asserted-by":"crossref","unstructured":"Foster, I., Vockler, J., Wilde, M., Zhao, A.: Chimera: a virtual data system for representing, querying, and automating data derivation. In: SSDBM (2002)","DOI":"10.1109\/SSDM.2002.1029704"},{"key":"390_CR21","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Green, T.J., Tannen, V.: Annotated xml: queries and provenance. In: PODS, pp. 271\u2013280, ACM, Vancouver, 9\u201311 June 2008","DOI":"10.1145\/1376916.1376954"},{"key":"390_CR22","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Wsat: a tool for formal analysis of web services. In: CAV, Springer, Boston, 13\u201317 July 2004","DOI":"10.1007\/978-3-540-27813-9_48"},{"key":"390_CR23","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Havelund, K.: Automata-based verification of temporal properties on running programs. In: ASE, pp. 412\u2013416, IEEE, Coronado Island, San Diego, 26\u201329 Nov 2001","DOI":"10.1109\/ASE.2001.989841"},{"key":"390_CR24","doi-asserted-by":"crossref","unstructured":"Gillmann, M., Mindermann, R., Weikum, G.: Benchmarking and configuration of workflow management systems. In: CoopIS (2000)","DOI":"10.1007\/10722620_19"},{"key":"390_CR25","volume-title":"Graphs, Dioids and Semirings: New Models and Algorithms","author":"Michel Gondran","year":"2008","unstructured":"Gondran, Michel, Minoux, Michel: Graphs, Dioids and Semirings: New Models and Algorithms. Springer, Berlin (2008)"},{"key":"390_CR26","doi-asserted-by":"crossref","unstructured":"Green, T. J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: PODS, ACM, Beijing, 11\u201313 June 2007","DOI":"10.1145\/1265530.1265535"},{"issue":"3","key":"390_CR27","first-page":"9","volume":"33","author":"TJ Green","year":"2010","unstructured":"Green, T.J., Karvounarakis, G., Ives, Z.G., Tannen, V.: Provenance in orchestra. IEEE Data Eng. Bull. 33(3), 9\u201316 (2010)","journal-title":"IEEE Data Eng. Bull."},{"key":"390_CR28","unstructured":"Gruber, H. Holzer, M.: Finite automata, digraph connectivity, and regular expression size. In: ICALP, Springer, Reykjavik, 7\u201311 July 2008"},{"key":"390_CR29","doi-asserted-by":"crossref","unstructured":"Hull, D., Wolstencroft, K., Stevens, R., Goble, C., Pocock, M., Li, P., Oinn, T.: Taverna: a tool for building and running workflows of services. Nucleic Acids Res. 34, 729\u2013732 (2006)","DOI":"10.1093\/nar\/gkl320"},{"key":"390_CR30","doi-asserted-by":"crossref","unstructured":"Hune, T., Romijn, J., Stoelinga, M., Vaandrager, F.: Linear Parametric Model Checking of Timed Automata. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45319-9_14"},{"key":"390_CR31","doi-asserted-by":"crossref","unstructured":"Kostylev, E.V., Buneman, P.: Combining dependent annotations for relational algebra. In: ICDT, pp. 196\u2013207, ACM, Berlin, 26\u201329 Mar 2012","DOI":"10.1145\/2274576.2274597"},{"key":"390_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems-specification","author":"Z Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems-specification. Springer, Berlin (1992)"},{"key":"390_CR33","doi-asserted-by":"crossref","unstructured":"Meliou, A., Suciu, D.: Tiresias: the database oracle for how-to queries. In: SIGMOD ACM, Scottsdale, 20\u201324 May 2012","DOI":"10.1145\/2213836.2213875"},{"key":"390_CR34","doi-asserted-by":"crossref","unstructured":"Meliou, A., Gatterbauer, W., Suciu, D.: Reverse data management. PVLDB, 4(12), 1490\u20131493 (2011)","DOI":"10.14778\/3402755.3402803"},{"key":"390_CR35","doi-asserted-by":"crossref","unstructured":"Missier, P., Paton, N., Belhajjame, K.: Fine-grained and efficient lineage querying of collection-based workflow provenance. In: EDBT (2010)","DOI":"10.1145\/1739041.1739079"},{"key":"390_CR36","unstructured":"http:\/\/www.myexperiment.org\/"},{"key":"390_CR37","volume-title":"Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends","author":"A Pnueli","year":"1986","unstructured":"Pnueli, A.: Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. Springer, Berlin (1986)"},{"key":"390_CR38","doi-asserted-by":"crossref","unstructured":"Simhan, Y.L., Plale, B., Gammon, D.: Karma2: provenance management for data-driven workflows. Int. J. Web Service Res., 5(2), 1\u201322 (2008)","DOI":"10.4018\/jwsr.2008040101"},{"key":"390_CR39","volume-title":"Principles of Database and Knowledge-Base Systems","author":"JD Ullman","year":"1989","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems. Computer Science Press, Rockville, MD (1989)"},{"key":"390_CR40","unstructured":"Prov-overview, w3c working group note. http:\/\/www.w3.org\/TR\/prov-overview\/ , (2013)"},{"key":"390_CR41","unstructured":"Constraints of the prov data model, w3c working group note. http:\/\/www.w3.org\/TR\/2013\/REC-prov-constraints-20130430\/ , (2014)"}],"container-title":["The VLDB Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-015-0390-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00778-015-0390-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-015-0390-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,13]],"date-time":"2022-05-13T20:02:31Z","timestamp":1652472151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00778-015-0390-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,18]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["390"],"URL":"https:\/\/doi.org\/10.1007\/s00778-015-0390-5","relation":{},"ISSN":["1066-8888","0949-877X"],"issn-type":[{"value":"1066-8888","type":"print"},{"value":"0949-877X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,18]]}}}