{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:40:08Z","timestamp":1737063608535,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_66","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"987-1001","source":"Crossref","is-referenced-by-count":9,"title":["Linearly Bounded Reformulations of Conjunctive Databases"],"prefix":"10.1007","author":[{"given":"Rada","family":"Chirkova","sequence":"first","affiliation":[]},{"given":"Michael R.","family":"Genesereth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"66_CR1","doi-asserted-by":"crossref","unstructured":"Serge Abiteboul and Oliver Duschka. Complexity of answering queries using materialized views. In PODS-98, pages 254\u2013263.","DOI":"10.1145\/275487.275516"},{"key":"66_CR2","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison-Wesley, Reading, Mass., 1995."},{"key":"66_CR3","doi-asserted-by":"crossref","unstructured":"F.N. Afrati, M. Gergatsoulis, and T.G. Kavalieros. Answering queries using materialized views with disjunctions. In ICDT-99, pages 435\u2013452.","DOI":"10.1007\/3-540-49257-7_27"},{"issue":"2","key":"66_CR4","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1137\/0208017","volume":"8","author":"A.V. Aho","year":"1979","unstructured":"A.V. Aho, Y. Sagiv, and J.D. Ullman. Equivalences among relational expressions. SIAM J. Comput., 8(2):218\u2013246, 1979.","journal-title":"SIAM J. Comput."},{"key":"66_CR5","doi-asserted-by":"crossref","unstructured":"J. Albert, Y. Ioannidis, and R. Ramakrishnan. Conjunctive query equivalence of keyed relational schemas. In PODS-97, pages 44\u201350.","DOI":"10.1006\/jcss.1999.1628"},{"key":"66_CR6","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(82)90038-X","volume":"19","author":"P. Atzeni","year":"1982","unstructured":"P. Atzeni, G. Ausiello, C. Batini, and M. Moscarini. Inclusion and equivalence between relational database schemata. Theoretical Computer Science, 19:267\u2013285, 1982.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"66_CR7","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/27633.27634","volume":"18","author":"C. Batini","year":"1986","unstructured":"C. Batini, M. Lenzerini, and S.B. Navathe. A comparative analysis of methodologies for database schema integration. ACM Computing Surveys, 18(4):323\u2013364, 1986.","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"66_CR8","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1137\/0210025","volume":"10","author":"C. Beeri","year":"1981","unstructured":"C. Beeri, A.O. Mendelzon, Y. Sagiv, and J.D. Ullman. Equivalence of relational database schemes. SIAM J. Comput., 10(2):352\u2013370, 1981.","journal-title":"SIAM J. Comput."},{"key":"66_CR9","doi-asserted-by":"crossref","unstructured":"Ashok K. Chandra and Philip M. Merlin. Optimal implementation of conjunctive queries in relational data bases. In STOC-77, pages 77\u201390.","DOI":"10.1145\/800105.803397"},{"issue":"6","key":"66_CR10","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"E.F. Codd. A relational model of data for large shared data banks. Comm. ACM, 13(6):377\u2013387, June 1970.","journal-title":"Comm. ACM"},{"key":"66_CR11","first-page":"33","volume-title":"Database Systems","author":"E.F. Codd","year":"1972","unstructured":"E.F. Codd. Further normalization of the data base relational model. In R. Rustin, editor, Database Systems, pages 33\u201364. Prentice Hall Inc., Englewood Cliffs, NJ, 1972."},{"key":"66_CR12","doi-asserted-by":"crossref","unstructured":"Oliver M. Duschka and Michael R. Genesereth. Answering recursive queries using views. In PODS-97, pages 109\u2013116.","DOI":"10.1145\/263661.263674"},{"key":"66_CR13","doi-asserted-by":"crossref","unstructured":"Oliver M. Duschka and Michael R. Genesereth. Query planning with disjunctive sources. In AAAI-98 Workshop on AI and Information Integration, 1997.","DOI":"10.1145\/331697.331719"},{"key":"66_CR14","volume-title":"A Mathematical Introduction to Logic","author":"H. B. Enderton","year":"1972","unstructured":"Herbert B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972."},{"issue":"2\u20133","key":"66_CR15","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(92)90021-O","volume":"57","author":"F. Giunchiglia","year":"1992","unstructured":"Fausto Giunchiglia and Toby Walsh. A theory of abstraction. Artificial Intelligence, 57(2\u20133):323\u2013389, 1992.","journal-title":"Artificial Intelligence"},{"key":"66_CR16","doi-asserted-by":"crossref","unstructured":"Himanshu Gupta. Selection of views to materialize in a data warehouse. In ICDT-97, pages 98\u2013112.","DOI":"10.1007\/3-540-62222-5_39"},{"key":"66_CR17","doi-asserted-by":"crossref","unstructured":"Himanshu Gupta and Inderpal Singh Mumick. Selection of views to materialize under a maintenance cost constraint. In ICDT-99, pages 453\u2013470.","DOI":"10.1007\/3-540-49257-7_28"},{"key":"66_CR18","doi-asserted-by":"crossref","unstructured":"Richard Hull. Managing semantic heterogeneity in databases: a theoretical perspective. In PODS-97, pages 51\u201361.","DOI":"10.1145\/263661.263668"},{"issue":"3","key":"66_CR19","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1137\/0215061","volume":"15","author":"Richard Hull","year":"1986","unstructured":"Richard Hull. Relative information capacity of simple relational database schemata. SIAM J. Comput., 15(3):856\u2013886, August 1986.","journal-title":"SIAM J. Comput."},{"volume-title":"Modern Database Systems","year":"1995","key":"66_CR20","unstructured":"Won Kim, editor. Modern Database Systems. ACM Press, New York, New York, 1995."},{"key":"66_CR21","unstructured":"Yannis Kotidis and Nick Roussopoulos. Dynamat: a dynamic view management system for data warehouses. In SIGMOD-99."},{"key":"66_CR22","unstructured":"Alon Y. Levy and P. Pandurang Nayak. A semantic theory of abstractions. In IJCAI-95, pages 196\u2013203."},{"key":"66_CR23","unstructured":"A.Y. Levy, A.O. Mendelzon, Y. Sagiv, and D. Srivastava. Answering queries using views. In PODS-95, pages 95\u2013104."},{"key":"66_CR24","doi-asserted-by":"crossref","unstructured":"John Wylie Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"66_CR25","unstructured":"R.J. Miller, Y.E. Ioannidis, and R. Ramakrishnan. The use of information capacity in schema integration and translation. In VLDB-93, pages 120\u2013133."},{"issue":"1","key":"66_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0306-4379(94)90024-8","volume":"19","author":"R.J. Miller","year":"1994","unstructured":"R.J. Miller, Y.E. Ioannidis, and R. Ramakrishnan. Schema equivalence in heterogeneous systems: bridging theory and practice. Information Systems, 19(1):3\u201331, 1994.","journal-title":"Information Systems"},{"key":"66_CR27","doi-asserted-by":"crossref","unstructured":"Jack Minker. Logic and databases: a 20 year retrospective. In D. Pedreschi and C. Zaniolo, editors, Logic in Databases, pages 3\u201357. Springer, 1996. (Proceedings of the LID\u201996 international workshop).","DOI":"10.1007\/BFb0031734"},{"key":"66_CR28","doi-asserted-by":"crossref","unstructured":"Raghu Ramakrishnan and Jeffrey D. Ullman. A survey of deductive database systems. J. Logic Progr., 23(2):125\u2013149, May 1995.","DOI":"10.1016\/0743-1066(94)00039-9"},{"key":"66_CR29","doi-asserted-by":"crossref","unstructured":"J. Rissanen. On equivalences of database schemes. In PODS-82, pages 23\u201326.","DOI":"10.1145\/588111.588116"},{"key":"66_CR30","doi-asserted-by":"crossref","unstructured":"K.A. Ross, D. Srivastava, and S. Sudarshan. Materialized view maintenance and integrity constraint checking: trading space for time. In SIGMOD-96, pages 447\u2013458.","DOI":"10.1145\/233269.233361"},{"key":"66_CR31","doi-asserted-by":"crossref","unstructured":"Devika Subramanian. A theory of justified reformulations. PhD thesis, Stanford University, 1989.","DOI":"10.1016\/B978-1-55860-036-2.50109-0"},{"key":"66_CR32","doi-asserted-by":"crossref","unstructured":"Jeffrey D. Ullman. Information integration using logical views. In ICDT-97, pages 19\u201340.","DOI":"10.1007\/3-540-62222-5_34"},{"key":"66_CR33","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J. D. Ullman","year":"1988","unstructured":"Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems, volume I. Computer Science Press, New York, 1988."},{"key":"66_CR34","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J. D. Ullman","year":"1989","unstructured":"Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems, volume II. Computer Science Press, New York, 1989."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_66","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:04:15Z","timestamp":1737061455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_66","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}