{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:28Z","timestamp":1725663688915},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556930"},{"type":"electronic","value":"9783540472728"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55693-1_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:32:27Z","timestamp":1330252347000},"page":"78-95","source":"Crossref","is-referenced-by-count":4,"title":["Views and formal implementation in a three-level schema architecture for dynamic objects"],"prefix":"10.1007","author":[{"given":"Gunter","family":"Saake","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Jungclaus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Atkinson, M.; Bancilhon, F.; DeWitt, D.; Dittrich, K. R.; Maier, D.; Zdonik, S. B.: The Object-Oriented Database System Manifesto. In: Kim, W.; Nicolas, J.-M.; Nishio, S. (eds.): Proc. Int. Conf. on Deductive and Object-Oriented Database Systems, Kyoto, Japan, December 1989. pp. 40\u201357.","DOI":"10.1016\/B978-0-444-88433-6.50020-4"},{"issue":"No.4","key":"5_CR2","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0169-023X(90)90020-E","volume":"5","author":"C. Beeri","year":"1990","unstructured":"Beeri, C.: A Formal Approach to Object Oriented Databases. Data & Knowledge Engineering, Vol. 5, No. 4, 1990, pp. 353\u2013382.","journal-title":"Data & Knowledge Engineering"},{"key":"5_CR3","volume-title":"Object-Oriented Design","author":"G. Booch","year":"1990","unstructured":"Booch, G.: Object-Oriented Design. Benjamin\/Cummings, Menlo Park, CA, 1990."},{"issue":"No.10","key":"5_CR4","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/125223.125238","volume":"34","author":"O. Deux","year":"1991","unstructured":"[D+91] Deux, O. et al.: The O 2 System. Communications of the ACM, Vol. 34, No. 10, 1991, pp. 34\u201348.","journal-title":"Communications of the ACM"},{"issue":"No.1","key":"5_CR5","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/16342.16343","volume":"15","author":"Database Architecture Framework Task Group (DAFTG) of the ANSI\/X3\/SPARC Database System Study Group: Reference Model for DBMS Standardization","year":"1986","unstructured":"Database Architecture Framework Task Group (DAFTG) of the ANSI\/X3\/SPARC Database System Study Group: Reference Model for DBMS Standardization. ACM SIGMOD Records, Vol. 15, No. 1, 1986, pp. 19\u201358.","journal-title":"ACM SIGMOD Records"},{"key":"5_CR6","first-page":"80","volume-title":"Proc. 2nd Int. Workshop on Database Programming Languages, Oregon Coast","author":"U. Dayal","year":"1989","unstructured":"Dayal, U.: Queries and Views in an Object-Oriented Data Model. In: Hull, R.; Morrison, R.; Stemple, D. (eds.): Proc. 2nd Int. Workshop on Database Programming Languages, Oregon Coast, 1989. Morgan Kaufmann, San Mateo, Ca, pp. 80\u2013102."},{"volume-title":"Advances in Object-Oriented Database Systems. Lecture Notes in Comp. Sc. 334","year":"1988","key":"5_CR7","unstructured":"Dittrich, K. R. (ed.): Advances in Object-Oriented Database Systems. Lecture Notes in Comp. Sc. 334. Springer Verlag, Berlin, 1988."},{"key":"5_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-94709-3","volume-title":"Algebraische Spezifikation abstrakter Datentypen","author":"H.-D. Ehrich","year":"1989","unstructured":"Ehrich, H.-D.; Gogolla, M.; Lipeck, U.W.: Algebraische Spezifikation abstrakter Datentypen. Teubner, Stuttgart, 1989."},{"key":"5_CR9","series-title":"LNCS 489","first-page":"203","volume-title":"Proc. REX\/FOOL Workshop, Noordwijkerhood (NL), 1990","author":"H.-D. Ehrich","year":"1991","unstructured":"Ehrich, H.-D.; Goguen, J. A.; Sernadas, A.: A Categorial Theory of Objects as Observed Processes. In: deBakker, J.W.; deRoever, W.P.; Rozenberg, G. (eds.): Proc. REX\/FOOL Workshop, Noordwijkerhood (NL), 1990. LNCS 489, Springer-Verlag, Berlin, 1991, pp. 203\u2013228."},{"key":"5_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification I: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer-Verlag, Berlin, 1985."},{"key":"5_CR11","first-page":"239","volume-title":"Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proc. REX'89), Mood (NL), 1989. LNCS 394","author":"H.-D. Ehrich","year":"1989","unstructured":"Ehrich, H.-D.; Sernadas, A.: Algebraic Implementation of Objects over Objects. In: deRoever, W. (ed.): Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proc. REX'89), Mood (NL), 1989. LNCS 394, Springer Verlag, Berlin, 1989, pp. 239\u2013266."},{"key":"5_CR12","unstructured":"Ehrich, H.-D.; Sernadas, A.: Fundamental Object Concepts and Constructions. In: Saake, G.; Sernadas, A. (eds.): Information Systems \u2014 Correctness and Reusability. (Workshop IS-CORE '91, ESPRIT BRA WG 3023, Selected Papers), London, 1991. TU Braunschweig, Informatik-Bericht 91\u201303, 1991."},{"issue":"No.1\u20132","key":"5_CR13","first-page":"33","volume":"26","author":"H.-D. Ehrich","year":"1990","unstructured":"Ehrich, H.-D.; Sernadas, A.; Sernadas, C.: From Data Types to Object Types. Journal on Information Processing and Cybernetics EIK, Vol. 26, No. 1\u20132, 1990, pp. 33\u201348.","journal-title":"Journal on Information Processing and Cybernetics EIK"},{"key":"5_CR14","series-title":"IFB 303","first-page":"1","volume-title":"Proc. of the 2nd Workshop of \u201cInformationssysteme und K\u00fcnstliche Intelligenz\u201d, Ulm (FRG), 1992","author":"H.-D. Ehrich","year":"1992","unstructured":"Ehrich, H.-D.; Saake, G.; Sernadas, A.: Concepts of Object-Orientation. In: Studer, R. (ed.): Proc. of the 2nd Workshop of \u201cInformationssysteme und K\u00fcnstliche Intelligenz\u201d, Ulm (FRG), 1992. IFB 303, Springer-Verlag, Berlin, 1992, pp. 1\u201319."},{"issue":"No.3","key":"5_CR15","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1093\/logcom\/1.3.357","volume":"1","author":"J. Fiadeiro","year":"1991","unstructured":"Fiadeiro, J.; Maibaum, T.: Temporal Reasoning over Deontic Specifications. Journal of Logic and Computation, Vol. 1, No. 3, 1991, pp. 357\u2013395.","journal-title":"Journal of Logic and Computation"},{"key":"5_CR16","first-page":"243","volume-title":"Object-Oriented Databases: Analysis, Design and Construction (Proc. IFIP WG 2.6 Working Conference DS-4, Windermere (UK), 1990","author":"J. Fiadeiro","year":"1991","unstructured":"Fiadeiro, J.; Sernadas, C.; Maibaum, T.; Saake, G.: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. In: Meersman, R.; Kent, W.; Khosla, S. (eds.): Object-Oriented Databases: Analysis, Design and Construction (Proc. IFIP WG 2.6 Working Conference DS-4, Windermere (UK), 1990. North-Holland, Amsterdam, 1991, pp. 243\u2013284."},{"key":"5_CR17","series-title":"LNCS Series","volume-title":"Proc. ECOOP'92","author":"T. Hartmann","year":"1992","unstructured":"Hartmann, T.; Jungclaus, R.; Saake, G.: Aggregation in a Behavior Oriented Object Model. In: Proc. ECOOP'92. Springer, LNCS Series, Berlin, 1992. To appear."},{"issue":"No.3","key":"5_CR18","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","volume":"19","author":"R. Hull","year":"1987","unstructured":"Hull, R.; King, R.: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Computing Surveys, Vol. 19, No. 3, 1987, pp. 201\u2013260.","journal-title":"ACM Computing Surveys"},{"key":"5_CR19","first-page":"91","volume-title":"Information Systems \u2014 Correctness and Reusability. (Workshop IS-CORE '91, ESPRIT BRA WG 3023, Selected Papers)","author":"R. Jungclaus","year":"1991","unstructured":"Jungclaus, R.; Hartmann, T.; Saake, G.; Sernadas, C.: Introduction to TROLL \u2014 A Language for Object-Oriented Specification of Information Systems. In: Saake, G.; Sernadas, A. (eds.): Information Systems \u2014 Correctness and Reusability. (Workshop IS-CORE '91, ESPRIT BRA WG 3023, Selected Papers), London, 1991. TU Braunschweig, Informatik-Bericht 91\u201303, 1991."},{"key":"5_CR20","unstructured":"Jungclaus, R.; Saake, G.; Hartmann, T.: Language Features for Object-Oriented Conceptual Modeling. In: Teory, T.J. (ed.): Proc. 10th Int. Conf. on the ER-approach, San Mateo, 1991. pp. 309\u2013324."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Jungclaus, R.; Saake, G.; Hartmann, T.; Sernadas, C.: Object-Oriented Specification of Information Systems: The TROLL Language. Technical Report 91-04, TU Braunschweig, 1991.","DOI":"10.1007\/3540539816_61"},{"key":"5_CR22","series-title":"LNCS 494","first-page":"60","volume-title":"Proc. TAPSOFT'91 Vol. 2, Brighton, 1991","author":"R. Jungclaus","year":"1991","unstructured":"Jungclaus, R.; Saake, G.; Sernadas, C.: Formal Specification of Object Systems. In: Abramsky, S.; Maibaum, T. (eds.): Proc. TAPSOFT'91 Vol. 2, Brighton, 1991. LNCS 494, Springer-Verlag, Berlin, 1991, pp. 60\u201382."},{"key":"5_CR23","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 1988."},{"issue":"No.3","key":"5_CR24","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/62061.62062","volume":"20","author":"J. Peckham","year":"1988","unstructured":"Peckham, J.; Maryanski, F.: Semantic Data Models. ACM Computing Surveys, Vol. 20, No. 3, 1988, pp. 153\u2013189.","journal-title":"ACM Computing Surveys"},{"key":"5_CR25","first-page":"39","volume-title":"Object-Oriented Databases: Analysis, Design and Construction (Proc. IFIP WG 2.6 Working Conference DS-4, Windermere (UK), 1990","author":"A. Sernadas","year":"1991","unstructured":"Sernadas, A.; Ehrich, H.-D.: What Is an Object, After All? In: Meersman, R.; Kent, W.; Khosla, S. (eds.): Object-Oriented Databases: Analysis, Design and Construction (Proc. IFIP WG 2.6 Working Conference DS-4, Windermere (UK), 1990. North-Holland, Amsterdam, 1991, pp. 39\u201370."},{"key":"5_CR26","first-page":"225","volume-title":"Information System Concepts: An In-Depth Analysis, Namur (B), 1989","author":"A. Sernadas","year":"1989","unstructured":"Sernadas, A.; Fiadeiro, J.; Sernadas, C.; Ehrich, H.-D.: The Basic Building Blocks of Information Systems. In: Falkenberg, E.; Lindgreen, P. (eds.): Information System Concepts: An In-Depth Analysis, Namur (B), 1989. North-Holland, Amsterdam, 1989, pp. 225\u2013246."},{"key":"5_CR27","unstructured":"Saake, G.; Jungclaus, R.: Information about Objects versus Derived Objects. In: G\u00f6ers, J.; Heuer, A. (eds.): Second Workshop on Foundations and Languages for Data and Objects, Aigen (A), 1990. Informatik-Bericht 90\/3, Technische Universit\u00e4t Clausthal, pp. 59\u201370."},{"key":"5_CR28","first-page":"228","volume-title":"Proc. Int. Workshop Specification of Database Systems, Glasgow, 1991","author":"G. Saake","year":"1992","unstructured":"Saake, G.; Jungclaus, R.: Specification of Database Dynamics in the TROLL-Language. In: Harper, D.; Norrie, M. (eds.): Proc. Int. Workshop Specification of Database Systems, Glasgow, 1991. Springer-Verlag, London, 1992, pp. 228\u2013245."},{"key":"5_CR29","volume-title":"Proc. IFIP TC 6 Int. Workshop on Open Distributed Processing, Berlin","author":"G. Saake","year":"1991","unstructured":"Saake, G.; Jungclaus, R.; Ehrich, H.-D.: Object-Oriented Specification and Stepwise Refinement. In: Proc. IFIP TC 6 Int. Workshop on Open Distributed Processing, Berlin, 1991. North-Holland, Amsterdam. To appear."},{"key":"5_CR30","series-title":"LNCS 495","first-page":"291","volume-title":"Abstract data type semantics for manysorted object query algebras","author":"G. Saake","year":"1991","unstructured":"Saake, G.; Jungclaus, R.; Sernadas, S.: Abstract data type semantics for manysorted object query algebras. In: Thalheim, B.; Demetrovics, J.; Gerhardt, H.-D. (eds.): Proceedings 3rd. Symp. on Mathematical Fundamentals of Database and Knowledge Base Systems MFDBS-91, Rostock, 1991. LNCS 495, Springer-Verlag, Berlin, 1991, pp. 291\u2013307."},{"key":"5_CR31","first-page":"37","volume-title":"Proc. 2nd Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Austria","author":"M. Scholl","year":"1990","unstructured":"Scholl, M.; Laasch, C.; Tresch, M.: Views in Object-Oriented Databases. In: G\u00f6ers, J.; Heuer, A. (eds.): Proc. 2nd Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Austria, 1990. Informatik-Bericht 90\/3, TU Clausthal-Zellerfeld, Germany, pp. 37\u201358."},{"key":"5_CR32","first-page":"107","volume-title":"Object-Oriented Specification of Databases: An Algebraic Approach","author":"A. Sernadas","year":"1987","unstructured":"Sernadas, A.; Sernadas, C.; Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. In: Hammerslay, P. (ed.): Proc. 13th Int. Conf. on Very Large Databases VLDB'87, Brighton (GB), 1987. Morgan-Kaufmann, Palo Alto, 1987, pp. 107\u2013116."},{"key":"5_CR33","first-page":"382","volume-title":"An Analysis of the Structural, Dynamic, and Temporal Aspects of Semantic Data Models","author":"S. D. Urban","year":"1986","unstructured":"Urban, S. D.; Delcambre, L.: An Analysis of the Structural, Dynamic, and Temporal Aspects of Semantic Data Models. In: Proc. Int. Conf. on Data Engineering, Los Angeles, 1986. ACM, New York, 1986, pp. 382\u2013387."},{"key":"5_CR34","first-page":"168","volume-title":"OOPSLA Conference Proceedings, Orlando, FL, 1987","author":"P. Wegner","year":"1987","unstructured":"Wegner, P.: Dimensions of Object-Based Language Design. In: OOPSLA Conference Proceedings, Orlando, FL, 1987. ACM, New York, 1987, pp. 168\u2013182. (Special Issue of SIGPLAN Notices, Vol. 22, No. 12, November 1987)."},{"key":"5_CR35","volume-title":"PhD thesis","author":"R. J. Wieringa","year":"1990","unstructured":"Wieringa, R. J.: Algebraic Foundations for Dynamic Conceptual Models. PhD thesis, Vrije Universiteit, Amsterdam, 1990."}],"container-title":["Lecture Notes in Computer Science","Advanced Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55693-1_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:01:21Z","timestamp":1605646881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55693-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556930","9783540472728"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-55693-1_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}