Skip to main content
SpringerLink
Log in
Book cover

British National Conference on Databases

BNCOD 1992: Advanced Database Systems pp 78–95Cite as

Views and formal implementation in a three-level schema architecture for dynamic objects

  • Object-Oriented Databases
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 618))

Abstract

The three-level schema architecture proposed as part of a framework for database standardization supports data independence resulting in a database architecture being flexible and adaptable to changes. Dynamic object bases differ from classical database models in their integrated description of structure and behaviour of objects. The arguments for introducing the different schema levels for database applications hold for object bases, too, and may help to structure large object-oriented applications. This paper discusses the transfer of the three-level approach to an object-oriented approach for describing dynamic objects. Requirements for description formalisms for the external, conceptual and internal level lead to desired language features for object-oriented system specification languages.

This work was partially supported by CEC under ESPRIT BRA WG 3023 IS-CORE (Information Systems — COrrectness and REusability) and by Deutsche Forschungsgemeinschaft under grant no. Sa 465/1-1.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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–57.

    Google Scholar 

  2. Beeri, C.: A Formal Approach to Object Oriented Databases. Data & Knowledge Engineering, Vol. 5, No. 4, 1990, pp. 353–382.

    Google Scholar 

  3. Booch, G.: Object-Oriented Design. Benjamin/Cummings, Menlo Park, CA, 1990.

    Google Scholar 

  4. [D+91] Deux, O. et al.: The O 2 System. Communications of the ACM, Vol. 34, No. 10, 1991, pp. 34–48.

    Google Scholar 

  5. 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–58.

    Google Scholar 

  6. 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–102.

    Google Scholar 

  7. Dittrich, K. R. (ed.): Advances in Object-Oriented Database Systems. Lecture Notes in Comp. Sc. 334. Springer Verlag, Berlin, 1988.

    Google Scholar 

  8. Ehrich, H.-D.; Gogolla, M.; Lipeck, U.W.: Algebraische Spezifikation abstrakter Datentypen. Teubner, Stuttgart, 1989.

    Google Scholar 

  9. 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–228.

    Google Scholar 

  10. Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer-Verlag, Berlin, 1985.

    Google Scholar 

  11. 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–266.

    Google Scholar 

  12. Ehrich, H.-D.; Sernadas, A.: Fundamental Object Concepts and Constructions. In: Saake, G.; Sernadas, A. (eds.): Information Systems — Correctness and Reusability. (Workshop IS-CORE '91, ESPRIT BRA WG 3023, Selected Papers), London, 1991. TU Braunschweig, Informatik-Bericht 91–03, 1991.

    Google Scholar 

  13. Ehrich, H.-D.; Sernadas, A.; Sernadas, C.: From Data Types to Object Types. Journal on Information Processing and Cybernetics EIK, Vol. 26, No. 1–2, 1990, pp. 33–48.

    Google Scholar 

  14. Ehrich, H.-D.; Saake, G.; Sernadas, A.: Concepts of Object-Orientation. In: Studer, R. (ed.): Proc. of the 2nd Workshop of “Informationssysteme und Künstliche Intelligenz”, Ulm (FRG), 1992. IFB 303, Springer-Verlag, Berlin, 1992, pp. 1–19.

    Google Scholar 

  15. Fiadeiro, J.; Maibaum, T.: Temporal Reasoning over Deontic Specifications. Journal of Logic and Computation, Vol. 1, No. 3, 1991, pp. 357–395.

    Google Scholar 

  16. 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–284.

    Google Scholar 

  17. Hartmann, T.; Jungclaus, R.; Saake, G.: Aggregation in a Behavior Oriented Object Model. In: Proc. ECOOP'92. Springer, LNCS Series, Berlin, 1992. To appear.

    Google Scholar 

  18. Hull, R.; King, R.: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Computing Surveys, Vol. 19, No. 3, 1987, pp. 201–260.

    Google Scholar 

  19. Jungclaus, R.; Hartmann, T.; Saake, G.; Sernadas, C.: Introduction to TROLL — A Language for Object-Oriented Specification of Information Systems. In: Saake, G.; Sernadas, A. (eds.): Information Systems — Correctness and Reusability. (Workshop IS-CORE '91, ESPRIT BRA WG 3023, Selected Papers), London, 1991. TU Braunschweig, Informatik-Bericht 91–03, 1991.

    Google Scholar 

  20. 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–324.

    Google Scholar 

  21. Jungclaus, R.; Saake, G.; Hartmann, T.; Sernadas, C.: Object-Oriented Specification of Information Systems: The TROLL Language. Technical Report 91-04, TU Braunschweig, 1991.

    Google Scholar 

  22. 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–82.

    Google Scholar 

  23. Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 1988.

    Google Scholar 

  24. Peckham, J.; Maryanski, F.: Semantic Data Models. ACM Computing Surveys, Vol. 20, No. 3, 1988, pp. 153–189.

    Google Scholar 

  25. 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–70.

    Google Scholar 

  26. 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–246.

    Google Scholar 

  27. Saake, G.; Jungclaus, R.: Information about Objects versus Derived Objects. In: Göers, J.; Heuer, A. (eds.): Second Workshop on Foundations and Languages for Data and Objects, Aigen (A), 1990. Informatik-Bericht 90/3, Technische Universität Clausthal, pp. 59–70.

    Google Scholar 

  28. 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–245.

    Google Scholar 

  29. 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.

    Google Scholar 

  30. 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–307.

    Google Scholar 

  31. Scholl, M.; Laasch, C.; Tresch, M.: Views in Object-Oriented Databases. In: Göers, 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–58.

    Google Scholar 

  32. 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–116.

    Google Scholar 

  33. 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–387.

    Google Scholar 

  34. Wegner, P.: Dimensions of Object-Based Language Design. In: OOPSLA Conference Proceedings, Orlando, FL, 1987. ACM, New York, 1987, pp. 168–182. (Special Issue of SIGPLAN Notices, Vol. 22, No. 12, November 1987).

    Google Scholar 

  35. Wieringa, R. J.: Algebraic Foundations for Dynamic Conceptual Models. PhD thesis, Vrije Universiteit, Amsterdam, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abt. Datenbanken, Techn. Universität Braunschweig, Postfach 3329, W-3300, Braunschweig, FRG

    Gunter Saake & Ralf Jungclaus

Authors
  1. Gunter Saake
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ralf Jungclaus
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Peter M. D. Gray Rob J. Lucas

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Saake, G., Jungclaus, R. (1992). Views and formal implementation in a three-level schema architecture for dynamic objects. In: Gray, P.M.D., Lucas, R.J. (eds) Advanced Database Systems. BNCOD 1992. Lecture Notes in Computer Science, vol 618. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55693-1_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-55693-1_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55693-0

  • Online ISBN: 978-3-540-47272-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation