Advertisement

Berechnung von Normalformen

  • Thomas Studer
Chapter

In diesem Kapitel geht es um Algorithmen, die ein gegebenes Schema in Normalform zerlegen. Dazu führen wir als erstes den Armstrong Kalkül ein, mit dem die Hülle einer Menge von funktionalen Abhängigkeiten berechnet werden kann. Dann betrachten wir einen Algorithmus zur Berechnung der Hülle einer Menge von Attributen unter einer Menge von funktionalen Abhängigkeiten. Das heisst, wir berechnen all diejenigen Attribute, welche von einer gegebenen Attributmenge funktional abhängig sind. Weiter geben wir einen Algorithmus an, um eine minimale Überdeckung einer Menge von funktionalen Abhängigkeiten zu berechnen. Schliesslich untersuchen wir einen Zerlegungsalgorithmus um ein Schema verlustfrei in BCNF zu zerlegen, sowie einen Synthesealgorithmus um ein Schema verlustfrei und abhängigkeitserhaltend in die dritte Normalform zu zerlegen.

Armstrong-Kalkül

Die Hülle F+ einer Menge F von funktionalen Abhängigkeiten wurde in Definition  9.12unter Bezugnahme auf Erfüllbarkeit semantisch...

Weiterführende Literatur1

  1. 1.
    Armstrong, W.W.: Dependency structures of data base relationships. In: IFIP Congress, S. 580–583 (1974)Google Scholar
  2. 2.
    Bernstein, P.A.: Synthesizing third normal form relations from functional dependencies. ACM Trans. Database Syst. 1(4), 277–298 (1976).  https://doi.org/10.1145/320493.320489 CrossRefGoogle Scholar
  3. 3.
    Biskup, J., Dayal, U., Bernstein, P.A.: Synthesizing independent database schemas. In: Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, SIGMOD ’79, 143–151. ACM (1979).  https://doi.org/10.1145/582095.582118
  4. 4.
    Tsou, D.M., Fischer, P.C.: Decomposition of a relation scheme into Boyce-Codd normal form. SIGACT News 14(3), 23–29 (1982).  https://doi.org/10.1145/990511.990513 CrossRefGoogle Scholar

Copyright information

© Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature 2019

Authors and Affiliations

  • Thomas Studer
    • 1
  1. 1.Universität BernBernSchweiz

Personalised recommendations