{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:25Z","timestamp":1750309285472,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T00:00:00Z","timestamp":1683244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,5]]},"DOI":"10.1145\/3589462.3589491","type":"proceedings-article","created":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T22:07:36Z","timestamp":1685138856000},"page":"34-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Enhancing Declarative Temporal Model Mining in Relational Databases: A Preliminary Study"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2608-0881","authenticated-orcid":false,"given":"Samuel","family":"Appleby","sequence":"first","affiliation":[{"name":"Newcastle University, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1844-0851","authenticated-orcid":false,"given":"Giacomo","family":"Bergami","sequence":"additional","affiliation":[{"name":"Newcastle University, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0089-0395","authenticated-orcid":false,"given":"Graham","family":"Morgan","sequence":"additional","affiliation":[{"name":"Newcastle University, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,5,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Simone Agostinelli Giacomo Bergami Alessio Fiorenza Fabrizio\u00a0M. Maggi Andrea Marrella and Fabio Patrizi. 2021. Discovering Declarative Process Model Behavior from Event Logs via Model Learning. In ICPM. 48\u201355.  Simone Agostinelli Giacomo Bergami Alessio Fiorenza Fabrizio\u00a0M. Maggi Andrea Marrella and Fabio Patrizi. 2021. Discovering Declarative Process Model Behavior from Event Logs via Model Learning. In ICPM. 48\u201355.","DOI":"10.1109\/ICPM53251.2021.9576870"},{"key":"e_1_3_2_1_2_1","unstructured":"Rakesh Agrawal and Ramakrishnan Srikant. 1994. Fast Algorithms for Mining Association Rules in Large Databases. In VLDB. Morgan Kaufmann 487\u2013499.  Rakesh Agrawal and Ramakrishnan Srikant. 1994. Fast Algorithms for Mining Association Rules in Large Databases. In VLDB. Morgan Kaufmann 487\u2013499."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Samuel Appleby Giacomo Bergami and Graham Morgan. 2022. Running Temporal Logical Queries on the Relational Model. (2022).  Samuel Appleby Giacomo Bergami and Graham Morgan. 2022. Running Temporal Logical Queries on the Relational Model. (2022).","DOI":"10.1145\/3548785.3548786"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the AAAI 2023 Spring Symposium \u201cOn the Effectiveness of Temporal Logics on Finite Traces in AI\u201d [Forthcoming]. https:\/\/rebrand.ly\/knobab-sss23","author":"Bergami Giacomo","year":"2023","unstructured":"Giacomo Bergami . 2023 . KnoBAB: Making Logic Fast . In Proceedings of the AAAI 2023 Spring Symposium \u201cOn the Effectiveness of Temporal Logics on Finite Traces in AI\u201d [Forthcoming]. https:\/\/rebrand.ly\/knobab-sss23 Giacomo Bergami. 2023. KnoBAB: Making Logic Fast. In Proceedings of the AAAI 2023 Spring Symposium \u201cOn the Effectiveness of Temporal Logics on Finite Traces in AI\u201d [Forthcoming]. https:\/\/rebrand.ly\/knobab-sss23"},{"key":"e_1_3_2_1_5_1","unstructured":"Giacomo Bergami Chiara Di\u00a0Francescomarino Chiara Ghidini Fabrizio\u00a0Maria Maggi and Joonas Puura. 2021. Exploring Business Process Deviance with Sequential and Declarative Patterns.  Giacomo Bergami Chiara Di\u00a0Francescomarino Chiara Ghidini Fabrizio\u00a0Maria Maggi and Joonas Puura. 2021. Exploring Business Process Deviance with Sequential and Declarative Patterns."},{"key":"e_1_3_2_1_6_1","volume-title":"\u00a0M. Pazdor","author":"Czubryt Thomas\u00a0James","year":"2022","unstructured":"Thomas\u00a0James Czubryt , Carson\u00a0 K. Leung , and Adam G . \u00a0M. Pazdor . 2022 . Q-Eclat: Vertical Mining of Interesting Quantitative Patterns. In IDEAS. ACM , 25\u201333. Thomas\u00a0James Czubryt, Carson\u00a0K. Leung, and Adam G.\u00a0M. Pazdor. 2022. Q-Eclat: Vertical Mining of Interesting Quantitative Patterns. In IDEAS. ACM, 25\u201333."},{"key":"e_1_3_2_1_7_1","first-page":"1","article-title":"Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness","volume":"28","author":"De\u00a0Giacomo Giuseppe","year":"2014","unstructured":"Giuseppe De\u00a0Giacomo , Riccardo De\u00a0Masellis , and Marco Montali . 2014 . Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness . AAAI 28 , 1 (Jun. 2014). Giuseppe De\u00a0Giacomo, Riccardo De\u00a0Masellis, and Marco Montali. 2014. Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. AAAI 28, 1 (Jun. 2014).","journal-title":"AAAI"},{"volume-title":"Reasoning About Smart Contracts Encoded in\u00a0LTL","author":"Fionda Valeria","key":"e_1_3_2_1_8_1","unstructured":"Valeria Fionda , Gianluigi Greco , and Marco\u00a0Antonio Mastratisi . 2021. Reasoning About Smart Contracts Encoded in\u00a0LTL . In AIxIA. Springer , Cham , 123\u2013136. Valeria Fionda, Gianluigi Greco, and Marco\u00a0Antonio Mastratisi. 2021. Reasoning About Smart Contracts Encoded in\u00a0LTL. In AIxIA. Springer, Cham, 123\u2013136."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Giuseppe\u00a0De Giacomo Fabrizio\u00a0Maria Maggi Andrea Marrella and Fabio Patrizi. 2017. On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment. In AAAI (San Francisco California USA). 3555\u20133561.  Giuseppe\u00a0De Giacomo Fabrizio\u00a0Maria Maggi Andrea Marrella and Fabio Patrizi. 2017. On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment. In AAAI (San Francisco California USA). 3555\u20133561.","DOI":"10.1609\/aaai.v31i1.11020"},{"key":"e_1_3_2_1_10_1","volume-title":"A tutorial introduction to the minimum description length principle. CoRR math.ST\/0406077","author":"Gr\u00fcnwald Peter","year":"2004","unstructured":"Peter Gr\u00fcnwald . 2004. A tutorial introduction to the minimum description length principle. CoRR math.ST\/0406077 ( 2004 ). http:\/\/arxiv.org\/abs\/math\/0406077 Peter Gr\u00fcnwald. 2004. A tutorial introduction to the minimum description length principle. CoRR math.ST\/0406077 (2004). http:\/\/arxiv.org\/abs\/math\/0406077"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:DAMI.0000005258.31418.83"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-022-00656-0"},{"key":"e_1_3_2_1_13_1","volume-title":"C (sep","author":"Huo Xu","year":"2022","unstructured":"Xu Huo , Kuangrong Hao , Lei Chen , Xue-song Tang, Tong Wang , and Xin Cai . 2022. A Dynamic Soft Sensor of Industrial Fuzzy Time Series with Propositional Linear Temporal Logic. Expert Syst. Appl. 201 , C (sep 2022 ), 11\u00a0pages. Xu Huo, Kuangrong Hao, Lei Chen, Xue-song Tang, Tong Wang, and Xin Cai. 2022. A Dynamic Soft Sensor of Industrial Fuzzy Time Series with Propositional Linear Temporal Logic. Expert Syst. Appl. 201, C (sep 2022), 11\u00a0pages."},{"key":"e_1_3_2_1_14_1","volume-title":"C (sep","author":"Huo Xu","year":"2022","unstructured":"Xu Huo , Kuangrong Hao , Lei Chen , Xue-song Tang, Tong Wang , and Xin Cai . 2022. A Dynamic Soft Sensor of Industrial Fuzzy Time Series with Propositional Linear Temporal Logic. Expert Syst. Appl. 201 , C (sep 2022 ), 11\u00a0pages. Xu Huo, Kuangrong Hao, Lei Chen, Xue-song Tang, Tong Wang, and Xin Cai. 2022. A Dynamic Soft Sensor of Industrial Fuzzy Time Series with Propositional Linear Temporal Logic. Expert Syst. Appl. 201, C (sep 2022), 11\u00a0pages."},{"key":"e_1_3_2_1_15_1","article-title":"Vacuity Detection in Temporal Model","author":"Kupferman Orna","year":"2000","unstructured":"Orna Kupferman and Moshe Vardi . 2000 . Vacuity Detection in Temporal Model Checking. Int. J. on STTT 4. Orna Kupferman and Moshe Vardi. 2000. Vacuity Detection in Temporal Model Checking. Int. J. on STTT 4.","journal-title":"Checking. Int. J. on STTT 4."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103369"},{"key":"e_1_3_2_1_17_1","volume-title":"\u00a0P. van\u00a0der Aalst","author":"Maggi M.","year":"2012","unstructured":"Fabrizio\u00a0 M. Maggi , R.\u00a0 P. Jagadeesh\u00a0Chandra Bose , and Wil M . \u00a0P. van\u00a0der Aalst . 2012 . Efficient Discovery of Understandable Declarative Process Models from Event Logs. In Advanced Information Systems Engineering. Springer , 270\u2013285. Fabrizio\u00a0M. Maggi, R.\u00a0P. Jagadeesh\u00a0Chandra Bose, and Wil M.\u00a0P. van\u00a0der Aalst. 2012. Efficient Discovery of Understandable Declarative Process Models from Event Logs. In Advanced Information Systems Engineering. Springer, 270\u2013285."},{"key":"e_1_3_2_1_18_1","volume-title":"2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM). 192\u2013199","author":"Maggi M.","year":"2011","unstructured":"Fabrizio\u00a0 M. Maggi , Arjan\u00a0 J. Mooij , and Wil\u00a0 M.P. van\u00a0der Aalst . 2011 . User-guided discovery of declarative process models . In 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM). 192\u2013199 . Fabrizio\u00a0M. Maggi, Arjan\u00a0J. Mooij, and Wil\u00a0M.P. van\u00a0der Aalst. 2011. User-guided discovery of declarative process models. In 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM). 192\u2013199."},{"key":"e_1_3_2_1_19_1","article-title":"Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems","volume":"18","author":"Mao Xia","year":"2022","unstructured":"Xia Mao , Xin Li , Yanhong Huang , Jianqi Shi , and Yueling Zhang . 2022 . Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems . IEEE Trans. on Ind. Inf. 18 , 7 (2022). Xia Mao, Xin Li, Yanhong Huang, Jianqi Shi, and Yueling Zhang. 2022. Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. IEEE Trans. on Ind. Inf. 18, 7 (2022).","journal-title":"IEEE Trans. on Ind. Inf."},{"volume-title":"Logical and relational learning","author":"Raedt Luc\u00a0De","key":"e_1_3_2_1_20_1","unstructured":"Luc\u00a0De Raedt . 2008. Logical and relational learning . Springer . Luc\u00a0De Raedt. 2008. Logical and relational learning. Springer."},{"key":"e_1_3_2_1_21_1","unstructured":"Ray Indrani. 2021. Security Vulnerabilities in Smart Contracts as Specifications in Linear Temporal Logic. Master\u2019s thesis. http:\/\/hdl.handle.net\/10012\/17791  Ray Indrani. 2021. Security Vulnerabilities in Smart Contracts as Specifications in Linear Temporal Logic. Master\u2019s thesis. http:\/\/hdl.handle.net\/10012\/17791"},{"volume-title":"Efficient and Customisable Declarative Process Mining with SQL","author":"Sch\u00f6nig Stefan","key":"e_1_3_2_1_22_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 . 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."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the Dissertation Award, Demonstration, and Industrial Track at BPM, Vol.\u00a02196","author":"Skydanienko Vasyl","year":"2018","unstructured":"Vasyl Skydanienko , Chiara\u00a0Di Francescomarino , Chiara Ghidini , and Fabrizio\u00a0Maria Maggi . 2018 . A Tool for Generating Event Logs from Multi-Perspective Declare Models . In Proceedings of the Dissertation Award, Demonstration, and Industrial Track at BPM, Vol.\u00a02196 . CEUR-WS.org, 111\u2013115. Vasyl Skydanienko, Chiara\u00a0Di Francescomarino, Chiara Ghidini, and Fabrizio\u00a0Maria Maggi. 2018. A Tool for Generating Event Logs from Multi-Perspective Declare Models. In Proceedings of the Dissertation Award, Demonstration, and Industrial Track at BPM, Vol.\u00a02196. CEUR-WS.org, 111\u2013115."},{"volume-title":"Introduction to Data Mining","author":"Tan Pang-Ning","key":"e_1_3_2_1_24_1","unstructured":"Pang-Ning Tan , Michael\u00a0 S. Steinbach , Anuj Karpatne , and Vipin Kumar . 2019. Introduction to Data Mining ( Second Edition). Pearson . Pang-Ning Tan, Michael\u00a0S. Steinbach, Anuj Karpatne, and Vipin Kumar. 2019. Introduction to Data Mining (Second Edition). Pearson."},{"key":"e_1_3_2_1_25_1","first-page":"1128","article-title":"Workflow mining: discovering process models from event logs","volume":"16","author":"van\u00a0der Aalst W.","year":"2004","unstructured":"W. van\u00a0der Aalst , T. Weijters , and L. Maruster . 2004 . Workflow mining: discovering process models from event logs . IEEE Trans. on KDE 16 , 9 (2004), 1128 \u2013 1142 . W. van\u00a0der Aalst, T. Weijters, and L. Maruster. 2004. Workflow mining: discovering process models from event logs. IEEE Trans. on KDE 16, 9 (2004), 1128\u20131142.","journal-title":"IEEE Trans. on KDE"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 9th Python in Science Conference. 56 \u2013 61","author":"McKinney Wes","year":"2010","unstructured":"Wes McKinney . 2010 . Data Structures for Statistical Computing in Python . In Proceedings of the 9th Python in Science Conference. 56 \u2013 61 . Wes McKinney. 2010. Data Structures for Statistical Computing in Python. In Proceedings of the 9th Python in Science Conference. 56 \u2013 61."},{"key":"e_1_3_2_1_27_1","volume-title":"Modeling clinical activities based on multi-perspective declarative process mining with openEHR\u2019s characteristic. BMC Medical Informatics and Decision Making 20, 14 (15","author":"Xu Haifeng","year":"2020","unstructured":"Haifeng Xu , Jianfei Pang , Xi Yang , Jinghui Yu , Xuemeng Li , and Dongsheng Zhao . 2020. Modeling clinical activities based on multi-perspective declarative process mining with openEHR\u2019s characteristic. BMC Medical Informatics and Decision Making 20, 14 (15 Dec 2020 ), 303. Haifeng Xu, Jianfei Pang, Xi Yang, Jinghui Yu, Xuemeng Li, and Dongsheng Zhao. 2020. Modeling clinical activities based on multi-perspective declarative process mining with openEHR\u2019s characteristic. BMC Medical Informatics and Decision Making 20, 14 (15 Dec 2020), 303."}],"event":{"name":"IDEAS '23: International Database Engineered Applications Symposium Conference","acronym":"IDEAS '23","location":"Heraklion, Crete Greece"},"container-title":["International Database Engineered Applications Symposium Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3589462.3589491","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3589462.3589491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:16Z","timestamp":1750291396000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3589462.3589491"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,5]]},"references-count":27,"alternative-id":["10.1145\/3589462.3589491","10.1145\/3589462"],"URL":"https:\/\/doi.org\/10.1145\/3589462.3589491","relation":{},"subject":[],"published":{"date-parts":[[2023,5,5]]},"assertion":[{"value":"2023-05-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}