Abstract object types for databases

  • H. -D. Ehrich
  • A. Sernadas
  • C. Sernadas
Formalization And Indusion Of Rules
Part of the Lecture Notes in Computer Science book series (LNCS, volume 334)


There is a need for exploring the theoretical and methodological foundations of database design and development with the intention to achieve provably correct systems and higher levels of reusability. To this end, topics rarely addressed so far in this area must be investigated, among them full incorporation of dynamic aspects, static and dynamic integrity checking, formal methods strongly backed by a sound theory, and design-in-the-large issues like modularization and parameterization. Our approach combines the object-oriented paradigm with experiences in formal methods in software engineering, especially algebraic data type theory, logical approaches to systems specification and design, and process algebra. In analogy to algebraic data type theory, we propose mathematical models for the basic notions of object, object type and abstract object type.


State Machine Formal Method Object Type Process Algebra Algebraic Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Am86.
    America, P.: Object-Oriented Programming: A Theoretician's Introduction. EATCS Bulletin 29 (1986), 69–84Google Scholar
  2. Be87.
    Beech,D.: Groundwork for an Object Database Model. In SW87, 317–354Google Scholar
  3. CW85.
    Cardelli, L.;Wegner, P.: On Understanding Types, Data Abstraction, and Polymorphism. ACM Computing Surveys 17 (1985), 471–522Google Scholar
  4. DD86.
    Dayal, U.;Dittrich, K.(eds): Proc. Int. Workshop on Object-Oriented Database Systems. IEEE Computer Society, Los Angeles 1986Google Scholar
  5. DMN67.
    Dahl, O.-J.;Myhrhaug, B.;Nygaard, K.: SIMULA 67, Common Base Language, Norwegian Computing Center, Oslo 1967Google Scholar
  6. Eh86.
    Ehrich, H.-D.: Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. Proc. Workshop on Category Theory and Computer Programming (D. Pitt et al, eds.), LNCS 240, Springer-Verlag, Berlin 1986, 412–433Google Scholar
  7. EDG86.
    Ehrich,H.-D.;Drosten,K.;Gogolla,M.: Towards an Algebraic Semantics for Database Specification. Proc. IFIP WG2.6 Working Conf. DS-2, Albufeira 1986 (final proceedings to be published by North-Holland)Google Scholar
  8. GM87.
    Goguen,J.A.;Meseguer,J.: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In SW87, 417–477Google Scholar
  9. GR83.
    Goldberg, A.;Robson, D.: Smalltalk 80: The Language and its Implementation. Addison-Wesley, Reading, Mass. 1983Google Scholar
  10. HN87.
    Hailpern,B.;Nguyen,V.: A Model for Object-Based Inheritence. In SW87, 147–164Google Scholar
  11. Ho85.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs 1985Google Scholar
  12. KC86.
    Khoshafian, S.N.;Copeland, G.P.: Object Identity. Proc. OOPSLA'86, ACM SIGPLAN Notices 21:11 (1986), 406–416Google Scholar
  13. Lo85.
    Lochovski,F.(ed.): Special Issue on Object-Oriented Systems. IEEE Database Engineering 8:4 (1985)Google Scholar
  14. MS87.
    Maier,D.;Stein,J.: Development and Implementation of an Object-Oriented DBMS. In SW87, 355–392Google Scholar
  15. MSOP86.
    Maier, D.;Stein, J.;Otis, A.;Purdy, A.: Development of an Object-Oriented DBMS. Proc. OOPSLA'86, ACM SIGPLAN Notices 21:11 (1986), 472–482Google Scholar
  16. Pa72.
    Parnas, D.L.: A Technique for Software Module Specification with Examples. Communications of the ACM 15 (1972), 339–336Google Scholar
  17. SFSE88.
    Sernadas,A.;Fiadeiro,J.;Sernadas,C.;Ehrich,H,-D.: Abstract Object Types: A Temporal Perspective. Proc. Colloquium on Temporal Logic and Specification, A. Pnueli et al (eds.), Springer-Verlag (to be published)Google Scholar
  18. SSE87.
    Sernadas, A.;Sernadas, C.;Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. 13th VLDB, P.M. Stocker, W. Kent (eds.), Morgan-Kaufmann Publ. Inc., Los Altos 1987, 107–116Google Scholar
  19. SW87.
    Shriver, B.;Wegner, P.(eds.): Research Directions in Object-Oriented Programming. The MIT Press, Cambridge, Mass. 1987Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • H. -D. Ehrich
    • 1
  • A. Sernadas
    • 2
  • C. Sernadas
    • 2
  1. 1.Informatik/DatenbankenTechnische UniversitätBraunschweigFR Germany
  2. 2.Departamento de MatematicaInstituto Superior TecnicoLisboaPortugal

Personalised recommendations