{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T00:02:38Z","timestamp":1746316958680},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662439500"},{"type":"electronic","value":"9783662439517"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43951-7_25","type":"book-chapter","created":{"date-parts":[[2014,6,11]],"date-time":"2014-06-11T04:37:49Z","timestamp":1402461469000},"page":"293-304","source":"Crossref","is-referenced-by-count":13,"title":["All\u2013Instances Termination of Chase is Undecidable"],"prefix":"10.1007","author":[{"given":"Tomasz","family":"Gogacz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jerzy","family":"Marcinkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"25_CR1","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/320107.320112","volume":"4","author":"A.V. Aho","year":"1979","unstructured":"Aho, A.V., Sagiv, Y., Ullman, J.D.: Efficient Optimization of a Class of Relational Expressions. ACM Transactions on Database Systems\u00a04(4), 435\u2013454 (1979)","journal-title":"ACM Transactions on Database Systems"},{"issue":"4","key":"25_CR2","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1145\/1634.1636","volume":"31","author":"C. Beeri","year":"1984","unstructured":"Beeri, C., Vardi, M.Y.: A proof procedure for data dependencies. Journal of the ACM (JACM)\u00a031(4), 718\u2013741 (1984)","journal-title":"Journal of the ACM (JACM)"},{"key":"25_CR3","unstructured":"Cal\u0131, A., Gottlob, G., Kifer, M.: Taming the infinite chase: Query answering under expressive relational constraints. In: Proc. of KR, pp. 70\u201380 (2008)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Cal\u0131, A., Gottlob, G., Lukasiewicz, T.: Datalog +\/-: A unified approach to ontologies and integrity constraints. In: Proceedings of the 12th International Conference on Database Theory. ACM (2009)","DOI":"10.1145\/1514894.1514897"},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.websem.2012.03.001","volume":"14","author":"A. Cal\u0131","year":"2012","unstructured":"Cal\u0131, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. Web Semantics: Science, Services and Agents on the World Wide Web\u00a014, 57\u201383 (2012)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-36285-1_15","volume-title":"Database Theory - ICDT 2003","author":"A. Deutsch","year":"2002","unstructured":"Deutsch, A., Tannen, V.: Reformulation of XML Queries and Constraints. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 225\u2013238. Springer, Heidelberg (2002)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Nash, A., Remmel, J.: The chase revisited. In: Proceedings of the 27th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. ACM (2008)","DOI":"10.1145\/1376916.1376938"},{"issue":"1","key":"25_CR8","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theoretical Computer Science\u00a0336(1), 89\u2013124 (2005)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"25_CR9","doi-asserted-by":"crossref","first-page":"93","DOI":"10.14778\/1920841.1920858","volume":"3","author":"S. Greco","year":"2010","unstructured":"Greco, S., Spezzano, F.: Chase termination: A constraints rewriting approach. Proceedings of the VLDB Endowment\u00a03(1-2), 93\u2013104 (2010)","journal-title":"Proceedings of the VLDB Endowment"},{"issue":"3","key":"25_CR10","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1145\/174130.174142","volume":"40","author":"H. Gaifman","year":"1993","unstructured":"Gaifman, H., Mairson, H., Sagiv, Y., Vardi, M.Y.: Undecidable optimization problems for database logic programs. Journal of the ACM\u00a040(3), 683\u2013713 (1993)","journal-title":"Journal of the ACM"},{"key":"25_CR11","unstructured":"Grahne, G., Onet, A.: On Conditional Chase Termination. AMW 11, 46 (2011)"},{"key":"25_CR12","unstructured":"Grahne, G., Onet, A.: Anatomy of the chase. arXiv:1303.6682 (2013)"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Hernich, A., Schweikardt, N.: CWA-solutions for data exchange settings with target dependencies. In: Proceedings of the Twenty-sixth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. ACM (2007)","DOI":"10.1145\/1265530.1265547"},{"issue":"1","key":"25_CR14","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1137\/S0097539797322140","volume":"29","author":"J. Marcinkowski","year":"1999","unstructured":"Marcinkowski, J.: Achilles, turtle, and undecidable boundedness problems for small DATALOG programs. SIAM Journal on Computing\u00a029(1), 231\u2013257 (1999)","journal-title":"SIAM Journal on Computing"},{"issue":"4","key":"25_CR15","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D. Maier","year":"1979","unstructured":"Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing implications of data dependencies. ACM Transactions on Database Systems\u00a04(4), 455\u2013469 (1979)","journal-title":"ACM Transactions on Database Systems"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Marnette, B.: Generalized schema-mappings: from termination to tractability. In: Proceedings of the Twenty-eighth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. ACM (2009)","DOI":"10.1145\/1559795.1559799"},{"issue":"1","key":"25_CR17","doi-asserted-by":"crossref","first-page":"970","DOI":"10.14778\/1687627.1687737","volume":"2","author":"M. Meier","year":"2009","unstructured":"Meier, M., Schmidt, M., Lausen, G.: On chase termination beyond stratification. Proceedings of the VLDB Endowment\u00a02(1), 970\u2013981 (2009)","journal-title":"Proceedings of the VLDB Endowment"},{"key":"25_CR18","unstructured":"Meier, M., Schmidt, M., Lausen, G.: On chase termination beyond stratification (technical report and erratum), \n                    \n                      http:\/\/arxiv.org\/abs\/0906.4228"},{"key":"25_CR19","unstructured":"Onet, A.: The chase procedure and its applications in data exchange. In: Data Exchange, Integration, and Streams. Dagstuhl Follow-Ups. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, Germany (2013)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages, and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43951-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T22:02:30Z","timestamp":1558908150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43951-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662439500","9783662439517"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43951-7_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}