Advertisement

Algebraization and integrity constraints for an extended entity-relationship approach

  • Martin Gogolla
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 351)

Abstract

An extended entity-relationship model concentrating nearly all concepts of known "semantic" data models and especially allowing arbitrary user defined data types is introduced. The semantics of the model is described purely in algebraic terms mainly based on the notions of signature, algebra and extension. On this basis a calculus making intensive use of abstract data types is defined and employed for the formulation of typical integrity constaints like functional restrictions and key specifications.

Keywords

Theory of data bases data model entity-relationship model formal semantics calculus abstract data type aggregate function relational completeness integrity constraint 

References

  1. [Bi 87]
    Bird, R.S.: An Introduction to the Theory of Lists. Logic of Programming and Calculi of Discrete Design. Nato ASI Series, Vol. F36, Springer-Verlag Berlin Heidelberg 1987 (M. Broy, ed.) (pp. 5–42)Google Scholar
  2. [Bü 87]
    Bültzingsloewen, G. v.: Translating and Optimizing SQL Queries Having Aggregates. 13th VLDB, Brighton 1987Google Scholar
  3. [Ce 83]
    Ceri, S. (ed.): Methodology and Tools for Database Design. North-Holland, Amsterdam 1983Google Scholar
  4. [Ch 76]
    Chen, P.P.: The Entity-Relationship Model — Towards a Unified View of Data. ACM Transactions on Database Systems, Vol. 1, No. 1, March 1976 (pp. 9–36)Google Scholar
  5. [DMW 82]
    Dosch, W. / Mascari, G. / Wirsing, M.: On the Algebraic Specification of Databases. Proc. 8th VLDB, 1982Google Scholar
  6. [EDG 86]
    Ehrich, H.-D. / Drosten, K. / Gogolla, M.: Towards an Algebraic Semantics for Database Specification. Proc. IFIP TC2 Working Conference on Knowledge & Data "DS-2", Albufeira (Portugal), November 1986Google Scholar
  7. [EKW 78]
    Ehrig, H. / Kreowski, H.-J. / Weber, H.: Algebraic Specification Schemes for Data Base Systems. Proc. 4th VLDB, 1978Google Scholar
  8. [EM 85]
    Ehrig, H. / Mahr, B.: Fundamentals of Algebraic Specification I. Springer-Verlag, Berlin 1985Google Scholar
  9. [GMS 83]
    Golshani, F. / Maibaum, T. / Sadler, M.: A Modal System of Algebras for Database Specification and Query/Update Language Support. Proc. 9th VLDB, 1983Google Scholar
  10. [HG 88]
    Hohenstein, U. / Gogolla, M.: Towards a Semantic View of an Extended Entity-Relationship Model. TU Braunschweig, Informatik-Bericht Nr. 88-02, 1988. Short Version: A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. Proc. 7th Int. Conf. on Entity-Relationship Approach, North Holland, 1988 (to appear)Google Scholar
  11. [JS 82]
    Jaeschke, G. / Schek, H.-J.: Remarks on the Algebra of Nonfirst Normal Form Relations. Proc. of the 1st ACM SIGACT-SIGMOD Symp. on Principles of Database Systems. Los Angeles (California), March 1982 (pp. 124–146)Google Scholar
  12. [Kl 82]
    Klug, A.: Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions. Journal of the ACM, Vol. 29, No. 3, July 1982 (pp. 699–717)Google Scholar
  13. [KMS 85]
    Khosla, S. / Maibaum, T. / Sadler, M.: Database Specification. Proc. IFIP Working Conference on Database Semantics DS-1, 1985Google Scholar
  14. [Ma 83]
    Maier, D: The Theory of Databases. Computer Science Press, Rockville MD 1983Google Scholar
  15. [ÖÖM 87]
    Özsoyoglu, G. / Özsuyoglu, Z.M. / Matos, V.: Extending Relational Algebra and Relational Calculus with Set-Valued Attributes and Aggregate Functions. ACM Transactions on Database Systems, Vol. 12, No. 4, December 1987 (pp. 566–592)Google Scholar
  16. [PS 85]
    Parent, C. / Spaccapietra, S.: An Algebra for a General Entity-Relationship Model. IEEE Transactions on Software Engineering, Vol. 11, No. 7, July 1985 (pp. 634–643)Google Scholar
  17. [Sh 81]
    Shipman, D.W.: The Functional Data Model and the Data Language DAPLEX. ACM Transactions on Database Systems, Vol. 6, No. 1, 1981 (pp. 140–173)Google Scholar
  18. [Su 87]
    Subieta, K.: Denotational Semantics of Query Languages. Information Systems, Vol. 12, No. 3, 1987 (pp. 69–82)Google Scholar
  19. [SS 77]
    Smith, J.M. / Smith, D.C.P.: Database Abstractions: Aggregation and Generalization. ACM Transactions on Database Systems, Vol. 2, No. 2, 1977 (pp. 105–133)Google Scholar
  20. [SS 86]
    Schek, H.-J. / Scholl, M.H.: The Relational Model with Relation-Valued Attributes. Information Systems, Vol. 11, No. 2, 1986 (pp. 137–147)Google Scholar
  21. [SSE 87]
    Sernadas, A. / Sernadas, C. / Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. 13th VLDB, Brighton 1987Google Scholar
  22. [TF 82]
    Teorey, F.J. / Fry, J.P.: Design of Database Structures.Prentice-Hall, Englewood Cliffs (N.J.), 1982Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Martin Gogolla
    • 1
  1. 1.Technische Universität Braunschweig Informatik / DatenbankenBraunschweigFederal Republic of Germany

Personalised recommendations