{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T12:52:20Z","timestamp":1791291140226,"version":"4.3.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540622222","type":"print"},{"value":"9783540496823","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62222-5_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:36:43Z","timestamp":1330295803000},"page":"19-40","source":"Crossref","is-referenced-by-count":214,"title":["Information integration using logical views"],"prefix":"10.1007","author":[{"given":"Jeffrey D.","family":"Ullman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"2_CR1","unstructured":"Abiteboul, S. Querying semistructured data. These proceedings."},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A. Borgida","year":"1996","unstructured":"Borgida, A.. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence 82, pp. 353\u2013367, 1996.","journal-title":"Artificial Intelligence"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Chandra, A. K. and P. M. Merlin. Optimal implementation of conjunctive queries in relational databases. Proc. Ninth Annual ACM Symposium on the Theory of Computing, pp. 77\u201390, 1977.","DOI":"10.1145\/800105.803397"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"[C*95] Chaudhuri, S., R. Krishnamurthy, S. Potamianos, and K. Shim. Optimizing queries with materialized views. Intl. Conf. on Data Engineering, 1995.","DOI":"10.1109\/ICDE.1995.380392"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Chaudhuri, S. and M. Y. Vardi. On the equivalence of datalog programs. Proc. Eleventh ACM Symposium on Principles of Database Systems, pp. 55\u201366, 1992.","DOI":"10.1145\/137097.137109"},{"key":"2_CR6","volume-title":"Second Intl. Workshop on Database Programming Languages","author":"W. Chen","year":"1989","unstructured":"[C*89] Chen, W., M. Kifer, and D. S. Warren. HiLog: a first order semantics for higher order programming constructs. in Second Intl. Workshop on Database Programming Languages, Morgan-Kaufmann, San Francisco, 1989."},{"key":"2_CR7","unstructured":"[GM*95] Garcia-Molina, H., Y. Papakonstantinou, D. Quass, A. Rajaraman, Y. Sagiv, J. Ullman, and J. Widom. The TSIMMIS approach to mediation: data models and languages. Second Workshop on Next-Generation Information Technologies and Systems, Naharia, Israel, June, 1995."},{"key":"2_CR8","unstructured":"http:\/\/www-i.almaden.ibm.com\/cs\/showtell\/garlic\/Initpage.html"},{"key":"2_CR9","unstructured":"[K*95] Kirk, T., A. Y. Levy, Y. Sagiv, and D. Srivastava. The Information Manifold. AAAI Spring Symp. on Information Gathering, 1995."},{"issue":"1","key":"2_CR10","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/42267.42273","volume":"35","author":"A. Klug","year":"1988","unstructured":"Klug, A.. On conjunctive queries containing inequalities. J. ACM 35:1, pp. 146\u2013160, 1988.","journal-title":"J. ACM"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"[L*95] Levy, A., A. Mendelzon, Y. Sagiv, and D. Srivastava. Answering queries using views. Proc. Fourteenth ACM Symposium on Principles of Database Systems, pp. 113\u2013124, 1995.","DOI":"10.1145\/212433.220198"},{"key":"2_CR12","unstructured":"[L*96a] Levy, A. Y., A. Rajaraman, and J. J. Ordille. Querying heterogeneous information sources using source descriptions. Intl. Conf. on Very Large Databases, Sept., 1996."},{"key":"2_CR13","unstructured":"[L*96b] Levy, A. Y., A. Rajaraman, and J. J. Ordille. Query answering algorithms for information agents. 13th Natl. Conf. on AI, Aug., 1996."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Levy, A. Y., A. Rajaraman, and J. D. Ullman. Answering queries using limited external processors. Proc. Fifteenth ACM Symposium on Principles of Database Systems, pp. 227\u2013237, 1996.","DOI":"10.1145\/237661.237716"},{"key":"2_CR15","unstructured":"Levy, A. Y. and M.-C. Rousset. CARIN: A representation language combining Horn rules and description logics. 13th European Conf. on AI, Budapest, Aug., 1996."},{"key":"2_CR16","unstructured":"Levy, A. Y. and Y. Sagiv. Queries independent of update. Proc. International Conference on Very Large Data Bases, pp. 171\u2013181, 1993."},{"key":"2_CR17","unstructured":"Papakonstantinou, Y. Query processing in heterogeneous information sources. PhD thesis, Dept. of CS, Stanford University, 1996."},{"key":"2_CR18","unstructured":"[P*95a] Papakonstantinou Y., H. Garcia-Molina, and J. Widom. Object exchange across heterogeneous information sources. Intl. Conf. on Data Engineering, March, 1995."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"[P*95b] Papakonstantinou, Y., A. Gupta, H. Garcia-Molina, and J. D. Ullman. A query translation scheme for rapid implementation of wrappers. Fourth DOOD, Singapore, Dec., 1995.","DOI":"10.1007\/3-540-60608-4_40"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Rajaraman, A., Y. Sagiv, and J. D. Ullman. Answering queries using templates with binding patterns. Proc. Fourteenth ACM Symposium on Principles of Database Systems, pp. 105\u2013112, 1995.","DOI":"10.1145\/212433.220199"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"[R*89] Ramakrishnan, R., Y. Sagiv, J. D. Ullman, and M. Y. Vardi. Proof tree transformation theorems and their applications. Proc. Eighth ACM Symposium on Principles of Database Systems, pp. 172\u2013181, 1989.","DOI":"10.1145\/73721.73739"},{"key":"2_CR22","unstructured":"Saraiya, Y. Subtree elimination algorithms in deductive databases. Doctoral Thesis, Dept. of CS, Stanford Univ., Jan., 1991."},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Shmueli, O. Decidability and expressiveness aspects of logic queries. Proc. Sixth ACM Symposium on Principles of Database Systems, pp 237\u2013249, 1987.","DOI":"10.1145\/28659.28685"},{"key":"2_CR24","unstructured":"http:\/\/db.stanford.edu\/tsimmis"},{"key":"2_CR25","unstructured":"Ullman, J. D. Principles of Database and Knowledge-Base Systems, Vol. I. Computer Science Press, New York."},{"key":"2_CR26","unstructured":"Ullman, J. D. Principles of Database and Knowledge-Base Systems, Vol. II. Computer Science Press, New York."},{"key":"2_CR27","unstructured":"Ullman, J. D. Assigning an appropriate meaning to database logic with negation. in Computers as Our Better Partners (H. Yamada, Y. Kambayashi, and S. Ohta, eds.), pp. 216\u2013225, World Scientific Press."},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"van der Meyden, R. The complexity of querying indefinite data about linearly ordered domains. Proc. Eleventh ACM Symposium on Principles of Database Systems, pp. 331\u2013345, 1992.","DOI":"10.1145\/137097.137902"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Widom, J. Research problems in data warehousing. Fourth Intl. Conf. on Information and Knowledge Management, pp. 25\u201330, 1995.","DOI":"10.1145\/221270.221319"},{"issue":"3","key":"2_CR30","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.121508","volume":"25","author":"G. Wiederhold","year":"1992","unstructured":"Wiederhold, G.. Mediators in the architecture of future information systems. IEEE Computer 25:3, pp. 38\u201349, 1992.","journal-title":"IEEE Computer"},{"key":"2_CR31","unstructured":"Yang, H. Z. and P. A. Larson. Query transformation for PSJ queries. Proc. International Conference on Very Large Data Bases, pp. 245\u2013254, 1987."},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Zhang, X. and M. Z. Ozsoyoglu. On efficient reasoning with implication constraints. Proc. Third DOOD Conference, pp. 236\u2013252.","DOI":"10.1007\/3-540-57530-8_15"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT '97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62222-5_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:28:58Z","timestamp":1742599738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62222-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540622222","9783540496823"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-62222-5_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}