{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:54:00Z","timestamp":1759683240659},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,9,8]],"date-time":"2013-09-08T00:00:00Z","timestamp":1378598400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The VLDB Journal"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s00778-013-0333-y","type":"journal-article","created":{"date-parts":[[2013,9,7]],"date-time":"2013-09-07T06:09:08Z","timestamp":1378534148000},"page":"495-516","source":"Crossref","is-referenced-by-count":12,"title":["The backchase revisited"],"prefix":"10.1007","volume":"23","author":[{"given":"Michael","family":"Meier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,9,8]]},"reference":[{"key":"333_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"issue":"4","key":"333_CR2","doi-asserted-by":"crossref","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. J. ACM 31(4), 718\u2013741 (1984)","journal-title":"J. ACM"},{"issue":"4","key":"333_CR3","doi-asserted-by":"crossref","first-page":"530","DOI":"10.1145\/937555.937560","volume":"4","author":"P Buneman","year":"2003","unstructured":"Buneman, P., Fan, W., Weinstein, S.: Interaction between path and type constraints. ACM Trans. Comput. Logic 4(4), 530\u2013577 (2003)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"3","key":"333_CR4","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-lite family. J. Autom. Reason. 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reason."},{"issue":"2","key":"333_CR5","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/78922.78924","volume":"15","author":"US Chakravarthy","year":"1990","unstructured":"Chakravarthy, U.S., Grant, J., Minker, J.: Logic-based approach to semantic query optimization. ACM Trans. Database Syst. 15(2), 162\u2013207 (1990)","journal-title":"ACM Trans. Database Syst."},{"key":"333_CR6","doi-asserted-by":"crossref","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal Implementation of Conjunctive Queries in Relational Databases. In: STOC, pp. 77\u201390 (1977)","DOI":"10.1145\/800105.803397"},{"key":"333_CR7","doi-asserted-by":"crossref","unstructured":"Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. In: ICDT, pp. 66\u201377 (2011)","DOI":"10.1145\/1938551.1938563"},{"key":"333_CR8","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Nash, A., Remmel, J.: The chase revisited. In: PODS, pp. 149\u2013158 (2008)","DOI":"10.1145\/1376916.1376938"},{"key":"333_CR9","unstructured":"Deutsch, A., Popa, L., Tannen, V.: Physical data independence, constraints, and optimization with universal plans. In: VLDB \u201999, pp. 459\u2013470 (1999)"},{"key":"333_CR10","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Tannen, V.: MARS: a system for publishing XML from mixed and redundant storage. In: VLDB, pp. 201\u2013212 (2003)","DOI":"10.1016\/B978-012722442-8\/50026-4"},{"key":"333_CR11","doi-asserted-by":"crossref","unstructured":"Deutsch, A.: Fol modeling of integrity constraints (dependencies). In: Encyclopedia of Database Systems, pp. 1155\u20131161. Springer, US (2009)","DOI":"10.1007\/978-0-387-39940-9_980"},{"key":"333_CR12","unstructured":"Deutsch, A.: XML query reformulation over mixed and redundant storage. Ph.D. thesis, UPenn (2002)"},{"issue":"1","key":"333_CR13","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/j.tcs.2004.10.032","volume":"336","author":"A Deutsch","year":"2005","unstructured":"Deutsch, A., Tannen, V.: XML queries and constraints, containment and reformulation. Theor. Comput. Sci. 336(1), 57\u201387 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"333_CR14","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/1121995.1122010","volume":"35","author":"A Deutsch","year":"2006","unstructured":"Deutsch, A., Popa, L., Tannen, V.: Query reformulation with constraints. SIGMOD Rec. 35(1), 65\u201373 (2006)","journal-title":"SIGMOD Rec."},{"issue":"3","key":"333_CR15","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1016\/j.tcs.2006.11.008","volume":"371","author":"A Deutsch","year":"2007","unstructured":"Deutsch, A., Lud\u00e4scher, B., Nash, A.: Rewriting queries using views with access patterns under integrity constraints. Theor. Comput. Sci. 371(3), 200\u2013226 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"333_CR16","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0190(95)00192-1","volume":"57","author":"G Dong","year":"1996","unstructured":"Dong, G., Su, J.: Conjunctive query containment with respect to views and constraints. Inf. Process. Lett. 57(2), 95\u2013102 (1996)","journal-title":"Inf. Process. Lett."},{"key":"333_CR17","unstructured":"Eiter, T., Ortiz, M., Simkus, M., Tran, T.K., Xiao, G.: Query rewriting for horn-shiq plus rules. In: AAAI (2012)"},{"issue":"4","key":"333_CR18","doi-asserted-by":"crossref","first-page":"952","DOI":"10.1145\/322344.322347","volume":"29","author":"R Fagin","year":"1982","unstructured":"Fagin, R.: Horn clauses and database dependencies. J. ACM 29(4), 952\u2013985 (1982)","journal-title":"J. ACM"},{"issue":"1","key":"333_CR19","doi-asserted-by":"crossref","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. Theor. Comput. Sci. 336(1), 89\u2013124 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"333_CR20","doi-asserted-by":"crossref","unstructured":"Fuxman, A., Kolaitis, P.G., Miller, R.J., Tan, W.C.: Peer data exchange. In: PODS, pp. 160\u2013171 (2005)","DOI":"10.1145\/1065167.1065188"},{"issue":"2","key":"333_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1346330.1346334","volume":"55","author":"G Gottlob","year":"2008","unstructured":"Gottlob, G., Nash, A.: Efficient core computation in data exchange. J. ACM 55(2), 1\u201349 (2008)","journal-title":"J. ACM"},{"issue":"11","key":"333_CR22","first-page":"1158","volume":"4","author":"S Greco","year":"2011","unstructured":"Greco, S., Spezzano, F., Trubitsyna, I.: Stratification criteria and rewriting techniques for checking chase termination. PVLDB 4(11), 1158\u20131168 (2011)","journal-title":"PVLDB"},{"issue":"4","key":"333_CR23","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1007\/s007780100054","volume":"10","author":"AY Halevy","year":"2001","unstructured":"Halevy, A.Y.: Answering queries using views: a survey. VLDB J. 10(4), 270\u2013294 (2001)","journal-title":"VLDB J."},{"key":"333_CR24","unstructured":"Hariri, B.B., Calvanese, D., Giacomo, G.D., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. CoRR abs\/1203.0024 (2012)"},{"issue":"1","key":"333_CR25","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0022-0000(84)90081-3","volume":"28","author":"DS Johnson","year":"1984","unstructured":"Johnson, D.S., Klug, A.C.: Testing containment of conjunctive queries under functional and inclusion dependencies. J. Comput. Syst. Sci. 28(1), 167\u2013189 (1984)","journal-title":"J. Comput. Syst. Sci."},{"key":"333_CR26","unstructured":"Kikot, S., Kontchakov, R., Zakharyaschev, M.: Conjunctive query answering with owl 2 ql. In: KR (2012)"},{"key":"333_CR27","unstructured":"King, J.J.: QUIST: a system for semantic query optimization in relational databases. Distributed systems, vol. II: distributed data base systems pp. 287\u2013294 (1986)"},{"key":"333_CR28","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: a theoretical perspective. In: PODS, pp. 233\u2013246 (2002)","DOI":"10.1145\/543643.543644"},{"issue":"4","key":"333_CR29","doi-asserted-by":"crossref","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 Trans. Database Syst. 4(4), 455\u2013469 (1979)","journal-title":"ACM Trans. Database Syst."},{"key":"333_CR30","doi-asserted-by":"crossref","unstructured":"Marnette, B.: Generalized schema-mappings: from termination to tractability. In: PODS, pp. 13\u201322 (2009)","DOI":"10.1145\/1559795.1559799"},{"key":"333_CR31","unstructured":"Meier, M., Schmidt, M., Lausen, G.: On chase termination beyond stratification. CoRR abs\/0906.4228 (2009)"},{"key":"333_CR32","unstructured":"Meier, M., Schmidt, M., Lausen, G.: Stop the chase, Technical Report. CoRR abs\/0901.3984 (2009)"},{"issue":"1","key":"333_CR33","first-page":"970","volume":"2","author":"M Meier","year":"2009","unstructured":"Meier, M., Schmidt, M., Lausen, G.: On chase termination beyond stratification. PVLDB 2(1), 970\u2013981 (2009)","journal-title":"PVLDB"},{"issue":"6","key":"333_CR34","doi-asserted-by":"crossref","first-page":"937","DOI":"10.1016\/j.jcss.2013.01.010","volume":"79","author":"M Meier","year":"2013","unstructured":"Meier, M., Schmidt, M., Wei, F., Lausen, G.: Semantic query optimization in the presence of types. J. Comput. Syst. Sci. 79(6), 937\u2013957 (2013)","journal-title":"J. Comput. Syst. Sci."},{"key":"333_CR35","doi-asserted-by":"crossref","unstructured":"Olteanu, D., Huang, J., Koch, C.: SPROUT:lazy vs. eager query plans for tuple-independent probabilistic databases. In: ICDE, pp. 640\u2013651 (2009)","DOI":"10.1109\/ICDE.2009.123"},{"key":"333_CR36","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Urbina, H., Horrocks, I., Motik, B.: Efficient query answering for owl 2. In: International Semantic Web Conference, pp. 489\u2013504 (2009)","DOI":"10.1007\/978-3-642-10871-6"},{"issue":"7\u20139","key":"333_CR37","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1016\/j.tcs.2009.09.035","volume":"411","author":"R Pichler","year":"2010","unstructured":"Pichler, R., Savenkov, V.: Towards practical feasibility of core computation in data exchange. Theor. Comput. Sci. 411(7\u20139), 935\u2013957 (2010)","journal-title":"Theor. Comput. Sci."},{"key":"333_CR38","doi-asserted-by":"crossref","unstructured":"Popa, L., Deutsch, A., Sahuguet, A., Tannen, V.: A chase too far? In: SIGMOD, pp. 273\u2013284 (2000)","DOI":"10.1145\/335191.335421"},{"key":"333_CR39","doi-asserted-by":"crossref","unstructured":"Popa, L., Tannen, V.: An equational chase for path-conjunctive queries, constraints, and views. In: ICDT, pp. 39\u201357 (1999)","DOI":"10.1007\/3-540-49257-7_4"},{"key":"333_CR40","unstructured":"Popa, L.: Object\/relational query optimization with chase and backchase. Ph.D. thesis, UPenn (2000)"},{"issue":"1","key":"333_CR41","first-page":"93","volume":"3","author":"F Spezzano","year":"2010","unstructured":"Spezzano, F., Greco, S.: Chase termination: a constraints rewriting approach. PVLDB 3(1), 93\u2013104 (2010)","journal-title":"PVLDB"}],"container-title":["The VLDB Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-013-0333-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00778-013-0333-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-013-0333-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,3]],"date-time":"2020-08-03T11:16:11Z","timestamp":1596453371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00778-013-0333-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,8]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["333"],"URL":"https:\/\/doi.org\/10.1007\/s00778-013-0333-y","relation":{},"ISSN":["1066-8888","0949-877X"],"issn-type":[{"value":"1066-8888","type":"print"},{"value":"0949-877X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,8]]}}}