{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T23:31:43Z","timestamp":1794439903684,"version":"4.9.1"},"publisher-location":"London","reference-count":23,"publisher":"Springer London","isbn-type":[{"value":"9783540197324","type":"print"},{"value":"9781447138648","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3864-8_9","type":"book-chapter","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T04:03:03Z","timestamp":1361246583000},"page":"171-187","source":"Crossref","is-referenced-by-count":0,"title":["Specifying a Database System to Itself"],"prefix":"10.1007","author":[{"given":"David","family":"Maier","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Zdonik, SB and Mitchell, G. ENCORE: An object-oriented approach to database modeling and querying. Data Engineering 14 (2), June 1991."},{"key":"9_CR2","unstructured":"Daniels, S, Graefe, G, Keller, T, et al. Query optimization in Revelation, an overview. Data Engineering 14 (2), June 1991."},{"key":"9_CR3","unstructured":"Vandenberg, SL and DeWitt, DJ. Algebraic query processing in EXTRA\/ EXCESS. Data Engineering 14 (2), June 1991."},{"key":"9_CR4","unstructured":"Elmasri, R and Navathe, SB. Fundamentals of Database Systems, Benjamin\/ Cummings, 1989."},{"key":"9_CR5","unstructured":"Maier, D. The Theory of Relational Databases, Computer Science Press, 1983."},{"key":"9_CR6","unstructured":"Ullman, JD. Principles of Database and Knowledge-Base Systems, volume 1. Computer Science Press, 1988."},{"key":"9_CR7","unstructured":"Buneman, OP. Data types for database programming. Proc. of the Appin Conf. on Data Types and Persistence: 295\u2013308, Dept. of Computing Science report PPRR 16, Univ. of Glasgow, August 1985."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Beeri, C and Kornatsky, Y. Algebraic optimization of object-oriented query languages. Proc. Third Intl. Conf. on Database Theory:72\u201388, Springer-Verlag LNCS 470, Paris, December 1990.","DOI":"10.1007\/3-540-53507-1_71"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Osborn, SL. Identity, equality and query optimization. Advances in Object-Oriented Database Systems:346\u2013351, Springer-Verlag LNCS 334, October 1988.","DOI":"10.1007\/3-540-50345-5_34"},{"key":"9_CR10","volume-title":"Computer Science & Engineering report","author":"B Vance","year":"1991","unstructured":"Vance, B. Toward an object-oriented query algebra. Computer Science & Engineering report 91\u201308, Oregon Graduate Inst., May 1991."},{"key":"9_CR11","unstructured":"Vandenberg, SL and DeWitt, DJ. Algebraic support for complex objects with arrays, identity and inheritance. Proc. 1991 ACM SIGMOD Intl. Conf on Management of Data:158\u2013167, Denver, May 1991."},{"key":"9_CR12","unstructured":"Lieuwen, DF and DeWitt, DJ. Optimizing loops in database programming languages. To appear, Proc. of the Third Intl. Workshop on Database Programming Languages, Morgan Kaufmann, 1991."},{"key":"9_CR13","volume-title":"Deductive and Object-Oriented Databases:264-278, Elsevier Science Publishers","author":"GM Shaw","year":"1990","unstructured":"Shaw, GM and Zdonik, SB. Object-oriented queries: Equivalence and optimization. In Deductive and Object-Oriented Databases:264\u2013278, Elsevier Science Publishers, 1990."},{"issue":"4","key":"9_CR14","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1145\/102675.102678","volume":"8","author":"DD Straube","year":"1990","unstructured":"Straube, DD and \u00d6zsu, MT. Queries and query processing in object-oriented database systems. ACM Trans. on Information Systems 8 (4): 387\u2013430, October 1990.","journal-title":"Acm Trans. on Information Systems"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Mitchell, G, Zdonik, SB and Dayal, U. An architecture for query processing in persistent object stores. Dept. of Computer Science report 91\u201338, Brown Univ., June 1991.","DOI":"10.1109\/HICSS.1992.183331"},{"key":"9_CR16","unstructured":"Winograd, T. Language as a Cognitive Process, volume 1: Syntax, Addison-Wesley, 1983."},{"key":"9_CR17","volume-title":"Database Programming Languages: Proceedings of the Second Intl. Workshop, Morgan Kaufmann","author":"P Wegner","year":"1989","unstructured":"Wegner, P and Zdonik, SB. Models of Inheritance. In Database Programming Languages: Proceedings of the Second Intl. Workshop, Morgan Kaufmann, 1989."},{"key":"9_CR18","unstructured":"Trinder, P. Comprehensions, a query notation for DBPLs. To appear, Proc. of the Third Intl. Workshop on Database Programming Languages, Morgan Kaufmann, 1991."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Wadler, PL. Comprehending monads. Proc. ACM Conf. on Lisp and Functional Programming:61\u201378, Nice, France, June 1990.","DOI":"10.1145\/91556.91592"},{"key":"9_CR20","unstructured":"Abramsky, S and Hankin, C (eds.). Abstract Interpretation of Declarative Languages, Ellis Horwood, 1987."},{"key":"9_CR21","volume-title":"Abstract Interpretation and Optimizing Transformations for Applicative Programs","author":"A Mycroft","year":"1981","unstructured":"Mycroft, A. Abstract Interpretation and Optimizing Transformations for Applicative Programs, PhD Thesis, Univ. of Edinburgh, 1981."},{"key":"9_CR22","unstructured":"Snodgrass, R. The Interface Description Language: Definition and Use, Computer Science Press, 1989."},{"issue":"1","key":"9_CR23","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/122050.122056","volume":"20","author":"SM Thatte","year":"1991","unstructured":"Thatte, SM. A modular and open object-oriented database system. SIGMOD Record 20 (1): 47\u201352, March 1991.","journal-title":"SIGMOD Record"}],"container-title":["Workshops in Computing","Specifications of Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3864-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T04:30:57Z","timestamp":1557549057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3864-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197324","9781447138648"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3864-8_9","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-1-4471-3864-8","asserted-by":"object"}]},"ISSN":["1431-1682"],"issn-type":[{"value":"1431-1682","type":"print"}],"subject":[],"published":{"date-parts":[[1992]]}}}