{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T23:39:30Z","timestamp":1774654770961,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,12]],"date-time":"2022-06-12T00:00:00Z","timestamp":1654992000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000288","name":"Royal Society","doi-asserted-by":"publisher","award":["RP\/R1\/201074"],"award-info":[{"award-number":["RP\/R1\/201074"]}],"id":[{"id":"10.13039\/501100000288","id-type":"DOI","asserted-by":"publisher"}]},{"name":"EPSRC","award":["EP\/S003800\/1"],"award-info":[{"award-number":["EP\/S003800\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,12]]},"DOI":"10.1145\/3517804.3524146","type":"proceedings-article","created":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T13:29:54Z","timestamp":1655126994000},"page":"369-378","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Non-Uniformly Terminating Chase: Size and Complexity"],"prefix":"10.1145","author":[{"given":"Marco","family":"Calautti","sequence":"first","affiliation":[{"name":"University of Trento, Trento, Italy"}]},{"given":"Georg","family":"Gottlob","sequence":"additional","affiliation":[{"name":"University of Oxford & TU Wien, Oxford, United Kingdom"}]},{"given":"Andreas","family":"Pieris","sequence":"additional","affiliation":[{"name":"University of Edinburgh & University of Cyprus, Edinburgh, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2022,6,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092931.3092933"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Antoine Amarilli and Michael Benedikt. 2018. When Can We Answer Queries Using Result-Bounded Data Interfaces?. In PODS. 281--293. Antoine Amarilli and Michael Benedikt. 2018. When Can We Answer Queries Using Result-Bounded Data Interfaces?. In PODS. 281--293.","DOI":"10.1145\/3196959.3196965"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Franz Baader Sebastian Brandt and Carsten Lutz. 2005. Pushing the EL Envelope. In IJCAI. 364--369. Franz Baader Sebastian Brandt and Carsten Lutz. 2005. Pushing the EL Envelope. In IJCAI. 364--369.","DOI":"10.25368\/2022.144"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Jean-Fran\u00e7ois Baget Meghyn Bienvenu Marie-Laure Mugnier and Micha\u00ebl Thomazo. 2017. Answering Conjunctive Regular Path Queries over Guarded Existential Rules. In IJCAI. 793--799. Jean-Fran\u00e7ois Baget Meghyn Bienvenu Marie-Laure Mugnier and Micha\u00ebl Thomazo. 2017. Answering Conjunctive Regular Path Queries over Guarded Existential Rules. In IJCAI. 793--799.","DOI":"10.24963\/ijcai.2017\/110"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Pablo Barcel\u00f3 Victor Dalmau Cristina Feier Carsten Lutz and Andreas Pieris. 2020. The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs. In PODS. 259--270. Pablo Barcel\u00f3 Victor Dalmau Cristina Feier Carsten Lutz and Andreas Pieris. 2020. The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs. In PODS. 259--270.","DOI":"10.1145\/3375395.3387653"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Michael Benedikt George Konstantinidis Giansalvatore Mecca Boris Motik Paolo Papotti Donatello Santoro and Efthymia Tsamoura. 2017. Benchmarking the Chase. In PODS. 37--52. Michael Benedikt George Konstantinidis Giansalvatore Mecca Boris Motik Paolo Papotti Donatello Santoro and Efthymia Tsamoura. 2017. Benchmarking the Chase. In PODS. 37--52.","DOI":"10.1145\/3034786.3034796"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Pierre Bourhis Michel Lecl\u00e8re Marie-Laure Mugnier Sophie Tison Federico Ulliana and Lily Gallois. 2019. Oblivious and Semi-Oblivious Boundedness for Existential Rules. In IJCAI. 1581--1587. Pierre Bourhis Michel Lecl\u00e8re Marie-Laure Mugnier Sophie Tison Federico Ulliana and Lily Gallois. 2019. Oblivious and Semi-Oblivious Boundedness for Existential Rules. In IJCAI. 1581--1587.","DOI":"10.24963\/ijcai.2019\/219"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Marco Calautti Georg Gottlob and Andreas Pieris. 2015. Chase Termination for Guarded Existential Rules. In PODS. 91--103. Marco Calautti Georg Gottlob and Andreas Pieris. 2015. Chase Termination for Guarded Existential Rules. In PODS. 91--103.","DOI":"10.1145\/2745754.2745773"},{"key":"e_1_3_2_1_9_1","first-page":"1","article-title":"Oblivious Chase Termination: The Sticky Case","volume":"17","author":"Calautti Marco","year":"2019","unstructured":"Marco Calautti and Andreas Pieris . 2019 . Oblivious Chase Termination: The Sticky Case . In ICDT. 17 : 1 -- 17 :18. Marco Calautti and Andreas Pieris. 2019. Oblivious Chase Termination: The Sticky Case. In ICDT. 17:1--17:18.","journal-title":"ICDT."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591248.2591252"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9078-x"},{"key":"e_1_3_2_1_12_1","volume-title":"Remmel","author":"Deutsch Alin","year":"2008","unstructured":"Alin Deutsch , Alan Nash , and Jeff B . Remmel . 2008 . The Chase Revisisted. In PODS. 149--158. Alin Deutsch, Alan Nash, and Jeff B. Remmel. 2008. The Chase Revisisted. In PODS. 149--158."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1085304.1085309"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Tomasz Gogacz and Jerzy Marcinkowski. 2014. All-Instances Termination of Chase is Undecidable. In ICALP. 293--304. Tomasz Gogacz and Jerzy Marcinkowski. 2014. All-Instances Termination of Chase is Undecidable. In ICALP. 293--304.","DOI":"10.1007\/978-3-662-43951-7_25"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Tomasz Gogacz Jerzy Marcinkowski and Andreas Pieris. 2020. All-Instances Restricted Chase Termination. In PODS. 245--258. Tomasz Gogacz Jerzy Marcinkowski and Andreas Pieris. 2020. All-Instances Restricted Chase Termination. In PODS. 245--258.","DOI":"10.1145\/3375395.3387644"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-020-00690-7"},{"key":"e_1_3_2_1_17_1","unstructured":"Georg Gottlob Marco Manna and Andreas Pieris. 2014. Polynomial Combined Rewritings for Existential Rules. In KR. Georg Gottlob Marco Manna and Andreas Pieris. 2014. Polynomial Combined Rewritings for Existential Rules. In KR."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Georg Gottlob Marco Manna and Andreas Pieris. 2020. Multi-head Guarded Existential Rules Over Fixed Signatures. In KR. 445--454. Georg Gottlob Marco Manna and Andreas Pieris. 2020. Multi-head Guarded Existential Rules Over Fixed Signatures. In KR. 445--454.","DOI":"10.24963\/kr.2020\/45"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2018-1627"},{"key":"e_1_3_2_1_20_1","first-page":"1","article-title":"The Power of the Terminating Chase (Invited Talk)","volume":"3","author":"Kr\u00f6tzsch Markus","year":"2019","unstructured":"Markus Kr\u00f6tzsch , Maximilian Marx , and Sebastian Rudolph . 2019 . The Power of the Terminating Chase (Invited Talk) . In ICDT. 3 : 1 -- 3 :17. Markus Kr\u00f6tzsch, Maximilian Marx, and Sebastian Rudolph. 2019. The Power of the Terminating Chase (Invited Talk). In ICDT. 3:1--3:17.","journal-title":"ICDT."},{"key":"e_1_3_2_1_21_1","first-page":"1","article-title":"A Single Approach to Decide Chase Termination on Linear Existential Rules","volume":"18","author":"Lecl\u00e8re Michel","year":"2019","unstructured":"Michel Lecl\u00e8re , Marie-Laure, Micha\u00ebl Thomazo , and Federico Ulliana . 2019 . A Single Approach to Decide Chase Termination on Linear Existential Rules . In ICDT. 18 : 1 -- 18 :19. Michel Lecl\u00e8re, Marie-Laure, Micha\u00ebl Thomazo, and Federico Ulliana. 2019. A Single Approach to Decide Chase Termination on Linear Existential Rules. In ICDT. 18:1--18:19.","journal-title":"ICDT."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Bruno Marnette. 2009. Generalized schema-mappings: from termination to tractability. In PODS. 13--22. Bruno Marnette. 2009. Generalized schema-mappings: from termination to tractability. In PODS. 13--22.","DOI":"10.1145\/1559795.1559799"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77688-8_5"}],"event":{"name":"SIGMOD\/PODS '22: International Conference on Management of Data","location":"Philadelphia PA USA","acronym":"SIGMOD\/PODS '22","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3517804.3524146","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3517804.3524146","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:04Z","timestamp":1750182544000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3517804.3524146"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,12]]},"references-count":23,"alternative-id":["10.1145\/3517804.3524146","10.1145\/3517804"],"URL":"https:\/\/doi.org\/10.1145\/3517804.3524146","relation":{},"subject":[],"published":{"date-parts":[[2022,6,12]]},"assertion":[{"value":"2022-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}