{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T19:37:04Z","timestamp":1703187424310},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2010,9]]},"abstract":"<jats:p>Several database areas such as data exchange and integration share the problem of fixing database instance violations with respect to a set of constraints. The chase algorithm solves such violations by inserting tuples and setting the value of nulls. Unfortunately, the chase algorithm may not terminate and the problem of deciding whether the chase process terminates is undecidable. Recently there has been an increasing interest in the identification of sufficient structural properties of constraints which guarantee that the chase algorithm terminates [8, 10, 14, 15].<\/jats:p>\n          <jats:p>\n            In this paper we propose an original technique which allows to improve current conditions detecting chase termination. Our proposal consists in rewriting the original set of constraints \u03a3 into an 'equivalent' set \u03a3\n            <jats:sup>\u03b1<\/jats:sup>\n            and verifying the structural properties for chase termination on \u03a3\n            <jats:sup>\u03b1<\/jats:sup>\n            . The rewriting of constraints allows to recognize larger classes of constraints for which chase termination is guaranteed. In particular, we show that if \u03a3 satisfies chase termination conditions T, then the rewritten set \u03a3\n            <jats:sup>\u03b1<\/jats:sup>\n            satisfies T as well, but the vice versa is not true, that is there are significant classes of constraints for which \u03a3\n            <jats:sup>\u03b1<\/jats:sup>\n            satisfies T and \u03a3 does not.\n          <\/jats:p>","DOI":"10.14778\/1920841.1920858","type":"journal-article","created":{"date-parts":[[2014,6,24]],"date-time":"2014-06-24T12:17:57Z","timestamp":1403612277000},"page":"93-104","source":"Crossref","is-referenced-by-count":11,"title":["Chase termination"],"prefix":"10.14778","volume":"3","author":[{"given":"Sergio","family":"Greco","sequence":"first","affiliation":[{"name":"Universit\u00e0 della Calabria, Rende (Cs), Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Spezzano","sequence":"additional","affiliation":[{"name":"Universit\u00e0 della Calabria, Rende (Cs), Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,9]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Foundations of Databases","author":"Abiteboul S.","year":"1995","unstructured":"S. Abiteboul , R. Hull , and V. Vianu . Foundations of Databases . Addison-Wesley , 1995 . S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90038-Q"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1137\/0213006"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147376.1147391"},{"key":"e_1_2_1_5_1","volume-title":"Description Logics","author":"Cal\u00ec A.","year":"2008","unstructured":"A. Cal\u00ec , G. Gottlob , and M. Kifer . Taming the infinite chase: Query answering under expressive relational constraints . In Description Logics , 2008 . A. Cal\u00ec, G. Gottlob, and M. Kifer. Taming the infinite chase: Query answering under expressive relational constraints. In Description Logics, 2008."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11965893_1"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265549"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376916.1376938"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/322344.322347"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1O16\/j.tcs.2004.10.033"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1061318.1061323"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142351.1142357"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543644"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1559795.1559799"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687737"},{"key":"e_1_2_1_16_1","volume-title":"On chase termination beyond stratification. CoRR, abs\/0906.4228","author":"Meier M.","year":"2009","unstructured":"M. Meier , M. Schmidt , and G. Lausen . On chase termination beyond stratification. CoRR, abs\/0906.4228 , 2009 . M. Meier, M. Schmidt, and G. Lausen. On chase termination beyond stratification. CoRR, abs\/0906.4228, 2009."}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/1920841.1920858","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T11:42:27Z","timestamp":1672227747000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/1920841.1920858"}},"subtitle":["a constraints rewriting approach"],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":16,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["10.14778\/1920841.1920858"],"URL":"https:\/\/doi.org\/10.14778\/1920841.1920858","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}