Citater fra C.J.Date "An Introduction to Database Systems" kapitel 9:
En funktionel afhængighed er en mange-til-en relation mellem to sæt attributter indenfor en given relation. [271]
Funktionel afhængighed udgør grundlaget for et videnskabeligt angreb på en række praktiske problemer. Dette kan lade sig gøre, fordi funktionelle afhængigheder er i besiddelse af en række interessante formelle egenskaber, som gør det muligt at behandle de omtalte problemer på en formel og rigoristisk (hård) måde. [271]
X og Y betegner vilkårlige delmængder af attributterne i en relation. Y siges at være funktionelt afhængig af X, når der til en given værdi for X i en vilkårlig tupel svarer en bestemt værdi for Y i den samme tupel. [272]
Venstre og højre side i en funktionel afhængighed kaldes sommetider henholdsvis determinant og afhængig (dependent). [273]
Når man tænker på relationsvariabler - og især når man tænker på basisrelationer - er man normalt ikke specielt interesseret i de funktionelle afhængigheder, der tilfældigvis forekommer på et eller andet tidspunkt; men man er mere interesseret i funktionelle afhængigheder, der gælder for alle mulige værdier i den pågældende [relations]variabel. [273]
X og Y betegner vilkårlige delmængder af attributterne i en relation. Y siges at være funktionelt afhængig af X, når der til en given værdi for X i enhver gyldig tupel i relationen svarer en bestemt værdi for Y i den samme tupel. Når man taler om funktionel afhængighed, er det normalt i denne mere krævende, tidsuafhængige betydning og definition. [273]
Det skal påpeges, at hvis X er en kandidatnøgle i en relation, så må alle øvrige attributter i relationen nødvendigvis være funktionelt afhængige af X. Faktisk er det sådan, at hvis der eksisterer en funktionel afhængighed mellem X og de øvrige attributter, og X ikke er en kandidatnøgle, så er der redundans i relationen. [274]
En åbenbar måde til reduktion i mængden
af funktionelle afhængigheder er at fjerne alle trivielle
afhængigheder. En afhængighed siges at være
triviel, hvis den ikke kan undgå at være opfyldt.
Det er altid tilfældet, hvis den afhængige består
af en delmængde af den bestemmendes attributter. [275]
Indlagt 25. april 1997