Inhaltsverzeichnis:
Definition - Was bedeutet funktionale Abhängigkeit?
Funktionale Abhängigkeit ist eine Beziehung, die besteht, wenn ein Attribut ein anderes Attribut eindeutig bestimmt.
Wenn R eine Beziehung mit den Attributen X und Y ist, wird eine funktionale Abhängigkeit zwischen den Attributen als X → Y dargestellt, was angibt, dass Y funktional von X abhängig ist. Hier ist X eine Determinantenmenge und Y ist ein abhängiges Attribut. Jeder Wert von X ist genau einem Y-Wert zugeordnet.
Die funktionale Abhängigkeit in einer Datenbank dient als Einschränkung zwischen zwei Attributsätzen. Die Definition der funktionalen Abhängigkeit ist ein wichtiger Bestandteil des relationalen Datenbankdesigns und trägt zur Normalisierung von Aspekten bei.
Techopedia erklärt die Funktionsabhängigkeit
Eine funktionale Abhängigkeit ist trivial, wenn Y eine Teilmenge von X ist. In einer Tabelle mit den Attributen Mitarbeitername und Sozialversicherungsnummer (SSN) ist der Mitarbeitername funktional von der SSN abhängig, da die SSN für einzelne Namen eindeutig ist. Eine SSN identifiziert den Mitarbeiter spezifisch, aber ein Mitarbeitername kann die SSN nicht unterscheiden, da mehr als ein Mitarbeiter denselben Namen haben kann.
Die funktionale Abhängigkeit definiert die Boyce-Codd-Normalform und die dritte Normalform. Auf diese Weise bleibt die Abhängigkeit zwischen Attributen erhalten, und die Wiederholung von Informationen wird vermieden. Die funktionale Abhängigkeit bezieht sich auf einen Kandidatenschlüssel, der ein Tupel eindeutig identifiziert und den Wert aller anderen Attribute in der Beziehung bestimmt. In einigen Fällen sind funktionsabhängige Mengen nicht reduzierbar, wenn:
- Die rechte Gruppe der funktionalen Abhängigkeiten enthält nur ein Attribut
- Der linke Satz funktionaler Abhängigkeiten kann nicht reduziert werden, da dies den gesamten Inhalt des Satzes ändern kann
- Wenn Sie eine der vorhandenen funktionalen Abhängigkeiten reduzieren, ändert sich möglicherweise der Inhalt der Gruppe
Eine wichtige Eigenschaft einer funktionalen Abhängigkeit ist das Axiom von Armstrong, das bei der Datenbanknormalisierung verwendet wird. In einer Beziehung R mit drei Attributen (X, Y, Z) gilt Armstrongs Axiom, wenn die folgenden Bedingungen erfüllt sind:
- Axiom of Transivity: Wenn X-> Y und Y-> Z, dann X-> Z
- Axiom of Reflexivity (Subset Property): Wenn Y eine Untermenge von X ist, dann X-> Y
- Axiom of Augmentation: Wenn X-> Y, dann XZ-> YZ