{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:26:31Z","timestamp":1749219991163},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571209"},{"type":"electronic","value":"9783540479109"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-47910-4_10","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:13:47Z","timestamp":1187252027000},"page":"161-184","source":"Crossref","is-referenced-by-count":11,"title":["Typed Sets as a Basis for Object-Oriented Database Schemas"],"prefix":"10.1007","author":[{"given":"Herman","family":"Balsters","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf A.","family":"de By","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Zicari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,8,25]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1145\/67544.66941","volume-title":"Proceedings of ACM-SIGMOD 1989 International Conference on Management of Data","author":"S. Abiteboul","year":"1989","unstructured":"Object identity as a query language primitive, S. Abiteboul & P. C. Kanellakis, Proceedings of ACM-SIGMOD 1989 International Conference on Management of Data, Portland, OR, May 31\u2013June 2, 1989, J. Clifford, B. Lindsay & D. Maier (eds.), ACM Press, New York, NY, 1989, pp. 159\u2013173."},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0304-3975(86)90047-2","volume":"45","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"H. A\u00eft-Kaci, An Algebraic Semantics Approach to the Effective Resolution of Type Equations, Theoretical Computer Science 45, 1986, pp. 293\u2013351.","journal-title":"Theoretical Computer Science"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1145\/3857.3859","volume":"10","author":"A. Albano","year":"1985","unstructured":"A. Albano, L. Cardelli & R. Orsini, GALILEO: A strongly-typed, interactive con ceptual language, ACM Transactions on Database Systems 10, 2, June, 1985, pp. 230\u2013260.","journal-title":"ACM Transactions on Database Systems"},{"key":"10_CR4","series-title":"Technical Report","volume-title":"Sets and Constraints in an Object-Oriented Data Model","author":"H. Balsters","year":"1990","unstructured":"H. Balsters, R. A. de By & R. Zicari, Sets and Constraints in an Object-Oriented Data Model, Technical Report INF-90-75, University of Twente, Enschede, December, 1990, ISSN 0923-1714."},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/S0304-3975(06)80005-8","volume":"87","author":"H. Balsters","year":"1991","unstructured":"H. Balsters & M. M. Fokkinga, Subtyping can have a simple semantics, Theoretical Computer Science 87, September, 1991, pp. 81\u201396.","journal-title":"Theoretical Computer Science"},{"key":"10_CR6","first-page":"201","volume-title":"The Third International Workshop on Database Programming Languages: Bulk Types & Persistent Data (DBPL-3)","author":"H. Balsters","year":"1991","unstructured":"H. Balsters & C. C. de Vreeze, A semantics of object-oriented sets, The Third International Workshop on Database Programming Languages: Bulk Types & Persistent Data (DBPL-3), August 27\u201330, 1991, Nafplion, Greece, P. Kanellakis & J.W. Schmidt (eds.), Morgan Kaufmann Publishers, San Mateo, CA, 1991, pp. 201\u2013217."},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/22890.22945","volume":"5","author":"J. Banerjee","year":"1987","unstructured":"J. Banerjee, H.T. Chou, J.F. Garza, W. Kim et al. Data model issues for object-oriented applications, ACM Transactions on Office Information Systems 5, 1, January, 1987, pp. 3\u201326.","journal-title":"ACM Transactions on Office Information Systems"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1145\/38713.38748","volume-title":"Proceedings of ACM-SIGMOD 1987 International Conference on Management of Data","author":"J. Banerjee","year":"1987","unstructured":"J. Banerjee et al., Semantics and implementation of schema evolution in object-oriented databases, Proceedings of ACM-SIGMOD 1987 International Conference on Management of Data, San Francisco, CA, May 27\u201329, 1987, U. Dayal & I. Traiger (eds.), ACM Press, New York, NY, 1987, pp. 311\u2013322."},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/3-540-19074-0_57","volume-title":"Advances in Database Technology \u2014 EDBT\u2019 88","author":"D. Beech","year":"1988","unstructured":"D. Beech, A Foundation for Evolution from Relational to Object Databases, Advances in Database Technology \u2014 EDBT\u2019 88, J. W. Schmidt, S. Ceri & M. Missikoff (eds.), Springer-Verlag, New York-Heidelberg-Berlin, 1988, pp. 251\u2013270."},{"key":"10_CR10","volume-title":"Database Models and Retrieval Languages","author":"E. O. Brock de","year":"1984","unstructured":"E. O. de Brock, Database Models and Retrieval Languages, Technische Hogeschool Eindhoven, Eindhoven, 1984, Ph.D. Thesis."},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/93597.98732","volume-title":"Proceedings of ACM-SIGMOD 1990 International Conference on Management of Data","author":"F. Cacace","year":"1990","unstructured":"F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca & R. Zicari, Integrating object-oriented data modeling with a rule-based programming paradigm, Proceedings of ACM-SIGMOD 1990 International Conference on Management of Data, Atlantic City, NJ, May 23\u201325, 1990, H. Garcia-Molina & H. V. Jagadish (eds.), ACM Press, New York, NY, 1990, pp. 225\u2013236."},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli & P. Wegner, On understanding types, data abstraction, and polymorphism, Computing Surveys 17, 4, December, 1985, pp. 471\u2013522.","journal-title":"Computing Surveys"},{"key":"10_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume-title":"Semantics of Data Types","author":"L. Cardelli","year":"1984","unstructured":"L. Cardelli, A semantics of multiple inheritance, in: Semantics of Data Types, G. Kahn, D.B. Macqueen & G. Plotkin (eds.), Lecture Notes in Computer Science #173, Springer-Verlag, New York-Heidelberg-Berlin, 1984, pp. 51\u201367."},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"L. Cardelli, A semantics of multiple inheritance, Information and Computation 76, 1988, pp. 138\u2013164.","journal-title":"Information and Computation"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/602259.602300","volume-title":"Proceedings of ACM-SIGMOD 1984 International Conference on Management of Data","author":"G. Copeland","year":"1984","unstructured":"G. Copeland & D. Maier, Making Smalltalk a Database System, Proceedings of ACM-SIGMOD 1984 International Conference on Management of Data, Boston, MA, June 18\u201321, 1984, B. Yormark (ed.), ACM, New York, NY, 1984, pp. 316\u2013325."},{"key":"10_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/3-540-19027-9_7","volume-title":"Proceedings Second European Symposium on Programming (ESOP88)","author":"Y. C. Fuh","year":"1988","unstructured":"Y. C. Fuh & P. Mishra, Type inference with subtypes, Proceedings Second European Symposium on Programming (ESOP88), H. Ganzinger (ed.), Lecture Notes in Computer Science #300, Springer-Verlag, New York-Heidelberg-Berlin, 1988, pp. 94\u2013114."},{"issue":"3","key":"10_CR17","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/68012.68013","volume":"14","author":"S. E. Hudson","year":"1989","unstructured":"S. E. Hudson & R. King, Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system, ACM Transactions on Database Systems 14,3, 1989, pp. 291\u2013321.","journal-title":"ACM Transactions on Database Systems"},{"doi-asserted-by":"crossref","unstructured":"S. N. Khoshafian & G. P. Copeland, Object identity, Proceedings of the First In ternational Conference on Object-oriented Programming Systems, Languages, and Applications (OOPSLA86), N. Meyrowitz (ed.), Portland, Oregon, 1986, pp. 406\u2013416.","key":"10_CR18","DOI":"10.1145\/28697.28739"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/67544.66939","volume-title":"Proceedings of ACM-SIGMOD 1989 International Conference on Management of Data","author":"M. Kifer","year":"1989","unstructured":"M. Kifer & G. Lausen, F-logic: a higher-order language for reasoning about objects, inheritance, and scheme, Proceedings of ACM-SIGMOD 1989 International Conference on Management of Data, Portland, OR, May 3\u2013June 2, 1989, J. Clifford, B. Lindsay & D. Maier (eds.), ACM Press, New York, NY, 1989, pp. 134\u2013146."},{"doi-asserted-by":"crossref","unstructured":"W. Kim et al., Integrating an object-oriented programming system with a database system, Proceedings of the Second International Conference on Object-oriented Programming Systems, Languages, and Applications (OOPSLA88), San Diego, CA, September, 1988.","key":"10_CR20","DOI":"10.1145\/62083.62097"},{"key":"10_CR21","first-page":"411","volume-title":"Proceedings of Fifteenth International Conference on Very Large Data Bases","author":"C. L\u00e9cluse","year":"1989","unstructured":"C. L\u00e9cluse & P. Richard, The O 2 database programming language, Proceedings of Fifteenth International Conference on Very Large Data Bases, Amsterdam, The Netherlands, August 22\u201325, 1989, P. M. G. Apers & G. Wiederhold (eds.), Morgan Kaufmann Publishers, Palo Alto, CA, 1989, pp. 411\u2013422."},{"doi-asserted-by":"crossref","unstructured":"P. Lyngbaek & V. Vianu, Mapping a semantic database model to the relational model, Proceedings of ACM-SIGMOD 1987 International Conference on Manage ment of Data, San Francisco, CA, May 27\u201329, 1987, U. Dayal & I. Traiger, ACM Press, New York, NY, pp. 132\u2013142.","key":"10_CR22","DOI":"10.1145\/38713.38732"},{"unstructured":"D. Maier, A logic for objects, Workshop on Foundations of Deductive Databases and Logic Programming, Washington, DC, August, 1986, pp. 6\u201326.","key":"10_CR23"},{"key":"10_CR24","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/67544.66931","volume-title":"Proceedings of ACM-SIGMOD 1989 International Conference on Management of Data","author":"A. Ohori","year":"1989","unstructured":"A. Ohori, P. Buneman & V. Breazu-Tannen, Database programming in Machiavelli \u2014 a polymorphic language with static type inference, Proceedings of ACM-SIGMOD 1989 International Conference on Management of Data, Portland, OR, May 31\u2013June 2, 1989, J. Clifford, B. Lindsay & D. Maier (eds.), ACM Press, New York, NY, pp. 46\u201357."},{"issue":"1","key":"10_CR25","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0304-3975(90)90012-7","volume":"76","author":"A. Ohori","year":"1990","unstructured":"A. Ohori, Semantics of types for database objects, Theoretical Computer Science 76,1, October, 1990, pp. 53\u201392.","journal-title":"Theoretical Computer Science"},{"key":"10_CR26","volume-title":"The Deductive Synthesis of Database Transactions","author":"X. Qian","year":"1989","unstructured":"X. Qian, The Deductive Synthesis of Database Transactions, Ph.D. Thesis, Department of Computer Science, Stanford University, Stanford, CA, November, 1989."},{"key":"10_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/3-540-15198-2_7","volume-title":"Mathematical Foundations of Software Development","author":"J. C. Reynolds","year":"1985","unstructured":"J. C. Reynolds, Three Approaches to Type Structure, in: Mathematical Foundations of Software Development, H. Ehrig et al. (eds.), Springer-Verlag, New York-Heidelberg-Berlin, 1985, Lecture Notes in Computer Science # 185, pp. 97\u2013138."},{"key":"10_CR28","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1145\/68012.68014","volume":"14","author":"T. Sheard","year":"1989","unstructured":"T. Sheard & D. Stemple, Automatic verification of database transaction safety, ACM Transactions on Database Systems 14, 3, September, 1989, pp. 322\u2013368.","journal-title":"ACM Transactions on Database Systems"},{"key":"10_CR29","series-title":"MIT Press series in Computer Systems","first-page":"393","volume-title":"Research Directions in Object-Oriented Programming","author":"A. H. Skarra","year":"1987","unstructured":"A. H. Skarra & S. B. Zdonik, Type Evolution in an Object-Oriented Database, in: Research Directions in Object-Oriented Programming, MIT Press series in Computer Systems, B. D. Shriver & P. Wegner (eds.), MIT Press, Cambridge, MA, 1987, pp. 393\u2013416."},{"doi-asserted-by":"crossref","unstructured":"R. Stansifer, Type inference with subtypes, Proceedings Fifteenth Annual ACM Principles of Programming Languages (POPL88), 1988, pp. 88\u201397.","key":"10_CR30","DOI":"10.1145\/73560.73568"},{"key":"10_CR31","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1145\/602259.602287","volume-title":"Proceedings of ACM-SIGMOD 1984 International Conference on Management of Data","author":"M. Stonebraker","year":"1984","unstructured":"M. Stonebraker, E. Anderson, E. Hanson & B. Rubenstein, QUEL as a data type, Proceedings of ACM-SIGMOD 1984 International Conference on Management of Data, Boston, MA, June 18\u201321, 1984, B. Yormark (ed.), ACM, New York, NY, pp. 208\u2013214."},{"key":"10_CR32","volume-title":"Extending the Semantics of Subtyping, accommodating Database Maintenance Operations","author":"C. C. Vreeze de","year":"1989","unstructured":"C. C. de Vreeze, Extending the Semantics of Subtyping, accommodating Database Maintenance Operations, Universiteit Twente, Enschede, The Netherlands, Doctoraal verslag, August, 1989."},{"key":"10_CR33","series-title":"Technical Report","volume-title":"Formalization of inheritance of methods in an object-oriented data model","author":"C. C. Vreeze de","year":"1990","unstructured":"C. C. de Vreeze, Formalization of inheritance of methods in an object-oriented data model, Technical Report, INF-90-76, December, 1990, University of Twente, Enschede."},{"unstructured":"M. Wand, Complete type inference for simple objects, Proceedings Second Annual Symposium on Logic in Computer Science (LICS87), 1987, pp. 37\u201344.","key":"10_CR34"},{"unstructured":"S. B. Zdonik, Can objects change type? Can type objects change?, Proceedings of the Workshop on Database Programming Languages, Roscoff, France, September, 1987, (extended abstract), pp. 193\u2013200.","key":"10_CR35"},{"doi-asserted-by":"crossref","unstructured":"R. Zicari, Primitives for schema updates in an object-oriented database system: A proposal, X3\/SPARC\/DBSSG OODB Task Group Workshop on Standardization of Object Database Systems, Ottawa, Canada, October 23, 1990.","key":"10_CR36","DOI":"10.1016\/0920-5489(91)90034-W"},{"doi-asserted-by":"crossref","unstructured":"R. Zicari, A framework for schema updates in an object-oriented database system, Proceedings of Seventh International Conference on Data Engineering, Kobe, April 8\u20132, 1991.","key":"10_CR37","DOI":"10.1109\/ICDE.1991.131447"},{"key":"10_CR38","first-page":"146","volume-title":"Building an Object-oriented Database System-The Story of O 2","author":"R. Zicari","year":"1992","unstructured":"R. Zicari, A framework for schema updates in an object-oriented database system, in: Building an Object-oriented Database System-The Story of O 2, F. Bancilhon, C. Delobel & P. Kanellakis (eds.), Morgan Kaufmann Publishers, San Mateo, CA, 1992, pp. 146\u2013182."}],"container-title":["Lecture Notes in Computer Science","ECOOP\u2019 93 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47910-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T16:24:12Z","timestamp":1683995052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47910-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571209","9783540479109"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-47910-4_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1993]]}}}