Turinys:
Apibrėžimas - ką reiškia funkcinė priklausomybė?
Funkcinė priklausomybė yra santykis, egzistuojantis, kai vienas požymis unikaliai lemia kitą požymį.
Jei R yra ryšys su X ir Y atributais, funkcinė priklausomybė tarp atributų pavaizduota kaip X-> Y, kuris nurodo Y funkciškai priklausomą nuo X. Čia X yra determinantų rinkinys, o Y yra priklausomas atributas. Kiekviena X reikšmė yra susieta su tiksliai viena Y reikšme.
Funkcinė priklausomybė duomenų bazėje yra dviejų atributų rinkinių suvaržymas. Funkcinės priklausomybės apibrėžimas yra svarbi reliacinių duomenų bazių projektavimo dalis ir prisideda prie aspektų normalizavimo.
„Techopedia“ paaiškina funkcinę priklausomybę
Funkcinė priklausomybė yra nereikšminga, jei Y yra X pogrupis. Lentelėje su darbuotojo vardo ir socialinio draudimo numeriu (SSN) atributai darbuotojo vardas priklauso nuo SSN, nes atskirų vardų SSN yra unikalus. SSN konkrečiai identifikuoja darbuotoją, tačiau darbuotojo vardas negali atskirti SSN, nes tą patį vardą gali turėti daugiau nei vienas darbuotojas.
Funkcinė priklausomybė nusako „Boyce-Codd“ normaliąją formą ir trečiąją normaliąją formą. Taip išsaugoma priklausomybė tarp požymių, pašalinamas informacijos pasikartojimas. Funkcinė priklausomybė yra susijusi su kandidato raktu, kuris vienareikšmiškai identifikuoja esmę ir nustato visų kitų atributų reikšmę santykyje. Kai kuriais atvejais funkciškai priklausomi rinkiniai yra nesuardomi, jei:
- Dešinysis funkcinės priklausomybės rinkinys turi tik vieną požymį
- Kairės pusės funkcinės priklausomybės rinkinys negali būti sumažintas, nes tai gali pakeisti visą rinkinio turinį
- Sumažinus bet kurią esamą funkcinę priklausomybę, gali pasikeisti rinkinio turinys
Svarbi funkcinės priklausomybės savybė yra Armstrongo aksioma, naudojama duomenų bazės normalizavimui. Ryšyje R, turintis tris požymius (X, Y, Z), Armstrongo aksioma yra teisinga, jei tenkinamos šios sąlygos:
- Tranzityvumo aksioma: Jei X-> Y ir Y-> Z, tada X-> Z
- Refleksyvumo aksioma (pogrupio ypatybė): Jei Y yra X pogrupis, tada X-> Y
- Augmentacijos aksioma: Jei X-> Y, tada XZ-> YZ
