Innehållsförteckning:
Definition - Vad betyder funktionellt beroende?
Funktionellt beroende är en relation som existerar när ett attribut unikt bestämmer ett annat attribut.
Om R är en relation med attributen X och Y, representeras ett funktionellt beroende mellan attributen som X-> Y, som anger att Y är funktionellt beroende av X. Här är X en determinantuppsättning och Y är ett beroende attribut. Varje X-värde är associerat med exakt ett Y-värde.
Funktionellt beroende i en databas fungerar som en begränsning mellan två uppsättningar attribut. Att definiera funktionellt beroende är en viktig del av relationen databasdesign och bidrar till aspektnormalisering.
Techopedia förklarar funktionellt beroende
Ett funktionellt beroende är trivialt om Y är en delmängd av X. I en tabell med attributen för anställdens namn och socialförsäkringsnummer (SSN) är anställdens namn funktionellt beroende av SSN eftersom SSN är unikt för enskilda namn. En SSN identifierar anställden specifikt, men ett anställdnamn kan inte skilja SSN eftersom mer än en anställd kan ha samma namn.
Funktionellt beroende definierar Boyce-Codd normal form och tredje normal form. Detta bevarar beroendet mellan attribut och eliminerar upprepningen av information. Funktionellt beroende är relaterat till en kandidatnyckel, som unikt identifierar en tupel och bestämmer värdet på alla andra attribut i relationen. I vissa fall är funktionellt beroende uppsättningar oåterkalleliga om:
- Den högra uppsättningen av funktionellt beroende har bara ett attribut
- Den vänstra uppsättningen av funktionellt beroende kan inte minskas, eftersom det kan förändra hela innehållet i uppsättningen
- Att minska något av det befintliga funktionella beroendet kan ändra uppsättningens innehåll
En viktig egenskap hos ett funktionellt beroende är Armstrongs axiom, som används vid databasnormalisering. I en relation gäller R med tre attribut (X, Y, Z) Armstrongs axiom om följande villkor är uppfyllda:
- Axiom of Transivity: Om X-> Y och Y-> Z, då X-> Z
- Axiom of Reflexivity (Subset Property): Om Y är en delmängd av X, då X-> Y
- Förstärkningens axiom: Om X-> Y, då XZ-> YZ
