Kazalo:
Opredelitev - Kaj pomeni funkcionalna odvisnost?
Funkcionalna odvisnost je odnos, ki obstaja, ko en atribut enotno določa drug atribut.
Če je R razmerje z atributoma X in Y, je funkcionalna odvisnost med atributi predstavljena kot X-> Y, kar določa, da je Y funkcionalno odvisen od X. Tu je X določljiv niz in Y odvisen atribut. Vsaka vrednost X je povezana z natančno eno vrednostjo Y.
Funkcionalna odvisnost v bazi podatkov služi kot omejitev med dvema nizoma atributov. Določitev funkcionalne odvisnosti je pomemben del načrtovanja relacijskih baz in prispeva k normalizaciji vidikov.
Tehopedija razlaga funkcijsko odvisnost
Funkcionalna odvisnost je trivialna, če je Y podvrsto X. V tabeli z atributi imena zaposlenega in številke socialne varnosti (SSN) je ime zaposlenega funkcionalno odvisno od SSN, ker je SSN edinstven za posamezna imena. SSN natančno identificira zaposlenega, vendar ime zaposlenega ne more razlikovati SSN, ker bi lahko imelo več zaposlenih enak naziv.
Funkcionalna odvisnost opredeljuje Boyce-Codd normalno obliko in tretjo normalno obliko. S tem se ohranja odvisnost med atributi, kar odpravlja ponavljanje informacij. Funkcionalna odvisnost je povezana s kandidatnim ključem, ki enolično identificira nabor in določa vrednost vseh drugih atributov v relaciji. V nekaterih primerih so funkcionalno odvisni nizi nezdružljivi, če:
- Desni niz funkcionalne odvisnosti ima samo en atribut
- Levega niza funkcionalne odvisnosti ni mogoče zmanjšati, saj lahko to spremeni celotno vsebino nabora
- Zmanjšanje katere koli od obstoječih funkcionalnih odvisnosti lahko spremeni vsebino niza
Pomembna lastnost funkcionalne odvisnosti je Armstrongov aksiom, ki se uporablja pri normalizaciji podatkovnih baz. V razmerju R s tremi atributi (X, Y, Z) Armstrongov aksiom velja, če so izpolnjeni naslednji pogoji:
- Aksiom prehodnosti: Če je X-> Y in Y-> Z, potem je X-> Z
- Aksiom odsevnosti (lastnost podskupine): Če je Y podvrsto X, potem X-> Y
- Aksiom povečanja: Če je X-> Y, potem je XZ-> YZ
