{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:52:37Z","timestamp":1742935957966,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031450716"},{"type":"electronic","value":"9783031450723"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-45072-3_16","type":"book-chapter","created":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T11:01:34Z","timestamp":1697281294000},"page":"222-237","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Abstract Domains for\u00a0Database Manipulating Processes"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-1559-133X","authenticated-orcid":false,"given":"Tobias","family":"Sch\u00fcler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3293-2940","authenticated-orcid":false,"given":"Stephan","family":"Mennicke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8404-753X","authenticated-orcid":false,"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,15]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Abdulla, P.A., Aiswarya, C., Atig, M.F., Montali, M., Rezine, O.: Complexity of reachability for data-aware dynamic systems. In: ACSD, pp. 11\u201320. IEEE (2018)","DOI":"10.1109\/ACSD.2018.000-3"},{"key":"16_CR2","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases, vol. 8. Addison-Wesley, Boston (1995)"},{"key":"16_CR3","unstructured":"Amato, G., Giannotti, F., Mainetto, G.: Data sharing analysis for a database programming language via abstract interpretation. In: VLDB, pp. 405\u2013415 (1993)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-23059-2_28","volume-title":"Business Process Management","author":"B Bagheri Hariri","year":"2011","unstructured":"Bagheri Hariri, B., Calvanese, D., De Giacomo, G., De Masellis, R., Felli, P.: Foundations of relational artifacts verification. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 379\u2013395. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23059-2_28"},{"key":"16_CR5","first-page":"243","volume":"12","author":"J Bailey","year":"1999","unstructured":"Bailey, J., Poulovassilis, A.: Abstract interpretation for termination analysis in functional active databases. J. IIS 12, 243\u2013273 (1999)","journal-title":"J. IIS"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data-aware process analysis: a database theory perspective. In: PODS, pp. 1\u201312. ACM (2013)","DOI":"10.1145\/2463664.2467796"},{"key":"16_CR7","unstructured":"Calvanese, D., Montali, M., Patrizi, F., Rivkin, A.: Implementing data-centric dynamic systems over a relational DBMS. In: FDM, vol. 1378, pp. 209\u2013212. CEUR-WS (2015)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-642-17358-5_22","volume-title":"Service-Oriented Computing","author":"P Cangialosi","year":"2010","unstructured":"Cangialosi, P., De Giacomo, G., De Masellis, R., Rosati, R.: Conjunctive artifact-centric services. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 318\u2013333. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17358-5_22"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238\u2013252. ACM (1977)","DOI":"10.1145\/512950.512973"},{"issue":"2","key":"16_CR10","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/244795.244800","volume":"19","author":"D Dams","year":"1997","unstructured":"Dams, D., Gerth, R., Grumberg, O.: Abstract interpretation of reactive systems. TOPLAS 19(2), 253\u2013291 (1997)","journal-title":"TOPLAS"},{"issue":"02","key":"16_CR11","first-page":"111","volume":"21","author":"G De Giacomo","year":"2012","unstructured":"De Giacomo, G., De Masellis, R., Rosati, R.: Verification of conjunctive artifact-centric services. Intl. J. CIS 21(02), 111\u2013139 (2012)","journal-title":"Intl. J. CIS"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Nash, A., Remmel, J.: The chase revisited. In: PODS, pp. 149\u2013158. ACM (2008)","DOI":"10.1145\/1376916.1376938"},{"issue":"1","key":"16_CR13","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. TCS 336(1), 89\u2013124 (2005)","journal-title":"TCS"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-030-58666-9_4","volume-title":"Business Process Management","author":"S Ghilardi","year":"2020","unstructured":"Ghilardi, S., Gianola, A., Montali, M., Rivkin, A.: Petri nets with parameterised data. In: Fahland, D., Ghidini, C., Becker, J., Dumas, M. (eds.) BPM 2020. LNCS, vol. 12168, pp. 55\u201374. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58666-9_4"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Ghilardi, S., Gianola, A., Montali, M., Rivkin, A.: Petri net-based object-centric processes with read-only data. IS 107, 102011 (2022)","DOI":"10.1016\/j.is.2022.102011"},{"key":"16_CR16","unstructured":"Halder, R., Cortesi, A.: Abstract interpretation for sound approximation of database query languages. In: INFOS, pp. 1\u201310. IEEE (2010)"},{"issue":"2","key":"16_CR17","first-page":"123","volume":"38","author":"R Halder","year":"2012","unstructured":"Halder, R., Cortesi, A.: Abstract interpretation of database query languages. CLSS 38(2), 123\u2013157 (2012)","journal-title":"CLSS"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Li, C., Csallner, C.: Dynamic symbolic database application testing. In: DBTest (2010)","DOI":"10.1145\/1838126.1838133"},{"issue":"1\u20132","key":"16_CR19","doi-asserted-by":"publisher","first-page":"848","DOI":"10.14778\/1920841.1920950","volume":"3","author":"E Lo","year":"2010","unstructured":"Lo, E., Cheng, N., Hon, W.K.: Generating databases for query workloads. VLDB Endow. 3(1\u20132), 848\u2013859 (2010)","journal-title":"VLDB Endow."},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Marcozzi, M., Vanhoof, W., Hainaut, J.L.: A relational symbolic execution algorithm for constraint-based testing of database programs. In: SCAM, pp. 179\u2013188. IEEE (2013)","DOI":"10.1109\/SCAM.2013.6648200"},{"issue":"4","key":"16_CR21","first-page":"615","volume":"28","author":"M Montali","year":"2016","unstructured":"Montali, M., Rivkin, A.: Model checking petri nets with names using data-centric dynamic systems. FAOC 28(4), 615\u2013641 (2016)","journal-title":"FAOC"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-662-55862-1_5","volume-title":"Transactions on Petri Nets and Other Models of Concurrency XII","author":"M Montali","year":"2017","unstructured":"Montali, M., Rivkin, A.: DB-Nets: on the marriage of colored petri nets and relational databases. In: Koutny, M., Kleijn, J., Penczek, W. (eds.) Transactions on Petri Nets and Other Models of Concurrency XII. LNCS, vol. 10470, pp. 91\u2013118. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-55862-1_5"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Pan, K., Wu, X., Xie, T.: Database state generation via dynamic symbolic execution for coverage criteria. In: DBtest, pp. 1\u20136 (2011)","DOI":"10.1145\/1988842.1988846"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Sch\u00fcler, T., Mennicke, S., Lochau, M.: Abstract Domains for Database Manipulating Processes. CoRR abs\/2308.03466 (2023)","DOI":"10.1007\/978-3-031-45072-3_16"},{"key":"16_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/3-540-62501-1_36","volume-title":"Constraint Databases and Applications","author":"D Toman","year":"1996","unstructured":"Toman, D.: Constraint databases and program analysis using abstract interpretation. In: Gaede, V., Brodsky, A., G\u00fcnther, O., Srivastava, D., Vianu, V., Wallace, M. (eds.) CDB 1997. LNCS, vol. 1191, pp. 246\u2013262. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-62501-1_36"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-45072-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,23]],"date-time":"2023-12-23T22:10:43Z","timestamp":1703369443000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45072-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031450716","9783031450723"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45072-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"15 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023.declarativeai.net\/events\/ruleml-rr","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6 subreviewers were invited by the pc members and provided 7 reviews","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}