{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:13:18Z","timestamp":1750219998586,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,22]],"date-time":"2022-08-22T00:00:00Z","timestamp":1661126400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000774","name":"Newcastle University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000774","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,22]]},"DOI":"10.1145\/3548785.3548786","type":"proceedings-article","created":{"date-parts":[[2022,9,13]],"date-time":"2022-09-13T16:08:13Z","timestamp":1663085293000},"page":"134-143","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Running Temporal Logical Queries on the Relational Model"],"prefix":"10.1145","author":[{"given":"Samuel","family":"Appleby","sequence":"first","affiliation":[{"name":"School of Computing, Newcastle University, United Kingdom"}]},{"given":"Giacomo","family":"Bergami","sequence":"additional","affiliation":[{"name":"School of Computing, Newcastle University, United Kingdom"}]},{"given":"Graham","family":"Morgan","sequence":"additional","affiliation":[{"name":"School of Computing, Newcastle University, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2022,9,13]]},"reference":[{"key":"e_1_3_2_1_1_1","article-title":"IEEE 1849: The XES Standard: The Second IEEE Standard Sponsored by IEEE Computational Intelligence Society","volume":"12","author":"Acampora Giovanni","year":"2017","unstructured":"Giovanni Acampora, Autilia Vitiello, Bruno Di\u00a0Stefano, Wil van\u00a0der Aalst, Christian Gunther, and Eric Verbeek. 2017. IEEE 1849: The XES Standard: The Second IEEE Standard Sponsored by IEEE Computational Intelligence Society. IEEE Comp. Int. Mag. 12, 2 (2017).","journal-title":"IEEE Comp. Int. Mag."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPM53251.2021.9576870"},{"key":"e_1_3_2_1_3_1","unstructured":"Adriano Augusto Ahmed Awad and Marlon Dumas. 2021. Efficient Checking of Temporal Compliance Rules Over Business Process Event Logs. CoRR abs\/2112.04623(2021)."},{"key":"e_1_3_2_1_4_1","unstructured":"Ladjel Bellatreche Mohamed Kechar and Safia\u00a0Nait Bahloul. 2021. Bringing Common Subexpression Problem from the Dark to Light: Towards Large-Scale Workload Optimizations. In IDEAS. ACM."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Giacomo Bergami. 2021. On Efficiently Equi-Joining Graphs. In IDEAS. ACM.","DOI":"10.1145\/3472163.3472269"},{"key":"e_1_3_2_1_6_1","unstructured":"Giacomo Bergami Chiara\u00a0Di Francescomarino Chiara Ghidini Fabrizio\u00a0Maria Maggi and Joonas Puura. 2021. Exploring Business Process Deviance with Sequential and Declarative Patterns. CoRR abs\/2111.12454(2021)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Giacomo Bergami Fabrizio\u00a0Maria Maggi Andrea Marrella and Marco Montali. 2021. Aligning Data-Aware Declarative Process Models and Event Logs. In Business Process Management. 235\u2013251.","DOI":"10.1007\/978-3-030-85469-0_16"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2016.08.040"},{"key":"e_1_3_2_1_9_1","volume-title":"\u00a0P. van\u00a0der Aalst","author":"L\u00f3pez de Murillas Eduardo","year":"2022","unstructured":"Eduardo Gonz\u00e1lez\u00a0L\u00f3pez de Murillas, Hajo\u00a0A. Reijers, and Wil M.\u00a0P. van\u00a0der Aalst. 2022. Data-Aware Process Oriented Query Language. In Process Querying Methods. Springer, 49\u201383."},{"volume-title":"Reasoning About Smart Contracts Encoded in\u00a0LTL","author":"Fionda Valeria","key":"e_1_3_2_1_10_1","unstructured":"Valeria Fionda, Gianluigi Greco, and Marco\u00a0Antonio Mastratisi. 2021. Reasoning About Smart Contracts Encoded in\u00a0LTL. In AIxIA. Springer International Publishing, Cham, 123\u2013136."},{"key":"e_1_3_2_1_11_1","first-page":"40","article-title":"MonetDB: Two Decades of Research in Column-oriented Database Architectures","volume":"35","author":"Idreos Stratos","year":"2012","unstructured":"Stratos Idreos, Fabian Groffen, Niels Nes, Stefan Manegold, K.\u00a0Sjoerd Mullender, and Martin\u00a0L. Kersten. 2012. MonetDB: Two Decades of Research in Column-oriented Database Architectures. IEEE Data Eng. Bull. 35, 1 (2012), 40\u201345.","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. AISB AI & Games symposium. 20\u201324","author":"John Nathan","year":"2019","unstructured":"Nathan John, Jeremy Gow, and Paul Cairns. 2019. Why is debugging video game AI hard?. In Proc. AISB AI & Games symposium. 20\u201324."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Jingrui Li Kento Goto and Motomichi Toyama. 2021. SSstory: 3D data storytelling based on SuperSQL and Unity. In IDEAS. ACM 173\u2013183.","DOI":"10.1145\/3472163.3472277"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103369"},{"key":"e_1_3_2_1_15_1","volume-title":"\u00a0P. van\u00a0der Aalst","author":"Mannhardt Felix","year":"2016","unstructured":"Felix Mannhardt, Massimiliano de Leoni, Hajo\u00a0A. Reijers, and Wil M.\u00a0P. van\u00a0der Aalst. 2016. Balanced multi-perspective checking of process conformance. Computing 98, 4 (2016)."},{"volume-title":"Handbook of Digital Games and Entertainment Technologies","author":"Miyake Youichiro","key":"e_1_3_2_1_16_1","unstructured":"Youichiro Miyake. 2017. Current Status of Applying Artificial Intelligence in Digital Games. In Handbook of Digital Games and Entertainment Technologies. Springer Singapore, 253\u2013292."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Andr\u00e9 Petermann Martin Junghanns Robert M\u00fcller and Erhard Rahm. 2014. FoodBroker - Generating Synthetic Datasets for Graph-Based Business Analytics. In WBDB\u201914.","DOI":"10.1007\/978-3-319-20233-4_13"},{"key":"e_1_3_2_1_18_1","volume-title":"Learning Over Dirty Data Without Cleaning. In SIGMOD Conference. ACM, 1301\u20131316","author":"Picado Jose","year":"2020","unstructured":"Jose Picado, John Davis, Arash Termehchy, and Ga\u00a0Young Lee. 2020. Learning Over Dirty Data Without Cleaning. In SIGMOD Conference. ACM, 1301\u20131316."},{"key":"e_1_3_2_1_19_1","volume-title":"BPM Workshops. 383\u2013394","author":"Pichler Paul","year":"2011","unstructured":"Paul Pichler, Barbara Weber, Stefan Zugal, Jakob Pinggera, Jan Mendling, and Hajo\u00a0A. Reijers. 2011. Imperative versus Declarative Process Modeling Languages: An Empirical Investigation. In BPM Workshops. 383\u2013394."},{"key":"e_1_3_2_1_20_1","volume-title":"Marcello\u00a0La Rosa, Chun Ouyang, and Anastasiia Pika.","author":"Polyvyanyy Artem","year":"2019","unstructured":"Artem Polyvyanyy, Arthur H.\u00a0M. ter Hofstede, Marcello\u00a0La Rosa, Chun Ouyang, and Anastasiia Pika. 2019. Process Query Language: Design, Implementation, and Evaluation. Vol.\u00a0abs\/1909.09543."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2015.07.040"},{"key":"e_1_3_2_1_22_1","volume-title":"\u00a0P. van\u00a0der Aalst","author":"Rozinat Anne","year":"2008","unstructured":"Anne Rozinat and Wil M.\u00a0P. van\u00a0der Aalst. 2008. Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33, 1 (2008)."},{"key":"e_1_3_2_1_23_1","unstructured":"Stefan Sch\u00f6nig. 2015. SQL Queries for Declarative Process Mining on Event Logs of Relational Databases. CoRR abs\/1512.00196(2015)."},{"volume-title":"Efficient and Customisable Declarative Process Mining with SQL","author":"Sch\u00f6nig Stefan","key":"e_1_3_2_1_24_1","unstructured":"Stefan Sch\u00f6nig, Andreas Rogge-Solti, Cristina Cabanillas, Stefan Jablonski, and Jan Mendling. 2016. Efficient and Customisable Declarative Process Mining with SQL. In CAiSE. Springer."}],"event":{"name":"IDEAS'22: International Database Engineered Applications Symposium","acronym":"IDEAS'22","location":"Budapest Hungary"},"container-title":["Proceedings of the 26th International Database Engineered Applications Symposium"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548785.3548786","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548785.3548786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:50:53Z","timestamp":1750182653000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548785.3548786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,22]]},"references-count":24,"alternative-id":["10.1145\/3548785.3548786","10.1145\/3548785"],"URL":"https:\/\/doi.org\/10.1145\/3548785.3548786","relation":{},"subject":[],"published":{"date-parts":[[2022,8,22]]},"assertion":[{"value":"2022-09-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}