Innholdsfortegnelse:
Definisjon - Hva betyr funksjonsavhengighet?
Funksjonell avhengighet er et forhold som eksisterer når ett attributt unikt bestemmer et annet attributt.
Hvis R er en relasjon med attributtene X og Y, blir en funksjonell avhengighet mellom attributtene representert som X-> Y, som spesifiserer at Y er funksjonelt avhengig av X. Her er X et determinantsett og Y er et avhengig attributt. Hver verdi av X er assosiert med nøyaktig en Y-verdi.
Funksjonell avhengighet i en database fungerer som en begrensning mellom to sett attributter. Å definere funksjonsavhengighet er en viktig del av relasjonsdatabasedesign og bidrar til normalisering av aspekter.
Techopedia forklarer funksjonell avhengighet
En funksjonell avhengighet er triviell hvis Y er en delmengde av X. I en tabell med attributtene til ansattes navn og personnummer (SSN), er ansattes navn avhengig av SSN fordi SSN er unikt for individuelle navn. En SSN identifiserer den ansatte spesielt, men en ansattes navn kan ikke skille SSN fordi flere enn en ansatt kan ha samme navn.
Funksjonell avhengighet definerer Boyce-Codd normal form og tredje normal form. Dette bevarer avhengighet mellom attributter og eliminerer repetisjon av informasjon. Funksjonell avhengighet er relatert til en kandidatnøkkel, som unikt identifiserer en tuple og bestemmer verdien av alle andre attributter i forholdet. I noen tilfeller er funksjonsavhengige sett irreducible hvis:
- Det høyre settet med funksjonsavhengighet har bare ett attributt
- Det venstre settet med funksjonsavhengighet kan ikke reduseres, siden dette kan endre hele innholdet i settet
- Å redusere noe av den eksisterende funksjonelle avhengigheten kan endre innholdet i settet
En viktig egenskap ved en funksjonell avhengighet er Armstrongs aksiom, som brukes i database-normalisering. I et forhold er R, med tre attributter (X, Y, Z), Armstrongs aksiom gjeldende hvis følgende betingelser er oppfylt:
- Axiom of Transivity: Hvis X-> Y og Y-> Z, så X-> Z
- Axiom of Reflexivity (Subset Property): Hvis Y er en delmengde av X, så X-> Y
- Augiom of Augmentation: Hvis X-> Y, så XZ-> YZ
