Databases Reference
In-Depth Information
zeichnet anschaulich die Überschriften der Spalten in den Ta-
bellen. Weiterhin muss bedacht werden, dass jede Menge im
Spezialfall genau ein Attribut enthalten kann.
Definition funktionale Abhängigkeit: Gegeben sei eine
Tabelle. Eine Menge von Attributen B der Tabelle ist
funktional abhängig von einer Menge von Attributen A
der Tabelle, wenn es zu jeder konkreten Belegung der
Attribute aus A nur maximal eine konkrete Belegung der
Attribute aus B geben kann. Für funktionale Abhängig-
keiten wird die Schreibweise A
B genutzt.
Bevor diese Definition genauer analysiert wird, muss der Be-
griff Belegung geklärt werden. Anschaulich handelt es dabei
um die Daten, die in einer Tabelle für eine Attributkombination
eingetragen sein können.
Definition Belegung von Attributen: Gegeben seien die
Attribute A 1 , ..., A n einer Tabelle T. Alle Elemente aus
A 1
A n werden mögliche Belegungen der Attribute ge-
nannt. In der Tabelle T sind die für diese Tabelle konkre-
ten Belegungen aufgeführt.
In der Tabelle Projektmitarbeit gibt es folgende Belegungen von
MiNr und Name: (1, Egon), (2, Erna) und (3, Uwe).
Anschaulich besagt eine funktionale Abhängigkeit A
×
...
×
B, dass,
wenn man eine Belegung der Attribute aus A kennt, man dazu
genau eine Belegung der Attribute aus B finden kann.
Wenn garantiert ist, dass jeder Mitarbeiter eine eindeutige Mit-
arbeiternummer (MiNr) hat, dann gilt die funktionale Abhän-
gigkeit
{MiNr}
{Name}
Wird vom Mitarbeiter 3 gesprochen, ist eindeutig, dass ein Uwe
gemeint ist. Dass viele Nummern nicht vergeben sind, ist dabei
kein Problem. Wichtig bei diesem Sachverhalt ist, dass man aus
dem Anwendungsbereich weiß, dass jeder Mitarbeiter eine ein-
deutige Nummer erhält. Es gilt:
Veranschauli-
chung von funk-
tionaler Abhän-
gigkeit
Anmerkung: Aus gegebenen Tabellen mit ihren Inhalten
kann nie auf eine funktionale Abhängigkeit A
B ge-
schlossen werden. An den konkreten Einträgen kann
man höchstens erkennen, dass eine funktionale Abhän-
75
Search WWH ::




Custom Search