{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:57:03Z","timestamp":1759683423139},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,5,4]],"date-time":"2012-05-04T00:00:00Z","timestamp":1336089600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1007\/s00224-012-9397-0","type":"journal-article","created":{"date-parts":[[2012,5,3]],"date-time":"2012-05-03T09:29:12Z","timestamp":1336037352000},"page":"483-541","source":"Crossref","is-referenced-by-count":6,"title":["Relaxed Notions of Schema Mapping Equivalence Revisited"],"prefix":"10.1007","volume":"52","author":[{"given":"Reinhard","family":"Pichler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emanuel","family":"Sallinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vadim","family":"Savenkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,5,4]]},"reference":[{"key":"9397_CR1","series-title":"ACM International Conference Proceeding Series","first-page":"129","volume-title":"Proc. ICDT\u201910","author":"M. Arenas","year":"2010","unstructured":"Arenas, M., Fagin, R., Nash, A.: Composition with target constraints. In: Proc. ICDT\u201910. ACM International Conference Proceeding Series, pp. 129\u2013142. ACM, New York (2010)"},{"issue":"1","key":"9397_CR2","first-page":"1018","volume":"2","author":"M. Arenas","year":"2009","unstructured":"Arenas, M., P\u00e9rez, J., Reutter, J.L., Riveros, C.: Inverting schema mappings: bridging the gap between theory and practice. PVLDB 2(1), 1018\u20131029 (2009)","journal-title":"PVLDB"},{"key":"9397_CR3","first-page":"227","volume-title":"Proc. PODS","author":"M. Arenas","year":"2010","unstructured":"Arenas, M., P\u00e9rez, J., Reutter, J.L., Riveros, C.: Foundations of schema mapping management. In: Proc. PODS, pp. 227\u2013238. ACM, New York (2010)"},{"key":"9397_CR4","doi-asserted-by":"crossref","unstructured":"Arenas, M., P\u00e9rez, J., Riveros, C.: The recovery of a schema mapping: bringing exchanged data back. ACM Trans. Database Syst. 34(4) (2009)","DOI":"10.1145\/1620585.1620589"},{"issue":"4","key":"9397_CR5","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"},{"key":"9397_CR6","volume-title":"Proc. CIDR\u201903","author":"P.A. Bernstein","year":"2003","unstructured":"Bernstein, P.A.: Applying model management to classical meta data problems. In: Proc. CIDR\u201903 (2003). Available from http:\/\/www-db.cs.wisc.edu\/cidr\/cidr2003\/program\/p19.pdf"},{"issue":"2","key":"9397_CR7","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s00778-007-0059-9","volume":"17","author":"P.A. Bernstein","year":"2008","unstructured":"Bernstein, P.A., Green, T.J., Melnik, S., Nash, A.: Implementing mapping composition. VLDB J. 17(2), 333\u2013353 (2008)","journal-title":"VLDB J."},{"key":"9397_CR8","first-page":"1","volume-title":"Proc. SIGMOD\u201907","author":"P.A. Bernstein","year":"2007","unstructured":"Bernstein, P.A., Melnik, S.: Model management 2.0: manipulating richer mappings. In: Proc. SIGMOD\u201907, pp. 1\u201312. ACM, New York (2007)"},{"key":"9397_CR9","first-page":"149","volume-title":"Proc. PODS\u201908","author":"A. Deutsch","year":"2008","unstructured":"Deutsch, A., Nash, A., Remmel, J.B.: The chase revisited. In: Proc. PODS\u201908, pp. 149\u2013158. ACM, New York (2008)"},{"issue":"1","key":"9397_CR10","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":"9397_CR11","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0743-1066(99)00025-4","volume":"43","author":"O.M. Duschka","year":"2000","unstructured":"Duschka, O.M., Genesereth, M.R., Levy, A.Y.: Recursive query plans for data integration. J. Log. Program. 43(1), 49\u201373 (2000)","journal-title":"J. Log. Program."},{"issue":"4","key":"9397_CR12","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"},{"key":"9397_CR13","doi-asserted-by":"crossref","unstructured":"Fagin, R.: Inverting schema mappings. ACM Trans. Database Syst. 32(4) (2007)","DOI":"10.1145\/1292609.1292615"},{"issue":"1","key":"9397_CR14","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":"9397_CR15","first-page":"33","volume-title":"Proc. PODS\u201908","author":"R. Fagin","year":"2008","unstructured":"Fagin, R., Kolaitis, P.G., Nash, A., Popa, L.: Towards a theory of schema-mapping optimization. In: Proc. PODS\u201908, pp. 33\u201342. ACM, New York (2008)"},{"issue":"1","key":"9397_CR16","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1145\/1061318.1061323","volume":"30","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: getting to the core. ACM Trans. Database Syst. 30(1), 174\u2013210 (2005)","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"9397_CR17","doi-asserted-by":"crossref","first-page":"994","DOI":"10.1145\/1114244.1114249","volume":"30","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Composing schema mappings: Second-order dependencies to the rescue. ACM Trans. Database Syst. 30(4), 994\u20131055 (2005)","journal-title":"ACM Trans. Database Syst."},{"key":"9397_CR18","doi-asserted-by":"crossref","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Quasi-inverses of schema mappings. ACM Trans. Database Syst. 33(2) (2008)","DOI":"10.1145\/1366102.1366108"},{"key":"9397_CR19","first-page":"23","volume-title":"Proc. PODS\u201909","author":"R. Fagin","year":"2009","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Reverse data exchange: coping with nulls. In: Proc. PODS\u201909, pp. 23\u201332. ACM, New York (2009)"},{"issue":"1","key":"9397_CR20","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1016\/S0890-5401(03)00012-9","volume":"183","author":"G. Gottlob","year":"2003","unstructured":"Gottlob, G., Papadimitriou, C.H.: On the complexity of single-rule datalog queries. Inf. Comput. 183(1), 104\u2013122 (2003)","journal-title":"Inf. Comput."},{"issue":"1","key":"9397_CR21","first-page":"1102","volume":"2","author":"G. Gottlob","year":"2009","unstructured":"Gottlob, G., Pichler, R., Savenkov, V.: Normalization and optimization of schema mappings. PVLDB 2(1), 1102\u20131113 (2009)","journal-title":"PVLDB"},{"key":"9397_CR22","first-page":"9","volume-title":"Proc. VLDB\u201906","author":"A.Y. Halevy","year":"2006","unstructured":"Halevy, A.Y., Rajaraman, A., Ordille, J.J.: Data integration: the teenage years. In: Proc. VLDB\u201906, pp. 9\u201316. ACM, New York (2006)"},{"issue":"1","key":"9397_CR23","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0022-0000(84)90081-3","volume":"28","author":"D.S. 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":"9397_CR24","first-page":"61","volume-title":"Proc. PODS\u201905","author":"P.G. Kolaitis","year":"2005","unstructured":"Kolaitis, P.G.: Schema mappings, data exchange, and metadata management. In: Proc. PODS\u201905, pp. 61\u201375. ACM, New York (2005)"},{"key":"9397_CR25","first-page":"233","volume-title":"Proc. PODS\u201902","author":"M. Lenzerini","year":"2002","unstructured":"Lenzerini, M.: Data integration: a theoretical perspective. In: Proc. PODS\u201902, pp. 233\u2013246. ACM, New York (2002)"},{"key":"9397_CR26","first-page":"572","volume-title":"Proc. VLDB\u201903","author":"J. Madhavan","year":"2003","unstructured":"Madhavan, J., Halevy, A.Y.: Composing mappings among data sources. In: Proc. VLDB\u201903, pp. 572\u2013583 (2003)"},{"key":"9397_CR27","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/1559795.1559799","volume-title":"PODS","author":"B. Marnette","year":"2009","unstructured":"Marnette, B.: Generalized schema-mappings: from termination to tractability. In: PODS, pp. 13\u201322 (2009)"},{"issue":"1","key":"9397_CR28","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"},{"key":"9397_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b97859","volume-title":"Generic Model Management: Concepts and Algorithms","author":"S. Melnik","year":"2004","unstructured":"Melnik, S.: Generic Model Management: Concepts and Algorithms. Lecture Notes in Computer Science, vol. 2967. Springer, Berlin (2004)"},{"issue":"1","key":"9397_CR30","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/1206049.1206053","volume":"32","author":"A. Nash","year":"2007","unstructured":"Nash, A., Bernstein, P.A., Melnik, S.: Composition of mappings given by embedded dependencies. ACM Trans. Database Syst. 32(1), 4 (2007)","journal-title":"ACM Trans. Database Syst."},{"issue":"3","key":"9397_CR31","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(93)90040-N","volume":"15","author":"O. Shmueli","year":"1993","unstructured":"Shmueli, O.: Equivalence of datalog queries is undecidable. J. Log. Program. 15(3), 231\u2013241 (1993)","journal-title":"J. Log. Program."},{"issue":"7-9","key":"9397_CR32","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-9), 935\u2013957 2010","journal-title":"Theor. Comput. Sci."},{"key":"9397_CR33","unstructured":"Feinerer, I., Pichler, R., Sallinger, E., Savenkov, V.: On the undecidability of the equivalence of second-order tuple generating dependencies. In: AMW (2011). http:\/\/ceur-ws.org\/Vol-749\/paper5.pdf"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-012-9397-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-012-9397-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-012-9397-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T07:54:23Z","timestamp":1558684463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-012-9397-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,4]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,4]]}},"alternative-id":["9397"],"URL":"https:\/\/doi.org\/10.1007\/s00224-012-9397-0","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,4]]}}}