{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:47Z","timestamp":1725663107041},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540501718"},{"type":"electronic","value":"9783540459439"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-50171-1_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:16:28Z","timestamp":1330200988000},"page":"239-251","source":"Crossref","is-referenced-by-count":0,"title":["Semantics of types for database objects"],"prefix":"10.1007","author":[{"given":"Atsushi","family":"Ohori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1145\/3857.3859","volume":"10","author":"A. Albano","year":"1985","unstructured":"A. Albano, L. Cardelli, and R. Orsini. Galileo: A Strongly Typed, Interactive Conceptual Language. ACM Transactions on Database Systems, 10(2):230\u2013260, 1985.","journal-title":"ACM Transactions on Database Systems"},{"key":"15_CR2","volume-title":"Restructuring of Complex Objects and Office Forms","author":"S. Abiteboul","year":"1986","unstructured":"S. Abiteboul and R. Hull. Restructuring of Complex Objects and Office Forms. In Proc. International Conference on Database Theory, Lecture Notes in Computer Science 243, Springer-Verlag, Rome, Italy, September 1986."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"F. Bancilhon and S. Khoshafin. A Calsulus for Complex Objects. In Proc. ACM Conference on Principles of Database Systems, 1986.","DOI":"10.1145\/6012.15404"},{"key":"15_CR4","unstructured":"P. Buneman and A. Ohori. Using Powerdomains to Generalize Relational Databases. Theoreical Computer Science, To Appear, 1988. Available as a technical report from Department of Computer and Information Science, University of Pennsylvania."},{"issue":"10","key":"15_CR5","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/323648.323756","volume":"21","author":"K. B. Bruce","year":"1986","unstructured":"K. B. Bruce and P. Wegner. An Algebraic Model of Subtypes in Object-Oriented Languages. SIGPLAN Notices, 21(10):163\u2013172, October 1986.","journal-title":"SIGPLAN Notices"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"L. Cardelli. A Semantics of Multiple Inheritance. In Semantics of Data Types, Lecture Notes in Computer Science 173, Springer-Verlag, 1984.","DOI":"10.1007\/3-540-13346-1_2"},{"key":"15_CR7","unstructured":"L. Cardelli. Amber. Technical Memorandum TM 11271-840924-10, AT&T Bell Laboratories, 1984."},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B. Courcelle","year":"1983","unstructured":"B. Courcelle. Fundamental Properties of Infinite Trees. Theoretical Computer Science, 25:95\u2013169, 1983.","journal-title":"Theoretical Computer Science"},{"key":"15_CR9","unstructured":"P.C. Fischer and S.J. Thomas. Operators for Non-First-Normal-Form Relations. In Proc. IEEE COMPSAC, 1983."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"G. Gierz, H.K. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, and D.S. Scott. A Compendium of Continuous Lattices. Springer-Verlag, 1980.","DOI":"10.1007\/978-3-642-67678-9"},{"key":"15_CR11","unstructured":"R. Harper, D. B. MacQueen, and R. Milner. Standard ML. LFCS Report Series ECS-LFCS-86-2, Department of Computer Science, University of Edinburgh, March 1986."},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 17:348\u2013375, 1978.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1\/2","key":"15_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0019-9958(86)80019-5","volume":"71","author":"D.B. MacQueen","year":"1986","unstructured":"D.B. MacQueen, G.D. Plotkin, and Sethi. An ideal model for recursive polymorphic types. Information and Control, 71(1\/2):95\u2013130, 1986.","journal-title":"Information and Control"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"A. Ohori and P. Buneman. Type Inference in a Database Programming Language. In Proc. ACM Conference on LISP and Functional Programming, Snowbird, Utah, July 1988.","DOI":"10.1145\/62678.62700"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Z. \u00d6zsoyo\u011fglu and L. Yuan. A Normal Form for Nested Relations. In Proceedings of the ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages 251\u2013260, Portland, March 1985.","DOI":"10.1145\/325405.325451"},{"key":"15_CR16","unstructured":"A.M. Roth, H.F. Korth, and A. Silberschatz. Extended Algebra and Calculus for \u2014 1NF Relational Databases. Technical Report TR-84-36, Department of Computer Sciences, The University of Texas at Austin, 1984. revised 1985."},{"key":"15_CR17","unstructured":"D.A. Schmidt. Denotational Semantics, A Methodology for Language Development. Allyn and Bacon, 1986."},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"D. Scott. Continuous Lattices. In Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics, pages 97\u2013136, Springer-Verlag, 1972.","DOI":"10.1007\/BFb0073967"},{"issue":"1","key":"15_CR19","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0022-0000(84)90080-1","volume":"28","author":"C. Zaniolo","year":"1984","unstructured":"C. Zaniolo. Database Relation with Null Values. Journal of Computer and System Sciences, 28(1):142\u2013166, 1984.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","ICDT '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50171-1_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:28Z","timestamp":1605647848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50171-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540501718","9783540459439"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-50171-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}