03 - Normalformen Flashcards
Definition: Normalform
Eine Normalform legt Eigenschaften fest, die von Relationen erfüllt oder nicht erfüllt werden können. Wenn eine Menge von Relationen alle Eigenschaften einer Normalform erfüllen, sagt man: “Die Relationen sind in der X. Normalform”
Definition: 1. Normalform
Eine Relation ist in 1. Normalform, wenn alle zugrundeliegende Gebiete nur atomare Werte enthalten (also jede normalisierte Relation).
Definition: Funktionale Abhängigkeit
Ein Attribut Y einer Relation ist funktional abhängig von einem Attribut X derselben Relation, wenn zu jedem X-Wert höchstens ein Y-Wert möglich ist. Funktional abhängige Attribute werden mit einem einfache Pfeil dargestellt.
Folgerungen zur funktionalen Abhängigkeit
Primärschlüssel, Schlüsselkandidat, Superschlüssel –> alle anderen Attribute.
Da alle drei jedes Tupel eindeutig identifizieren.
Definition: Volle funktionale Abhängigkeit
Ein Attribut Y einer Relation ist voll funktional abhängig von einem Attribut X derselben Relation, wenn:
- Es funktional abhängig von X ist
- Es nicht funktional abhängig von beliebigen Teilattributen von X ist.
Wird mit einem Pfeil mit zwei Strichen dargestellt.
Definition: 2. Normalform
Eine Relation ist in der zweiten Normalform wenn sie in der ersten Normalform ist, und jedes Nichtschlüsselattribut voll funktional vom Primärschlüssel abhängt.
Überführung von 1. NF zu 2. NF
Durch einen Zähler als Primärschlüssel (z.B. ID).
Definition: Determinante
Ein (eventuell zusammengesetztes) Attribut, von dem ein anderes voll funktional abhängt. D.h. die Linke Seite einer voll funktionalen Abhängigkeit.
Definition: 3. Normalform
Eine normalisierte Relation ist in der dritten Normalform, wenn jede Determinante dieser Relation ein Schlüsselkandidat ist. Somit ist auch jede Relation in der 3. Normalform redundanzfrei (mit Ausnahme von Schlüsselkandidaten).
