Advertisement

Three-Level-Specification of Databases Using an Extended Entity-Relationship Model

  • U. Hohenstein
  • L. Neugebauer
  • G. Saake
  • H.-D. Ehrich
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 143)

Abstract

A great deal of (so-called) semantic data models has been proposed for the specification of conceptual schemas. Each of these offers many different, but semantically related constructs for modelling.

We, therefore, attempt to integrate all constructs into a few semantic constructs. The resulting data model emphasizes a clear conceptual separation of data, object, and transactions resulting in corresponding levels.

The object level enhances the Entity-Relationship (ER) model with the concepts of type construction, complex object types, derived information, and proposes an extended key concept. The type constructor allows to formulate specialization, generalization, and partition abstractions. Aggregation and grouping can be modelled by means of complex object types. Derived information incorporates concepts of deductive databases. Additionally, all concepts can be enriched by specifying explicit constraints. At the data level even complex domains of attributes can be specified by means of user-defined abstract data types. The transaction level allows the specification of arbitrary transactions.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ADD85]
    Albano, A./Dntonellis, V./Deva, A. (eds.): Computer-Aided Database Design: The DATAID Project. North-Holland, Amsterdam 1985.Google Scholar
  2. [BB84]
    Batory, D.S./Buchmann, A.P.: Molecular Objects, Abstract Data Types, and Data Models. Proc. 10th VLDB, Singapur 1984 (pp.172–194).Google Scholar
  3. [BDRZ84]
    BräGger, R./Dudler, A./Rebsamen, J./Zehnder, C.À.: Gambit — An Interactive Database Design Tool for Structures, Integrity Constraints, and Transactions. Proc. IEEE Int. Conf. on Software Engineering, April 1984 (pp.399–407).Google Scholar
  4. [BH86]
    Bryce, D./Hull, R.: SNAP: A Graphics-based Schema Manager. Proc. Int. Conf. on Data Engineering, Los Angeles 1986 (PP. 151–164).Google Scholar
  5. [BR84]
    Brodie, M./Ridjanovic, D.: Fundamental Concepts for Semantic Modelling of Objects. Computer Corporation of America, Technical Report, April 1984.Google Scholar
  6. [Ce83]
    Ceri, S. (ed.): Methodology and Tools for Data Base Design. North-Holland, Amsterdam 1983.zbMATHGoogle Scholar
  7. [Ch76]
    Chen, P.P.; The Entity-Relationship-Model — Towards a Unified View of Data. ACM ToDS Vol. 1, No. 1, 1976 (pp. 9–36).Google Scholar
  8. [DE84]
    Drosten, K./Ehrich, H.-D.: Translating Algebraic Specifications to Prolog Programs. Informatik-Bericht Nr. 84-08, TU Braunschweig 1984.Google Scholar
  9. [DKM85]
    Dittrich, K.R./Kots, A.M./Mglle, J.A.: DAMASCUS — ein Datenhaltungssystem für den VLSI-Entwurf. GI-Fachtagung Datenbanksysteme för BGro, Technik und Wissenschaft (Blaser, A./Pistor, P., eds.) Karlsruhe 1985, Informatik-Fachberichte 94 (pp. 70–72) Springer, Berlin 1985.Google Scholar
  10. [EDG86]
    Ehrich, H.-D./Drosten, K./Gogolla, M.: Towards an Algebraic Semantics for Database Specification. IFIP TC2 Working Conference on Knowledge & Data, Aldeia das Acoteias (Portugal) Nov. 1986.Google Scholar
  11. [Eh84]
    Ehrich, H.-D.: Algebraic (?) Specification of Conceptual Database Schemata (Extended Abstract). Proc. 3rd Workshop on Theory and Application of Abstract Data Types (H.-J. Kreowski, ed.), Informatik-Fachbericht Bd.116, Springer, Berlin 1984.Google Scholar
  12. [Eh85]
    Ehrich, H.-D.: Spezifikation konzeptioneller Schemata mit abstrakten Datentypen und Versionen. GI-Fachgespräch ‘Entwurf von Informationssystemen — Methoden und Modelle’ (Mayr, H.C./Meyer, B.E. eds.)Google Scholar
  13. [Eh86]
    Ehrich, H.-D.: Key Extensions of Abstract Data Types, Final Algebras, Database Semantics. Informatik-Bericht Nr. 86-01, TU Braunschweig 1986.Google Scholar
  14. [ELG84]
    Ehrich, H.-D./Lipeck, U.W., Gogolla, M.: Specification, Semantics and Enforcement of Dynamic Database Behaviour. Proc. 10th VLDB, Singapur 1984 (pp. 301–308).Google Scholar
  15. [EM85]
    Ehrig, H./Mahr, B.: Fundamentals of Algebraic Specification I. Springer, Berlin 1985.Google Scholar
  16. [EWH85]
    Elmasri, R/Weeldreyer, J./Hevner, A.: The Category Concept: An Extension to Relationship Model. Data & Knowledge Engineering Vol. 1, 1985 (pp.75–116).Google Scholar
  17. [FS86]
    Fiadeiro, J./Sernadas, A.: The INFOLOG Linear Tense Propositional Logic of Events and Transactions. Information Systems, Vol. 11, No. 1, (pp. 61–85), 1986Google Scholar
  18. [GH83]
    Goos, G./HartmàNis, J.: The Programming Language Ada, Reference Manual. American National Standards Institute, Inc. ANSI-MIL-STD-1815A-1983, Springer, Berlin 1983.Google Scholar
  19. [GM79]
    Gardarin, G./Melkanoff, M.: Proving Consistency of Database Transactions. Proc. 5th VLDB, Rio de Janeiro 1979.Google Scholar
  20. [GMS83]
    Golshani, F./Maibaum, T./Sadler, M.: A Modal System of Algebras for Database Specification and Query/Update Language Support. Proc. 9th. VLDB, Florence 1983 (pp. 331–339).Google Scholar
  21. [HM81]
    Hammer, M,/Meod, D.: Database Description with SDM: A Semantic Database Model. ACM ToDS, Vol. 6, No. 3, 1981 (pp. 351–386).Google Scholar
  22. [HNS86]
    Hohenstein, U./Neugebauer, L./Saake, G.; An Extended Entity-Relationship Model for Non-Standard Databases. Proc. “Workshop Ober Relationale Datenbanken” Lessach (Austria), June 1986. TU Clausthal-Zellerfeld (ed. A. Heuer).Google Scholar
  23. [KCB86]
    Katz, R.H./Chang, E./Bhateja, R.: Version Modelling Concepts for Computer-Aided Design Databases. Proc. of ACM SIGMOD Conf. on Management of Data, Washington D.C. 1986 (pp. 379–386).Google Scholar
  24. [LEG85]
    Lipeck, U.W./Ehrich, H.-D./Gogolla, M.: Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. Proc. IFIP Work. Conf. on Theoretical and Formal Aspects of Information Systems, (Sernadas, A. et al., eds.), North-Holland, Amsterdam 1985.Google Scholar
  25. [Li85]
    Lipeck, U.W.: Schrittweise Spezifikation des dynamischen Verhaltens von Dat enbanken. GI-Fachgespräch ‘Entwurf von Informationssystemen — Methoden und Modelle’ (Mayr, H.C./Meyer, B.E. eds.) 1985.Google Scholar
  26. [Li86]
    Lipeck, U.W.: Stepwise Specification of Dynamic Database Behaviour. Proc. Int. ACM SIGMOD Conf. on Management of Data, Washington D.C. 1986 (pp. 387–397).Google Scholar
  27. [LN86]
    Lipeck, U.W./Neumann, K.: Modelling and Manipulating Objects in Geoscientific Databases. Proc. 5th. Int. Conf. on the ER-Approach, Dijon 1986.Google Scholar
  28. [LS87]
    Lipeck, U.W./Saake, G.: Monitoring Dynamic Integrity Constraints Based on Temporal Logic. To appear in: Information Systems, Vol. 12, No. 3, 1987Google Scholar
  29. [Ma83]
    Maier, D.: The Theory of Databases. Computer Science Press, Rockville MD 1983zbMATHGoogle Scholar
  30. [Mi85]
    Mitschang, B.: Charakteristiken des Komplex-Objekt-Begriffs und deren Realisierung. QI-Fachtagung Datenbanksysteme für Büro, Technik und Wissenschaft (Blaser, A./Pistor, P., eds.), Karlsruhe 1985, Informatik-Fachberichte 94 (pp. 382–400), Springer, Berlin 1985.CrossRefGoogle Scholar
  31. [Ne83]
    Neumann, T.: Konzepte zur Erweiterung von Datenbanksystemen für die Unterstützung von CAD/CAM-Anwendungen. Dissertation, TH Darmstadt, 1983.Google Scholar
  32. [NN85]
    Neugebauer, L./Neumann, K.: Schemagesteuerte Testdatenerzeugung für relationale Datenbanken. Informatik-Bericht Nr.85-02, TU Braunschweig 1985.Google Scholar
  33. [RNLE85]
    Ramm, I./Neumann, K./Lipeck, U.W./Ehrich, H.-D.: Eine Benutzerschnittstelle für geowissenschaftliehe Datenbanken. Informatik-Bericht Nr.85-08, TU Braunschweig 1985.Google Scholar
  34. [SL87]
    Saake, G./Lipeck, U.W.: Foundations of Temporal Integrity Monitoring. To appear in: Proc. IFIP WG 8.1 Conf. on “Temporal Aspects of Information Systems”, Sophia-Antipolis, 1987Google Scholar
  35. [SS77]
    Smith, J.M./Smith, D.C.P.: Database Abstractions: Aggregation and Generalization. ACM ToDS Vol. 2, No. 2, 1977 (pp. 105–173).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • U. Hohenstein
    • 1
  • L. Neugebauer
    • 1
  • G. Saake
    • 1
  • H.-D. Ehrich
    • 1
  1. 1.Institut für Programmiersprachen und Informationssysteme Abteilung DatenbankenTechnische Universität BraunschweigBraunschweigDeutschland

Personalised recommendations