{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T12:06:58Z","timestamp":1747397218401,"version":"3.37.3"},"reference-count":45,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,2,1]],"date-time":"2003-02-01T00:00:00Z","timestamp":1044057600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3855,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["IIS-9978567"],"award-info":[{"award-number":["IIS-9978567"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[2003,2]]},"DOI":"10.1016\/s0022-0000(02)00028-4","type":"journal-article","created":{"date-parts":[[2003,4,5]],"date-time":"2003-04-05T01:27:43Z","timestamp":1049506063000},"page":"20-39","source":"Crossref","is-referenced-by-count":19,"title":["Query containment for data integration systems"],"prefix":"10.1016","volume":"66","author":[{"given":"Todd","family":"Millstein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alon","family":"Halevy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Friedman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0022-0000(02)00028-4_BIB1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, O. Duschka, Complexity of answering queries using materialized views, in: Proceedings of PODS, Seattle, WA, 1998, pp. 254\u2013263.","DOI":"10.1145\/275487.275516"},{"year":"1995","series-title":"Foundations of Databases","author":"Abiteboul","key":"10.1016\/S0022-0000(02)00028-4_BIB2"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB3","doi-asserted-by":"crossref","unstructured":"S. Adali, K. Candan, Y. Papakonstantinou, V. Subrahmanian, Query caching and optimization in distributed mediator systems, in: Proceedings of SIGMOD, Montreal, Canada, 1996, pp. 137\u2013148.","DOI":"10.1145\/235968.233327"},{"issue":"8","key":"10.1016\/S0022-0000(02)00028-4_BIB4","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1137\/0208017","article-title":"Equivalence of relational expressions","volume":"2","author":"Aho","year":"1979","journal-title":"SIAM J. Comput."},{"key":"10.1016\/S0022-0000(02)00028-4_BIB5","doi-asserted-by":"crossref","unstructured":"J.L. Ambite, N. Ashish, G. Barish, C.A. Knoblock, S. Minton, P.J. Modi, I. Muslea, A. Philpot, S. Tejada, ARIADNE: A system for constructing mediators for internet sources (system demonstration), in: Proceedings of SIGMOD, Seattle, WA, 1998.","DOI":"10.1145\/276304.276381"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB6","doi-asserted-by":"crossref","unstructured":"C. Beeri, G. Elber, T. Milo, Y. Sagiv, O.Shmueli, N. Tishby, Y. Kogan, D. Konopnicki, P. Mogilevski, N. Slonim, Websuite\u2014a tool suite for harnessing web data, in: Proceedings of the International Workshop on the Web and Databases, Valencia, Spain, 1998.","DOI":"10.1007\/10704656_10"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB7","doi-asserted-by":"crossref","unstructured":"C. Beeri, A.Y. Levy, M.-C. Rousset, Rewriting queries using views in description logics, in: Proceedings of PODS, Tucson, AZ, 1997, pp. 99\u2013108.","DOI":"10.1145\/263661.263673"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB8","unstructured":"D. Calvanese, G.D. Giacomo, M. Lenzerini, Answering queries using views in description logics, in: Working Notes of the KRDB Workshop, Link\u00f6ping, Sweden, 1999."},{"issue":"4","key":"10.1016\/S0022-0000(02)00028-4_BIB9","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1142\/S0218215793000174","article-title":"Representing and using interschema knowledge in cooperative information systems","volume":"2","author":"Catarci","year":"1993","journal-title":"J. Intell. Cooperative Inform. Systems"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB10","doi-asserted-by":"crossref","unstructured":"A. Chandra, P. Merlin, Optimal implementation of conjunctive queries in relational databases, in: Proceedings of the Ninth Annual ACM Symposium on Theory of Computing, Boulder, Colorado, 1977, pp. 77\u201390.","DOI":"10.1145\/800105.803397"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB11","unstructured":"S. Chaudhuri, R. Krishnamurthy, S. Potamianos, K. Shim, Optimizing queries with materialized views, in: Proceedings of ICDE, Taipei, Taiwan, 1995, pp. 190\u2013200."},{"key":"10.1016\/S0022-0000(02)00028-4_BIB12","doi-asserted-by":"crossref","unstructured":"S. Chaudhuri, M. Vardi, On the equivalence of recursive and nonrecursive datalog programs, in: Proceedings of PODS, San Diego, CA, 1992, pp. 55\u201366.","DOI":"10.1145\/137097.137109"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB13","doi-asserted-by":"crossref","unstructured":"C. Chen, N. Roussopoulos, Implementation and performance evaluation of the ADMS query optimizer, in: Proceedings of EDBT, Cambridge, UK, March 1994, pp. 323\u2013336.","DOI":"10.1007\/3-540-57818-8_61"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB14","doi-asserted-by":"crossref","unstructured":"W. Cohen, Integration of heterogeneous databases without common domains using queries based on textual similarity, in: Proceedings of SIGMOD, Seattle, WA, 1998.","DOI":"10.1145\/276304.276323"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB15","unstructured":"S. Dar, M.J. Franklin, B. Jonsson, D. Srivastava, M. Tan, Semantic data caching and replacement, in: Proceedings of VLDB, Bombay, India, 1996, pp. 330\u2013341."},{"key":"10.1016\/S0022-0000(02)00028-4_BIB16","doi-asserted-by":"crossref","unstructured":"D. Draper, A.Y. Halevy, D.S. Weld, The nimble xml data integration system, in: Proceedings of ICDE, Heidelberg, Germany, 2001, pp. 155\u2013160.","DOI":"10.1109\/ICDE.2001.914824"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB17","doi-asserted-by":"crossref","unstructured":"O. Duschka, M. Genesereth, A. Levy, Recursive query plans for data integration, J. Logic Programming (Special Issue on Logic Based Heterogeneous Information Systems) 43(1) (2000) 49\u201373.","DOI":"10.1016\/S0743-1066(99)00025-4"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB18","doi-asserted-by":"crossref","unstructured":"O.M. Duschka, M.R. Genesereth, Answering recursive queries using views, in: Proceedings of PODS, Tucson, AZ, 1997, pp. 109\u2013116.","DOI":"10.1145\/263661.263674"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB19","doi-asserted-by":"crossref","unstructured":"O.M. Duschka, M.R. Genesereth, Query planning in infomaster. in: Proceedings of the ACM Symposium on Applied Computing, San Jose, CA, 1997, pp. 109\u2013111.","DOI":"10.1145\/331697.331719"},{"issue":"4","key":"10.1016\/S0022-0000(02)00028-4_BIB20","first-page":"431","article-title":"A methodology for query reformulation in cis using semantic knowledge","volume":"5","author":"Florescu","year":"1996","journal-title":"Internat. J. Intell. Cooperative Inform. Systems (Special issue on Formal Methods in Cooperative Information Systems)"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB21","unstructured":"M. Friedman, A. Levy, T. Millstein, Navigational plans for data integration, in: Proceedings of the National Conference on Artificial Intelligence, 1999."},{"key":"10.1016\/S0022-0000(02)00028-4_BIB22","unstructured":"M. Friedman, D. Weld, Efficient execution of information gathering plans. in: Proceedings of the International Joint Conference on Artificial Intelligence, Nagoya, Japan, 1997, pp. 785\u2013791."},{"key":"10.1016\/S0022-0000(02)00028-4_BIB23","unstructured":"M.T. Friedman, Optimization Issues in Data Integration, Ph.D. Thesis, University of Washington, 1999."},{"issue":"2","key":"10.1016\/S0022-0000(02)00028-4_BIB24","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1023\/A:1008683107812","article-title":"The TSIMMIS project","volume":"8","author":"Garcia-Molina","year":"1997","journal-title":"J. Intell. Inform. Systems"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB25","doi-asserted-by":"crossref","unstructured":"G. Grahne, A.O. Mendelzon, Tableau techniques for querying information sources through global schemas, in: Proceedings of ICDT, Jerusalem, Israel, 1999, pp. 332\u2013347.","DOI":"10.1007\/3-540-49257-7_21"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB26","doi-asserted-by":"crossref","unstructured":"A. Gupta, Y. Sagiv, J.D. Ullman, J. Widom, Constraint checking with partial information, in: Proceedings of PODS, Minneapolis, MN, 1994, 45\u201355.","DOI":"10.1145\/182591.182597"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB27","unstructured":"L. Haas, D. Kossmann, E. Wimmers, J. Yang, Optimizing queries across diverse data sources, in: Proceedings of VLDB, Athens, Greece, 1997."},{"key":"10.1016\/S0022-0000(02)00028-4_BIB28","doi-asserted-by":"crossref","unstructured":"Z. Ives, D. Florescu, M. Friedman, A. Levy, D. Weld, An adaptive query execution engine for data integration, in: Proceedings of SIGMOD, 1999, pp. 299\u2013310.","DOI":"10.1145\/304181.304209"},{"issue":"1","key":"10.1016\/S0022-0000(02)00028-4_BIB29","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s007780050014","article-title":"A predicate-based caching scheme for client-server database architectures","volume":"5","author":"Keller","year":"1996","journal-title":"VLDB J."},{"issue":"1","key":"10.1016\/S0022-0000(02)00028-4_BIB30","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/42267.42273","article-title":"On conjunctive queries containing inequalities","volume":"35","author":"Klug","year":"1988","journal-title":"J. ACM"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB31","unstructured":"C.T. Kwok, D.S. Weld, Planning to gather information, in: Proceedings of the AAAI Thirteenth National Conference on Artificial Intelligence, Portland, Oregon, 1996, pp. 32\u201339."},{"key":"10.1016\/S0022-0000(02)00028-4_BIB32","unstructured":"E. Lambrecht, S. Kambhampati, S. Gnanaprakasam, Optimizing recursive information gathering plans, in: Proceedings of the 16th International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 1999, pp. 1204\u20131211."},{"key":"10.1016\/S0022-0000(02)00028-4_BIB33","unstructured":"A.Y. Levy, A.O. Mendelzon, Y. Sagiv, D. Srivastava, Answering queries using views, in: Proceedings of PODS, San Jose, CA, 1995, pp. 95\u2013104."},{"key":"10.1016\/S0022-0000(02)00028-4_BIB34","unstructured":"A.Y. Levy, A. Rajaraman, J.J. Ordille, Querying heterogeneous information sources using source descriptions, in: Proceedings of VLDB, Bombay, India, 1996, pp. 251\u2013262."},{"key":"10.1016\/S0022-0000(02)00028-4_BIB35","unstructured":"A.Y. Levy, Y. Sagiv, Queries independent of updates, in: Proceedings of VLDB, Dublin, Ireland, 1993, pp. 171\u2013181."},{"key":"10.1016\/S0022-0000(02)00028-4_BIB36","doi-asserted-by":"crossref","unstructured":"C. Li, E. Chang, On answering queries in the presence of limited access patterns, in: Proceedings of ICDT, London, UK, 2001, pp. 219\u2013233.","DOI":"10.1007\/3-540-44503-X_15"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB37","doi-asserted-by":"crossref","unstructured":"T. Millstein, A. Levy, M. Friedman, Query containment for data integration systems, in: Proceedings of PODS, Dallas, TX, 2000, pp. 67\u201375.","DOI":"10.1145\/335168.335208"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB38","unstructured":"R. Pottinger, A. Levy, A scalable algorithm for answering queries using views, in: Proceedings of VLDB, Cairo, Egypt, 2000, pp. 484\u2013495."},{"key":"10.1016\/S0022-0000(02)00028-4_BIB39","doi-asserted-by":"crossref","unstructured":"A. Rajaraman, Y. Sagiv, J.D. Ullman, Answering queries using templates with binding patterns, in: Proceedings of PODS, San Jose, CA, 1995, pp. 105\u2013112.","DOI":"10.1145\/212433.220199"},{"issue":"4","key":"10.1016\/S0022-0000(02)00028-4_BIB40","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1145\/322217.322221","article-title":"Equivalence among relational expressions with the union and difference operators","volume":"27","author":"Sagiv","year":"1980","journal-title":"J. ACM"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB41","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(93)90040-N","article-title":"Equivalence of datalog queries is undecidable","volume":"15","author":"Shmueli","year":"1993","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","article-title":"The polynomial-time hierarchy","volume":"3","author":"Stockmeyer","year":"1976","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"10.1016\/S0022-0000(02)00028-4_BIB43","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/s007780050018","article-title":"The GMAP","volume":"5","author":"Tsatalos","year":"1996","journal-title":"VLDB J."},{"key":"10.1016\/S0022-0000(02)00028-4_BIB44","doi-asserted-by":"crossref","unstructured":"R. van der Meyden, The complexity of querying indefinite data about linearly ordered domains, in: Proceedings of PODS, San Diego, CA, 1992, pp. 331\u2013345.","DOI":"10.1145\/137097.137902"},{"key":"10.1016\/S0022-0000(02)00028-4_BIB45","unstructured":"H.Z. Yang, P.A. Larson, Query transformation for PSJ-queries, in: Proceedings of VLDB, Brighton, England, 1987, pp. 245\u2013254."}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000002000284?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000002000284?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,12]],"date-time":"2024-12-12T03:04:09Z","timestamp":1733972649000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0022000002000284"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,2]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,2]]}},"alternative-id":["S0022000002000284"],"URL":"https:\/\/doi.org\/10.1016\/s0022-0000(02)00028-4","relation":{},"ISSN":["0022-0000"],"issn-type":[{"type":"print","value":"0022-0000"}],"subject":[],"published":{"date-parts":[[2003,2]]}}}