On hierarchical normal forms

  • Klaus Benecke
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 305)


Normal forms for non-flat tables (non-first normal form relations) are introduced. They aim to eliminate data redundancy. Further nice properties for querying and updating are guarantied; especially the ordinary transitivity rule for functional dependencies holds. Functional dependencies for structured tables with some inference rules are discussed.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ben86]
    K. Benecke, "On Dependencies for Hierarchical Data Structures", Proc. IMYCS Smolenice (CSSR) 1986, pp. 113–120Google Scholar
  2. [Ben87]
    K. Benecke, "Hierachische Datenstrukturen", submitted Dissertation, Technical University MagdeburgGoogle Scholar
  3. [FT83]
    P.C. Fischer, S.J. Thomas, "Operators for non-first-normal form Relations", Proc. IEEE COMPSAC, Nov. 83 pp. 464–475Google Scholar
  4. [BTW78]
    J.A. Goguen, J.W.Thatcher, E.G.Wagner, "An Initial Algebraic Approach to the Specification Correctness and Implementation of Abstract Data Types", Current Trends in Programming Methodology, Vol.4 Data Struc. R.T.Yeh (ed.), Prentice Hall, pp.80–149Google Scholar
  5. [GTWW75]
    J.A. Goguen, J.W.Thatcher, E.G. Wagner, J.B. Wright, "Initial Algebraic Semantics", IBM Research Report RC 5364, 1975Google Scholar
  6. [HKR80]
    U.L.Hupbach, H. Kaphengst, H. Reichel, "Initial Specifications of Data Types, Parameterized Data Types, and Algorithms",VEB Robotron ZFT Dresden, Techn. Report WIB 15 1980Google Scholar
  7. [Rei84]
    H. Reichel, "Structural Induction on Partial Algebras", Akademie Verlag, Berlin 1984Google Scholar
  8. [SS83]
    H-J. Schek, M. Scholl, "die NF2-Relationenalgebra zur einheitlichen Manipulation externer, konzeptioneller und interner Datenstrukturen", Informatik Fachberichte 72 ("Sprachen fuer Datenbanken"), Springer Verlag Berlin, Heidelberg, New-York, Tokyo 1983, pp.114–133Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Klaus Benecke
    • 1
  1. 1.Sektion MathematikTechnical University "Otto von Guericke"Magdeburg

Personalised recommendations