{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T12:44:30Z","timestamp":1791117870404,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":62,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642165177","type":"print"},{"value":"9783642165184","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-16518-4_5","type":"book-chapter","created":{"date-parts":[[2011,2,11]],"date-time":"2011-02-11T11:12:01Z","timestamp":1297422721000},"page":"111-147","source":"Crossref","is-referenced-by-count":11,"title":["Discovery and Correctness of Schema Mapping Transformations"],"prefix":"10.1007","author":[{"given":"Angela","family":"Bonifati","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giansalvatore","family":"Mecca","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paolo","family":"Papotti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yannis","family":"Velegrakis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,12,16]]},"reference":[{"key":"5_CR1_5","first-page":"254","volume-title":"Complexity of answering queries using materialized views","author":"S Abiteboul","year":"1998","unstructured":"Abiteboul S, Duschka OM (1998) Complexity of answering queries using materialized views. In: PODS. ACM, NY, pp 254\u2013263"},{"key":"5_CR2_5","first-page":"351","volume-title":"Correspondence and translation for heterogeneous data","author":"S Abiteboul","year":"1997","unstructured":"Abiteboul S, Cluet S, Milo T (1997) Correspondence and translation for heterogeneous data. In: ICDT, Delphi, Greece. Springer, London, pp 351\u2013363"},{"key":"5_CR3_5","first-page":"202","volume-title":"Schema translation using structural transformation","author":"R Abu-Hamdeh","year":"1994","unstructured":"Abu-Hamdeh R, Cordy J, Martin T (1994) Schema translation using structural transformation. In: CASCON. IBM Press, pp 202\u2013215"},{"key":"5_CR4_5","first-page":"33","volume-title":"XML schema mappings","author":"S Amano","year":"2009","unstructured":"Amano S, Libkin L, Murlak F (2009) XML schema mappings. In: PODS. ACM, NY, pp 33\u201342"},{"key":"5_CR5_5","volume-title":"In: Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, April 15\u201320, 2007","author":"Y An","year":"2007","unstructured":"An Y, Borgida A, Miller R, Mylopoulos J (2007) In: Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, April 15\u201320, 2007, The Marmara Hotel, Istanbul, Turkey"},{"issue":"2","key":"5_CR6_5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1346330.1346332","volume":"55","author":"M Arenas","year":"2008","unstructured":"Arenas M, Libkin L (2008) XML data exchange: Consistency and query answering. J ACM 55(2):1\u201372","journal-title":"J ACM"},{"key":"5_CR7_5","first-page":"345","volume-title":"Schema translation between heterogeneous data models in a lattice framework","author":"P Atzeni","year":"1995","unstructured":"Atzeni P, Torlone R (1995) Schema translation between heterogeneous data models in a lattice framework. In: Data semantics conference. Chapman & Hall, London, pp 345\u2013364"},{"key":"5_CR8_5","first-page":"528","volume-title":"MDM: A multiple-data model tool for the management of heterogeneous database schemes","author":"P Atzeni","year":"1997","unstructured":"Atzeni P, Torlone R (1997) MDM: A multiple-data model tool for the management of heterogeneous database schemes. In: SIGMOD. ACM, NY, pp 528\u2013531"},{"key":"5_CR9_5","first-page":"296","volume-title":"Schemas for intergration and translation of structured and semi-structured data","author":"C Beeri","year":"1999","unstructured":"Beeri C, Milo T (1999) Schemas for intergration and translation of structured and semi-structured data. In: ICDT. Springer, London, pp 296\u2013313"},{"issue":"4","key":"5_CR10_5","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1145\/1634.1636","volume":"31","author":"C Beeri","year":"1984","unstructured":"Beeri C, Vardi M (1984) A proof procedure for data dependencies. J ACM 31(4):718\u2013741","journal-title":"J ACM"},{"key":"5_CR11_5","first-page":"1267","volume-title":"HePToX: Marrying XML and heterogeneity in your P2P databases","author":"A Bonifati","year":"2005","unstructured":"Bonifati A, Chang EQ, Ho T, Lakshmanan L, Pottinger R (2005) HePToX: Marrying XML and heterogeneity in your P2P databases. In: VLDB. VLDB Endowment, pp 1267\u20131270"},{"key":"5_CR12_5","first-page":"85","volume-title":"Schema mapping verification: The spicy way","author":"A Bonifati","year":"2008","unstructured":"Bonifati A, Mecca G, Pappalardo A, Raunich S, Summa G (2008) Schema mapping verification: The spicy way. In: EDBT. ACM, NY, pp 85\u201396"},{"issue":"2","key":"5_CR13_5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s00778-009-0159-9","volume":"19","author":"A Bonifati","year":"2010","unstructured":"Bonifati A, Chang EQ, Ho T, Lakshmanan L, Pottinger R, Chung Y (2010) Schema mapping and query translation in heterogeneous P2P XML databases. VLDB J 19(2):231\u2013256","journal-title":"VLDB J"},{"key":"5_CR14_5","first-page":"263","volume-title":"On keys, foreign keys and nullable attributes in relational mapping systems","author":"L Cabibbo","year":"2009","unstructured":"Cabibbo L (2009) On keys, foreign keys and nullable attributes in relational mapping systems. In: EDBT. ACM, NY, pp 263\u2013274"},{"key":"5_CR15_5","first-page":"14","volume-title":"Datalog \u00b1 : A unified approach to ontologies and integrity constraints","author":"A Cal\u00ec","year":"2009","unstructured":"Cal\u00ec A, Gottlob G, Lukasiewicz T (2009a) Datalog\u2009\u00b1\u2009: A unified approach to ontologies and integrity constraints. In: ICDT. ACM, NY, pp 14\u201330"},{"key":"5_CR16_5","first-page":"77","volume-title":"A general datalog-based framework for tractable query answering over ontologies","author":"A Cal\u00ec","year":"2009","unstructured":"Cal\u00ec A, Gottlob G, Lukasiewicz T (2009b) A general datalog-based framework for tractable query answering over ontologies. In: PODS. ACM, NY, pp 77\u201386"},{"key":"5_CR17_5","first-page":"241","volume-title":"Logical foundations of peer-to-peer data integration","author":"D Calvanese","year":"2004","unstructured":"Calvanese D, De\u00a0Giacomo G, Lenzerini M, Rosati R (2004) Logical foundations of peer-to-peer data integration. In: ACM PODS. ACM, NY, pp 241\u2013251"},{"key":"5_CR18_5","first-page":"77","volume-title":"Optimal implementation of conjunctive queries in relational data bases","author":"AK Chandra","year":"1977","unstructured":"Chandra AK, Merlin PM (1977) Optimal implementation of conjunctive queries in relational data bases. In: STOC. ACM, NY, pp 77\u201390"},{"key":"5_CR19_5","unstructured":"Chiticariu L (2005) Computing the core in data exchange: Algorithmic issues. MS Project Report, unpublished manuscript"},{"key":"5_CR20_5","first-page":"177","volume-title":"Your mediators need data conversion! In: SIGMOD","author":"S Cluet","year":"1998","unstructured":"Cluet S, Delobel C, Sim\u00e9on J, Smaga K (1998) Your mediators need data conversion! In: SIGMOD. ACM, NY, pp 177\u2013188"},{"key":"5_CR21_5","unstructured":"Davidson S, Kosky A (1997) IEEE Computer Society. In: Proceedings of the Thirteenth International Conference on Data Engineering, April 7\u201311, 1997 Birmingham UK"},{"key":"5_CR22_5","first-page":"459","volume-title":"Physical data independence, constraints, and optimization with universal plans","author":"A Deutsch","year":"1999","unstructured":"Deutsch A, Popa L, Tannen V (1999) Physical data independence, constraints, and optimization with universal plans. In: VLDB. Morgan Kaufmann, CA, pp 459\u2013470"},{"key":"5_CR23_5","doi-asserted-by":"crossref","unstructured":"Fagin R (2007) Inverting schema mappings. ACM TODS 32(4)","DOI":"10.1145\/1292609.1292615"},{"issue":"1","key":"5_CR24_5","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, Miller R, Popa L (2005a) Data exchange: Semantics and query answering. TCS 336(1):89\u2013124","journal-title":"TCS"},{"issue":"1","key":"5_CR25_5","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/1061318.1061323","volume":"30","author":"R Fagin","year":"2005","unstructured":"Fagin R, Kolaitis P, Popa L (2005b) Data exchange: Getting to the core. ACM TODS 30(1):174\u2013210","journal-title":"ACM TODS"},{"key":"5_CR26_5","first-page":"33","volume-title":"Towards a theory of schema-mapping optimization","author":"R Fagin","year":"2008","unstructured":"Fagin R, Kolaitis P, Nash A, Popa L (2008) Towards a theory of schema-mapping optimization. In: ACM PODS. ACM, NY, pp 33\u201342"},{"key":"5_CR27_5","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-02463-4_12","volume-title":"Conceptual modeling: Foundations and applications","author":"R Fagin","year":"2009","unstructured":"Fagin R, Haas LM, Hernandez M, Miller RJ, Popa L, Velegrakis Y (2009) Clio: Schema mapping creation and data exchange. In: Borgida A, Chaudhri V, Giorgini P, Yu E (eds) Conceptual modeling: Foundations and applications. Springer, Heidelberg, pp 198\u2013236"},{"key":"5_CR28_5","first-page":"67","volume-title":"Nested mappings: Schema mapping reloaded","author":"A Fuxman","year":"2006","unstructured":"Fuxman A, Hern\u00e1ndez MA, Howard CT, Miller RJ, Papotti P, Popa L (2006) Nested mappings: Schema mapping reloaded. In: VLDB. VLDB Endowment, pp 67\u201378"},{"issue":"2","key":"5_CR29_5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1346330.1346334","volume":"55","author":"G Gottlob","year":"2008","unstructured":"Gottlob G, Nash A (2008) Efficient core computation in data exchange. J ACM 55(2):1\u201349","journal-title":"J ACM"},{"issue":"1","key":"5_CR30_5","first-page":"1102","volume":"2","author":"G Gottlob","year":"2009","unstructured":"Gottlob G, Pichler R, Savenkov V (2009) Normalization and optimization of schema mappings. PVLDB 2(1):1102\u20131113","journal-title":"PVLDB"},{"key":"5_CR31_5","volume-title":"Lecture Notes in Computer Science","author":"LM Haas","year":"2007","unstructured":"Haas LM (2007) Lecture Notes in Computer Science, vol.\u00a04353. In: ICDT, Springer."},{"issue":"1","key":"5_CR32_5","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1145\/1629175.1629200","volume":"53","author":"AY Halevy","year":"2010","unstructured":"Halevy AY (2010) Technical perspective \u2013 schema mappings: Rules for mixing data. Commun CACM 53(1):100","journal-title":"Commun CACM"},{"issue":"1\u20133","key":"5_CR33_5","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0012-365X(92)90282-K","volume":"109","author":"P Hell","year":"1992","unstructured":"Hell P, Ne\u0161et\u0159il J (1992) The core of a graph. Discrete Math 109(1\u20133):117\u2013126","journal-title":"Discrete Math"},{"issue":"1","key":"5_CR34_5","first-page":"260","volume":"1","author":"MA Hern\u00e1ndez","year":"2008","unstructured":"Hern\u00e1ndez MA, Papotti P, Tan WC (2008) Data exchange with data-metadata translations. PVLDB 1(1):260\u2013273","journal-title":"PVLDB"},{"key":"5_CR35_5","first-page":"455","volume-title":"ILOG: Declarative creation and manipulation of object identifiers","author":"R Hull","year":"1990","unstructured":"Hull R, Yoshikawa M (1990) ILOG: Declarative creation and manipulation of object identifiers. In: VLDB. Morgan Kaufmann, CA, pp 455\u2013468"},{"issue":"2","key":"5_CR36_5","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.websem.2003.11.003","volume":"1","author":"ZG Ives","year":"2004","unstructured":"Ives ZG, Halevy AY, Mork P, Tatarinov I (2004) Piazza: Mediation and integration infrastructure for semantic web data. J Web Sem 1(2):155\u2013175","journal-title":"J Web Sem"},{"issue":"3","key":"5_CR37_5","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1462571.1462577","volume":"37","author":"ZG Ives","year":"2008","unstructured":"Ives ZG, Green TJ, Karvounarakis G, Taylor NE, Tannen V, Talukdar PP, Jacob M, Pereira F(2008) The orchestra collaborative data sharing system. SIGMOD Rec 37(3):26\u201332","journal-title":"SIGMOD Rec"},{"key":"5_CR38_5","first-page":"1063","volume-title":"Mapping-driven XML transformation","author":"H Jiang","year":"2007","unstructured":"Jiang H, Ho H, Popa L, Han W (2007) Mapping-driven XML transformation. In: WWW conference. ACM, NY, pp 1063\u20131072"},{"key":"5_CR39_5","first-page":"1995","volume":"22\u201325","author":"AY Levy","year":"1995","unstructured":"Levy AY, Mendelzon A, Sagiv Y, Srivastava D (1995) Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems. ACM Press, San Jose, California, May 22\u201325, 1995","journal-title":"ACM Press, San Jose, California, May"},{"issue":"4","key":"5_CR40_5","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D Maier","year":"1979","unstructured":"Maier D, Mendelzon AO, Sagiv Y (1979) Testing implications of data dependencies. ACM TODS 4(4):455\u2013469","journal-title":"ACM TODS"},{"issue":"2","key":"5_CR41_5","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/329.318580","volume":"9","author":"D Maier","year":"1984","unstructured":"Maier D, Ullman JD, Vardi MY (1984) On the foundations of the universal relation model. ACM TODS 9(2):283\u2013308","journal-title":"ACM TODS"},{"key":"5_CR42_5","first-page":"13","volume-title":"Generalized schema mappings: From termination to tractability","author":"B Marnette","year":"2009","unstructured":"Marnette B (2009) Generalized schema mappings: From termination to tractability. In: ACM PODS. ACM, NY, pp 13\u201322"},{"issue":"1","key":"5_CR43_5","first-page":"106","volume":"3","author":"B Marnette","year":"2010","unstructured":"Marnette B, Mecca G, Papotti P (2010) Scalable data exchange with functional dependencies. PVLDB 3(1):106\u2013116","journal-title":"PVLDB"},{"key":"5_CR44_5","first-page":"655","volume-title":"Core schema mappings","author":"G Mecca","year":"2009","unstructured":"Mecca G, Papotti P, Raunich S (2009a) Core schema mappings. In: SIGMOD. ACM, NY, pp\u00a0655\u2013668"},{"issue":"2","key":"5_CR45_5","first-page":"1582","volume":"2","author":"G Mecca","year":"2009","unstructured":"Mecca G, Papotti P, Raunich S, Buoncristiano M (2009b) Concise and expressive mappings with\u2009+\u2009Spicy. PVLDB 2(2):1582\u20131585","journal-title":"PVLDB"},{"key":"5_CR46_5","first-page":"167","volume-title":"Supporting executable mappings in model management","author":"S Melnik","year":"2005","unstructured":"Melnik S, Bernstein P, Halevy A, Rahm E (2005) Supporting executable mappings in model management. In: SIGMOD. ACM, NY, pp 167\u2013178"},{"key":"5_CR47_5","first-page":"77","volume-title":"Schema mapping as query discovery","author":"RJ Miller","year":"2000","unstructured":"Miller RJ, Haas LM, Hernandez MA (2000) Schema mapping as query discovery. In: VLDB. Morgan Kaufmann, CA, pp 77\u201399"},{"key":"5_CR48_5","first-page":"122","volume-title":"Using schema matching to simplify heterogeneous data translation","author":"T Milo","year":"1998","unstructured":"Milo T, Zohar S (1998) Using schema matching to simplify heterogeneous data translation. In: VLDB. Morgan Kaufmann, CA, pp 122\u2013133"},{"key":"5_CR49_5","unstructured":"OWL-Full (2004) OWL web ontology language reference. http:\/\/www.w3.org\/TR\/owl-ref\/ http:\/\/www.#OWLFull"},{"key":"5_CR50_5","unstructured":"Popa L (2000) Object\/relational query optimization with chase and backchase. PhD thesis, University of Pennsylvania"},{"key":"5_CR51_5","first-page":"39","volume-title":"An equational chase for path-conjunctive queries, constraints, and views","author":"L Popa","year":"1999","unstructured":"Popa L, Tannen V (1999) An equational chase for path-conjunctive queries, constraints, and views. In: ICDT. Springer, London, pp 39\u201357"},{"key":"5_CR52_5","first-page":"598","volume-title":"Translating web data","author":"L Popa","year":"2002","unstructured":"Popa L, Velegrakis Y, Miller RJ, Hernandez MA, Fagin R (2002) Translating web data. In: VLDB. VLDB Endowment, pp 598\u2013609"},{"issue":"2\u20133","key":"5_CR53_5","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/s007780100048","volume":"10","author":"R Pottinger","year":"2001","unstructured":"Pottinger R, Halevy A (2001) Minicon: A scalable algorithm for answering queries using views. VLDB J 10(2\u20133):182\u2013198","journal-title":"VLDB J"},{"key":"5_CR54_5","first-page":"30","volume-title":"Clip: A visual language for explicit schema mappings","author":"A Raffio","year":"2008","unstructured":"Raffio A, Braga D, Ceri S, Papotti P, Hern\u00e1ndez MA (2008) Clip: A visual language for explicit schema mappings. In: ICDE. IEEE Computer Society, Washington, DC, pp 30\u201339"},{"key":"5_CR55_5","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/s007780100057","volume":"10","author":"E Rahm","year":"2001","unstructured":"Rahm E, Bernstein PA (2001) A survey of approaches to automatic schema matching. VLDB J 10:334\u2013350","journal-title":"VLDB J"},{"key":"5_CR56_5","first-page":"62","volume-title":"Towards practical feasibility of core computation in data exchange","author":"V Savenkov","year":"2008","unstructured":"Savenkov V, Pichler R (2008) Towards practical feasibility of core computation in data exchange. In: LPAR. Springer, Heidelberg, pp 62\u201378"},{"issue":"2","key":"5_CR57_5","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/320544.320549","volume":"2","author":"NC Shu","year":"1977","unstructured":"Shu NC, Housel BC, Taylor RW, Ghosh SP, Lum VY (1977) EXPRESS: A data extraction, processing and restructuring system. ACM TODS 2(2):134\u2013174","journal-title":"ACM TODS"},{"key":"5_CR58_5","first-page":"63","volume-title":"Structural characterizations of schema-mapping languages","author":"B Cate ten","year":"2009","unstructured":"ten Cate B, Kolaitis PG (2009) Structural characterizations of schema-mapping languages. In: ICDT. ACM, NY, pp 63\u201372"},{"issue":"1","key":"5_CR59_5","first-page":"1006","volume":"2","author":"B Cate ten","year":"2009","unstructured":"ten Cate B, Chiticariu L, Kolaitis P, Tan WC (2009) Laconic schema mappings: Computing core universal solutions by means of SQL queries. PVLDB 2(1):1006\u20131017","journal-title":"PVLDB"},{"key":"5_CR60_5","first-page":"266","volume-title":"Don\u2019t scrap it, wrap it! A wrapper architecture for legacy data sources","author":"M Tork-Roth","year":"1997","unstructured":"Tork-Roth M, Schwarz PM (1997) Don\u2019t scrap it, wrap it! A wrapper architecture for legacy data sources. In: VLDB. Morgan Kaufmann, CA, pp 266\u2013275"},{"key":"5_CR61_5","unstructured":"Velegrakis Y (2005) Managing schema mappings in highly heterogeneous environments. PhD thesis, University of Toronto"},{"key":"5_CR62_5","first-page":"371","volume-title":"Constraint-based XML query rewriting for data integration","author":"C Yu","year":"2004","unstructured":"Yu C, Popa L (2004) Constraint-based XML query rewriting for data integration. In: SIGMOD conference. ACM, NY, pp 371\u2013382"}],"container-title":["Schema Matching and Mapping"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16518-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T13:48:02Z","timestamp":1592315282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16518-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,16]]},"ISBN":["9783642165177","9783642165184"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16518-4_5","relation":{},"subject":[],"published":{"date-parts":[[2010,12,16]]}}}