{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T23:02:54Z","timestamp":1791241374973,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540003236","type":"print"},{"value":"9783540362852","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36285-1_14","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T11:21:32Z","timestamp":1192879292000},"page":"207-224","source":"Crossref","is-referenced-by-count":119,"title":["Data Exchange: Semantics and Query Answering"],"prefix":"10.1007","author":[{"given":"Ronald","family":"Fagin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Phokion G.","family":"Kolaitis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ren\u00e9e J.","family":"Miller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lucian","family":"Popa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, S. Cluet, and T. Milo. Correspondence and Translation for Heterogeneous Data. In ICDT, pages 351\u2013363, 1997.","DOI":"10.1007\/3-540-62222-5_56"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and O. M. Duschka. Complexity of Answering Queries Using Materialized Views. In PODS, pages 254\u2013263, 1998.","DOI":"10.1145\/275487.275516"},{"key":"14_CR3","unstructured":"S. Abiteboul and O. M. Duschka. Complexity of Answering Queries Using Materialized Views. Unpublished full version of [2], 2000."},{"issue":"4","key":"14_CR4","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1145\/1634.1636","volume":"31","author":"C. Beeri","year":"1984","unstructured":"C. Beeri and M.Y. Vardi. A Proof Procedure for Data Dependencies. JACM, 31(4):718\u2013741, 1984.","journal-title":"JACM"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"A. Cal\u00ec, D. Calvanese, G. D. Giacomo, and M. Lenzerini. Data Integration under Integrity Constraints. In CAiSE, pages 262\u2013279, 2002.","DOI":"10.1007\/3-540-47961-9_20"},{"issue":"1","key":"14_CR6","first-page":"29","volume":"28","author":"M. A. Casanova","year":"1984","unstructured":"M. A. Casanova, R. Fagin, and C. H. Papadimitriou. Inclusion Dependencies and their Interaction with Functional Dependencies. JCSS, 28(1):29\u201359, 1984.","journal-title":"JCSS"},{"key":"14_CR7","first-page":"163","volume":"3","author":"S. S. Cosmadakis","year":"1986","unstructured":"S. S. Cosmadakis and P. C. Kanellakis. Functional and Inclusion Dependencies: A Graph Theoretic Approach. In Advances in Computing Research, volume 3, pages 163\u2013184. 1986.","journal-title":"Advances in Computing Research"},{"issue":"4","key":"14_CR8","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1145\/322344.322347","volume":"29","author":"R. Fagin","year":"1982","unstructured":"R. Fagin. Horn Clauses and Database Dependencies. JACM, 29(4):952\u2013985, Oct. 1982.","journal-title":"JACM"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data Exchange: Semantics and Query Answering. IBM Research Report, Nov. 2002.","DOI":"10.1007\/3-540-36285-1_14"},{"key":"14_CR10","unstructured":"M. Friedman, A. Y. Levy, and T. D. Millstein. Navigational Plans For Data Integration. In AAAI, pages 67\u201373, 1999."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"A. Halevy. Answering Queries UsingViews:A Survey. VLDB Journal, pages 270\u2013294, 2001.","DOI":"10.1007\/s007780100054"},{"key":"14_CR12","unstructured":"R. Hull and M. Yoshikawa. ILOG: Declarative Creation and Manipulation of Object Identifiers. In VLDB, pages 455\u2013468, 1990."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"M. Lenzerini. Data Integration: A Theoretical Perspective. In PODS, pages 233\u2013246, 2002.","DOI":"10.1145\/543613.543644"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"A.Y. Levy, A. O. Mendelzon, Y. Sagiv, and D. Srivastava. Answering Queries Using Views. In PODS, pages 95\u2013104, May 1995.","DOI":"10.1145\/212433.220198"},{"issue":"4","key":"14_CR15","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D. Maier","year":"1979","unstructured":"D. Maier, A. O. Mendelzon, and Y. Sagiv. Testing Implications of Data Dependencies. ACM TODS, 4(4):455\u2013469, Dec. 1979.","journal-title":"ACM TODS"},{"issue":"2","key":"14_CR16","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/329.318580","volume":"9","author":"D. Maier","year":"1984","unstructured":"D. Maier, J. D. Ullman, and M.Y. Vardi. On the Foundations of the Universal Relation Model. ACM TODS, 9(2):283\u2013308, June 1984.","journal-title":"ACM TODS"},{"issue":"2\/3","key":"14_CR17","first-page":"266","volume":"34","author":"J. A. Makowsky","year":"1987","unstructured":"J. A. Makowsky. Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples. JCSS, 34(2\/3):266\u2013292, April\/June 1987.","journal-title":"JCSS"},{"key":"14_CR18","unstructured":"R. J. Miller, L.M. Haas, and M. Hern\u00e1ndez. Schema Mapping as Query Discovery. In VLDB, pages 77\u201388, 2000."},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"L. Popa, Y. Velegrakis, R. J. Miller, M. A. Hernandez, and R. Fagin. Translating Web Data. In VLDB, pages 598\u2013609, 2002.","DOI":"10.1016\/B978-155860869-6\/50059-7"},{"issue":"10","key":"14_CR20","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1145\/361020.361023","volume":"18","author":"N. C. Shu","year":"1975","unstructured":"N. C. Shu, B. C. Housel, and V. Y. Lum. CONVERT: A High Level Translation Definition Language for Data Conversion. Communications of the ACM, 18(10):557\u2013567, 1975.","journal-title":"Communications of the ACM"},{"issue":"2","key":"14_CR21","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/320544.320549","volume":"2","author":"N. C. Shu","year":"1977","unstructured":"N. C. Shu, B. C. Housel, R. W. Taylor, S. P. Ghosh, and V. Y. Lum. EXPRESS: A Data EXtraction, Processing, amd REStructuring System. TODS, 2(2):134\u2013174, 1977.","journal-title":"TODS"},{"key":"14_CR22","first-page":"113","volume":"54","author":"R. Meyden van der","year":"1997","unstructured":"R. van der Meyden. The Complexity of Querying Indefinite Data about Linearly Ordered Domains. JCSS, 54:113\u2013135, 1997.","journal-title":"JCSS"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"R. van der Meyden. Logical Approaches to Incomplete Information:A Survey. In Logics for Databases and Information Systems, pages 307\u2013356. Kluwer, 1998.","DOI":"10.1007\/978-1-4615-5643-5_10"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36285-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:05:19Z","timestamp":1556906719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36285-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12,16]]},"ISBN":["9783540003236","9783540362852"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-36285-1_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002,12,16]]}}}