Dritte Normalform Relationstyp R(A1,...,An) und Menge  von FDs und MVDs für R sei im Folgenden fest vorgegeben. R ist in dritter Normalform (3NF), wenn.

Präsentation zum Thema: "Dritte Normalform Relationstyp R(A1,...,An) und Menge  von FDs und MVDs für R sei im Folgenden fest vorgegeben. R ist in dritter Normalform (3NF), wenn."—  Präsentation transkript:

1 Dritte Normalform Relationstyp R(A1,...,An) und Menge  von FDs und MVDs für R sei im Folgenden fest vorgegeben. R ist in dritter Normalform (3NF), wenn für jede nichttriviale FD X  A mit A Nichtschlüsselattribut gilt: X ist Superschlüssel. Dritte Normalform gilt nicht in FLUGANGABE, da Abhängigkeit von,nach  Entfernung besteht und {von,nach} nicht Superschlüssel ist. Relation FLUGANGABE ist in dritter Normalform, da alle Attribute Schlüsselattribute sind, TICKET weil ticketNr Superschlüssel ist. Zerlegung von FLUGANGABE: FLUG (flugNr, von, nach, ftypId, wochentage, abflugszeit, ankunftszeit) FLUGSTRECKE (von, nach, entfernung)

2 Dritte Normalform: Merkregeln
Bei Prüfung auf dritte Normalform sind ausschließlich Nichtschlüsselattribute und nichtreflexive FDs zu betrachten. Für jedes Nichtschlüsselattribut A und jede nichtreflexive funktionale Abhängigkeit X  A muss gelten: X ist Superschlüssel, d.h., X  U mit U = Menge aller Attribute. Dritte Normalform ist also nicht gegeben, wenn ein Nichtschlüsselattribut nichtreflexiv von (einer Kombination von) Nichtschlüsselattributen oder Schlüsselattributen, die zusammen keinen Superschlüssel bilden, abhängt. Dritte Normalform liegt insbesondere (aber nicht nur!) vor, wenn es keine Nichtschlüsselattribute oder keine nichtreflexiven FDs gibt.

3 Dritte Normalform: Zwischenergebnis
FLUG (flugNr, von, nach, ftypId, wochentage, abflugszeit, ankunftszeit) flugNr  (von, nach, ftypId, wochentage, abflugszeit, ankunftszeit) (von, nach, abflugszeit)  flugNr FLUGSTRECKE (von, nach, entfernung) (von, nach)  entfernung TICKET (ticketNr, name) ticketNr  name BUCHUNG (flugNr, ticketNr, platzCode, datum) (flugNr, ticketNr)  (platzCode, datum) (flugNr, platzCode, datum)  ticketNr