{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T17:37:21Z","timestamp":1792949841577,"version":"4.5.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031253829","type":"print"},{"value":"9783031253836","type":"electronic"}],"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-25383-6_11","type":"book-chapter","created":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T19:44:56Z","timestamp":1676058296000},"page":"132-144","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["What Can Database Query Processing Do for\u00a0Instance-Spanning Constraints?"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0460-8534","authenticated-orcid":false,"given":"Heba","family":"Aamer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8021-3430","authenticated-orcid":false,"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0072-3252","authenticated-orcid":false,"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,2,9]]},"reference":[{"issue":"9","key":"11_CR1","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP van der Aalst","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., et al.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Aamer, H., Hidders, J., Paredaens, J., Van den Bussche, J.: Expressiveness within sequence datalog. In: PODS (2021)","DOI":"10.1145\/3452021.3458327"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Aamer, H., Montali, M., Van den Bussche, J.: What can database query processing do for instance-spanning constraints? arXiv:2206.00140 (2022)","DOI":"10.1007\/978-3-031-25383-6_11"},{"issue":"4","key":"11_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2000799.2000800","volume":"20","author":"A Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 1\u201364 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1006\/jcss.1998.1562","volume":"57","author":"A Bonner","year":"1998","unstructured":"Bonner, A., Mecca, G.: Sequences, datalog, and transducers. J. Comput. Syst. Sci. 57, 234\u2013259 (1998)","journal-title":"J. Comput. Syst. Sci."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Montali, M., Patrizi, F.: Verification and monitoring for first-order LTL with persistence-preserving quantification over finite and infinite traces. In: IJCAI-ECAI (2022)","DOI":"10.24963\/ijcai.2022\/354"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Cardoso, E., Montali, M., Calvanese, D.: Representing and querying norm states using temporal ontology-based data access. In: EDOC (2019)","DOI":"10.1109\/EDOC.2019.00024"},{"issue":"4","key":"11_CR8","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1561\/1900000020","volume":"4","author":"R Chirkova","year":"2012","unstructured":"Chirkova, R., Yang, J.: Materialized views. Found. Trends Databases 4(4), 295\u2013405 (2012). https:\/\/doi.org\/10.1561\/1900000020","journal-title":"Found. Trends Databases"},{"key":"11_CR9","unstructured":"CRISP project at Universit\u00e4t Wien: Logs Webpage. http:\/\/gruppe.wst.univie.ac.at\/projects\/crisp\/index.php?t=discovery. Accessed 29 Apr 2022"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-10172-9_1","volume-title":"Business Process Management","author":"G De Giacomo","year":"2014","unstructured":"De Giacomo, G., De Masellis, R., Grasso, M., Maggi, F.M., Montali, M.: Monitoring business metaconstraints based on LTL and LDL for finite traces. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 1\u201317. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10172-9_1"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., De Masellis, R., Maggi, F.M., Montali, M.: Monitoring constraints and metaconstraints with temporal logics on finite traces. TOCEM (2022)","DOI":"10.1145\/3506799"},{"issue":"3","key":"11_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1507244.1507246","volume":"10","author":"S Demri","year":"2009","unstructured":"Demri, S., Lazic, R.: LTL with the freeze quantifier and register automata. ACM Trans. Comput.Logic 10(3), 1\u201330 (2009)","journal-title":"ACM Trans. Comput.Logic"},{"issue":"1","key":"11_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s13740-021-00122-1","volume":"10","author":"S Esser","year":"2021","unstructured":"Esser, S., Fahland, D.: Multi-dimensional event data in graph databases. J. Data Semant. 10(1), 109\u2013141 (2021). https:\/\/doi.org\/10.1007\/s13740-021-00122-1","journal-title":"J. Data Semant."},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-319-45348-4_20","volume-title":"Business Process Management","author":"W Fdhila","year":"2016","unstructured":"Fdhila, W., Gall, M., Rinderle-Ma, S., Mangler, J., Indiono, C.: Classification and formalization of instance-spanning constraints in process-driven applications. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 348\u2013364. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45348-4_20"},{"key":"11_CR15","unstructured":"Giacomo, G.D., Felli, P., Montali, M., Perelli, G.: HyperLDLf: a logic for checking properties of finite traces process logs. In: IJCAI (2021)"},{"key":"11_CR16","volume-title":"Materialized Views: Techniques, Implementations, and Applications","year":"1999","unstructured":"Gupta, A., Mumick, I.S. (eds.): Materialized Views: Techniques, Implementations, and Applications. MIT Press, Cambridge (1999)"},{"issue":"2","key":"11_CR17","first-page":"3","volume":"18","author":"A Gupta","year":"1995","unstructured":"Gupta, A., Mumick, I.S.: Maintenance of materialized views: problems, techniques, and applications. IEEE Data Eng. Bull. 18(2), 3\u201318 (1995)","journal-title":"IEEE Data Eng. Bull."},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/170036.170066","volume":"22","author":"A Gupta","year":"1993","unstructured":"Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. SIGMOD 22, 157\u2013166 (1993)","journal-title":"SIGMOD"},{"key":"11_CR19","unstructured":"IEEE 1849\u20132016 XES Standard. https:\/\/www.xes-standard.org\/"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-319-48472-3_22","volume-title":"On the Move to Meaningful Internet Systems: OTM 2016 Conferences","author":"C Indiono","year":"2016","unstructured":"Indiono, C., Mangler, J., Fdhila, W., Rinderle-Ma, S.: Rule-based runtime monitoring of\u00a0instance-spanning constraints in\u00a0process-aware information systems. In: Debruyne, C., et al. (eds.) OTM 2016. LNCS, vol. 10033, pp. 381\u2013399. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48472-3_22"},{"key":"11_CR21","unstructured":"Kennedy, O., et al.: DBToaster: agile views for a dynamic data management system. In: CIDR (2011)"},{"issue":"2","key":"11_CR22","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s00778-013-0348-4","volume":"23","author":"C Koch","year":"2014","unstructured":"Koch, C., et al.: DBToaster: higher-order delta processing for dynamic. Frequently Fresh Views. VLDB J. 23(2), 253\u2013278 (2014). https:\/\/doi.org\/10.1007\/s00778-013-0348-4","journal-title":"Frequently Fresh Views. VLDB J."},{"key":"11_CR23","unstructured":"LDBC graph query language task force: G-CORE: a core for future graph query languages. SIGMOD (2018)"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.is.2015.02.007","volume":"54","author":"LT Ly","year":"2015","unstructured":"Ly, L.T., Maggi, F.M., Montali, M., Rinderle-Ma, S., van der Aalst, W.M.P.: Compliance monitoring in business processes: functionalities, application, and tool-support. Inf. Syst. 54, 209\u2013234 (2015). https:\/\/doi.org\/10.1016\/j.is.2015.02.007","journal-title":"Inf. Syst."},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-23059-2_13","volume-title":"Business Process Management","author":"FM Maggi","year":"2011","unstructured":"Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132\u2013147. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23059-2_13"},{"issue":"3","key":"11_CR26","first-page":"519","volume":"13","author":"G Mecca","year":"2001","unstructured":"Mecca, G., Bonner, A.: Query languages for sequence databases: termination and complexity. IEEE TKDE 13(3), 519\u2013525 (2001)","journal-title":"IEEE TKDE"},{"issue":"1","key":"11_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2542182.2542199","volume":"5","author":"M Montali","year":"2013","unstructured":"Montali, M., et al.: Monitoring business constraints with the event calculus. ACM Trans. Intell. Syst. Technol. 5(1), 1\u201330 (2013)","journal-title":"ACM Trans. Intell. Syst. Technol."},{"key":"11_CR28","doi-asserted-by":"publisher","unstructured":"de Murillas, E.G.L., Reijers, H.A., van der Aalst, W.M.P.: Connecting databases with process mining: a meta model and toolset. Softw. Syst. Model. 18(2) (2019). https:\/\/doi.org\/10.1007\/s10270-018-0664-7","DOI":"10.1007\/s10270-018-0664-7"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: EDOC (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"11_CR30","unstructured":"Rinderle-Ma, S., Gall, M., Fdhila, W., Mangler, J., Indiono, C.: Collecting examples for instance-spanning constraints. arXiv:1603.01523 (2018)"},{"key":"11_CR31","unstructured":"Shen, W., et al.: Declarative information extraction using datalog with embedded extraction predicates. In: VLDB (2007)"},{"key":"11_CR32","unstructured":"DBToaster Webpage. https:\/\/dbtoaster.github.io\/index.html"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Warner, J., Atluri, V.: Inter-instance authorization constraints for secure workflow management. In: SACMAT (2006)","DOI":"10.1145\/1133058.1133085"},{"key":"11_CR34","doi-asserted-by":"publisher","first-page":"101484","DOI":"10.1016\/j.is.2019.101484","volume":"89","author":"K Winter","year":"2020","unstructured":"Winter, K., et al.: Discovering instance and process spanning constraints from process execution logs. Inf. Syst. 89, 101484 (2020)","journal-title":"Inf. Syst."}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-25383-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,24]],"date-time":"2023-03-24T22:10:46Z","timestamp":1679695846000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-25383-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031253829","9783031253836"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-25383-6_11","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"9 February 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"M\u00fcnster","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bpm2022.uni-muenster.de","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":"98","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":"22","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":"0","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":"22% - 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":"4","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":"3","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":"For the BPM Forum 13 papers have been accepted out of the total of 98 submissions. The Blockchain, RPA and CEE Forum accepted 20 papers out of a total of 40 submissions. From the workshops 23 full papers and 3 short papers have been accepted from a total of 51 submissions.","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)"}}]}}