Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Literature
K. Benecke, "On Dependencies for Hierarchical Data Structures", Proc. IMYCS Smolenice (CSSR) 1986, pp. 113–120
K. Benecke, "Hierachische Datenstrukturen", submitted Dissertation, Technical University Magdeburg
P.C. Fischer, S.J. Thomas, "Operators for non-first-normal form Relations", Proc. IEEE COMPSAC, Nov. 83 pp. 464–475
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–149
J.A. Goguen, J.W.Thatcher, E.G. Wagner, J.B. Wright, "Initial Algebraic Semantics", IBM Research Report RC 5364, 1975
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 1980
H. Reichel, "Structural Induction on Partial Algebras", Akademie Verlag, Berlin 1984
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–133
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benecke, K. (1988). On hierarchical normal forms. In: Biskup, J., Demetrovics, J., Paredaens, J., Thalheim, B. (eds) MFDBS 87. MFDBS 1987. Lecture Notes in Computer Science, vol 305. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19121-6_2
Download citation
DOI: https://doi.org/10.1007/3-540-19121-6_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19121-6
Online ISBN: 978-3-540-39124-1
eBook Packages: Springer Book Archive