{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:49:54Z","timestamp":1760708994204},"reference-count":33,"publisher":"Association for Computing Machinery (ACM)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2016,1]]},"abstract":"<jats:p>\n            The chase is a well-known algorithm with a wide range of applications in data exchange, data cleaning, data integration, query optimization, and ontological reasoning. Since the chase evaluation might not terminate and it is undecidable whether it terminates, the problem of defining (decidable) sufficient conditions ensuring termination has received a great deal of interest in recent years. In this regard, several termination criteria have been proposed. One of the main weaknesses of current approaches is the limited analysis they perform on\n            <jats:italic>equality generating dependencies<\/jats:italic>\n            (EGDs).\n          <\/jats:p>\n          <jats:p>In this paper, we propose sufficient conditions ensuring that a set of dependencies has at least one terminating chase sequence. We propose novel criteria which are able to perform a more accurate analysis of EGDs. Specifically, we propose a new stratification criterion and an adornment algorithm. The latter can both be used as a termination criterion and be combined with current techniques to make them more effective, in that strictly more sets of dependencies are identified. Our techniques identify sets of dependencies that are not recognized by any of the current criteria.<\/jats:p>","DOI":"10.14778\/2876473.2876475","type":"journal-article","created":{"date-parts":[[2016,2,1]],"date-time":"2016-02-01T14:10:31Z","timestamp":1454335831000},"page":"396-407","source":"Crossref","is-referenced-by-count":9,"title":["Exploiting equality generating dependencies in checking chase termination"],"prefix":"10.14778","volume":"9","author":[{"given":"Marco","family":"Calautti","sequence":"first","affiliation":[{"name":"University of Calabria, Rende, Italy"}]},{"given":"Sergio","family":"Greco","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende, Italy"}]},{"given":"Cristian","family":"Molinaro","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende, Italy"}]},{"given":"Irina","family":"Trubitsyna","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende, Italy"}]}],"member":"320","published-online":{"date-parts":[[2016,1]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Information Systems Group Ontologies http:\/\/www.cs.ox.ac.uk\/isg\/ontologies\/.  Information Systems Group Ontologies http:\/\/www.cs.ox.ac.uk\/isg\/ontologies\/."},{"key":"e_1_2_1_2_1","unstructured":"The OBO Foundry http:\/\/www.obofoundry.org.  The OBO Foundry http:\/\/www.obofoundry.org."},{"key":"e_1_2_1_3_1","unstructured":"Phenoscape Ontologies http:\/\/phenoscape.org\/wiki\/Ontologies.  Phenoscape Ontologies http:\/\/phenoscape.org\/wiki\/Ontologies."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055558.1055592"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/303976.303983"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1137\/0213006"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1938551.1938585"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745754.2745773"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591248.2591252"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920912"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265549"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376916.1376938"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-39940-9_1273"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1O16\/j.tcs.2004.10.033"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1061318.1061323"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1366102.1366103"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11926078_47"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536360.2536363"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43951-7_25"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346330.1346334"},{"key":"e_1_2_1_22_1","volume-title":"Anatomy of the chase. CoRR, abs\/1303.6682","author":"Grahne G.","year":"2013","unstructured":"G. Grahne and A. Onet . Anatomy of the chase. CoRR, abs\/1303.6682 , 2013 . G. Grahne and A. Onet. Anatomy of the chase. CoRR, abs\/1303.6682, 2013."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.3949"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2371185"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920858"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.14778\/3402707.3402750"},{"issue":"3","key":"e_1_2_1_27_1","first-page":"621","article-title":"Checking chase termination: Cyclicity analysis and rewriting techniques","volume":"27","author":"Greco S.","year":"2015","unstructured":"S. Greco , F. Spezzano , and I. Trubitsyna . Checking chase termination: Cyclicity analysis and rewriting techniques . IEEE TKDE , 27 ( 3 ): 621 -- 635 , 2015 . S. Greco, F. Spezzano, and I. Trubitsyna. Checking chase termination: Cyclicity analysis and rewriting techniques. IEEE TKDE, 27(3):621--635, 2015.","journal-title":"IEEE TKDE"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.005"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320115"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1559795.1559799"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15918-3_23"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687737"},{"key":"e_1_2_1_33_1","first-page":"1","volume-title":"Data Exchange, Integration, and Streams","author":"Onet A.","year":"2013","unstructured":"A. Onet . The chase procedure and its applications in data exchange . In Data Exchange, Integration, and Streams , pages 1 -- 37 . 2013 . A. Onet. The chase procedure and its applications in data exchange. In Data Exchange, Integration, and Streams, pages 1--37. 2013."}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/2876473.2876475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T10:44:18Z","timestamp":1672224258000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/2876473.2876475"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1]]},"references-count":33,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,1]]}},"alternative-id":["10.14778\/2876473.2876475"],"URL":"https:\/\/doi.org\/10.14778\/2876473.2876475","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2016,1]]}}}