{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T14:10:03Z","timestamp":1737123003973,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678397"},{"type":"electronic","value":"9783540449140"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44914-0_9","type":"book-chapter","created":{"date-parts":[[2007,5,22]],"date-time":"2007-05-22T21:26:14Z","timestamp":1179869174000},"page":"144-163","source":"Crossref","is-referenced-by-count":0,"title":["Linearly Bounded Reformulations of Unary 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,8,11]]},"reference":[{"key":"9_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":"9_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":"9_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"},{"key":"9_CR4","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"},{"key":"9_CR5","unstructured":"E. Baralis, S. Paraboschi, and E. Teniente. Materialized view selection in a multidimensional database. In VLDB-97, pages 156\u2013165."},{"issue":"4","key":"9_CR6","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":"9_CR7","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."},{"issue":"6","key":"9_CR8","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":"9_CR9","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":"9_CR10","unstructured":"Oliver M. Duschka and Michael R. Genesereth. Query planning with disjunctive sources. In AAAI-98 Workshop on AI and Information Integration."},{"key":"9_CR11","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":"9_CR12","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":"9_CR13","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":"9_CR14","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":"9_CR15","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":"9_CR16","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":"9_CR17","unstructured":"Won Kim, editor. Modern Database Systems. ACM Press, New York, New York, 1995."},{"key":"9_CR18","unstructured":"Yannis Kotidis and Nick Roussopoulos. Dynamat: a dynamic view management system for data warehouses. In SIGMOD-99."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, and Oded Shmueli. Equivalence, query-reachability and satisfiability in datalog extensions. In PODS-93, pages 109\u2013122.","DOI":"10.1145\/153850.153860"},{"key":"9_CR20","unstructured":"Alon Y. Levy and P. Pandurang Nayak. A semantic theory of abstractions. In IJCAI-95, pages 196\u2013203."},{"key":"9_CR21","unstructured":"A.Y. Levy, A.O. Mendelzon, Y. Sagiv, and D. Srivastava. Answering queries using views. In PODS-95, pages 95\u2013104."},{"key":"9_CR22","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":"9_CR23","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":"9_CR24","doi-asserted-by":"crossref","unstructured":"J. Rissanen. On equivalences of database schemes. In PODS-82, pages 23\u201326.","DOI":"10.1145\/588111.588116"},{"key":"9_CR25","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":"9_CR26","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":"9_CR27","unstructured":"D. Theodoratos and T. Sellis. Data warehouse configuration. In VLDB-97, pages 126\u2013135."},{"key":"9_CR28","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":"9_CR29","unstructured":"J. Yang, K. Karlapalem, and Q. Li. Algorithms for materialized view design in data warehousing environment. In VLDB-97, pages 136\u2013145."}],"container-title":["Lecture Notes in Computer Science","Abstraction, Reformulation, and Approximation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44914-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T14:53:12Z","timestamp":1737039192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44914-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678397","9783540449140"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-44914-0_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}