Obsah:
Definícia - Čo znamená funkčná závislosť?
Funkčná závislosť je vzťah, ktorý existuje, keď jeden atribút jednoznačne určuje iný atribút.
Ak R je vzťah k atribútom X a Y, funkčná závislosť medzi atribútmi je predstavovaná ako X-> Y, ktorá špecifikuje, že Y je funkčne závislá od X. X je tu sada determinantov a Y je závislý atribút. Každá hodnota X je spojená s presne jednou hodnotou Y.
Funkčná závislosť v databáze slúži ako obmedzenie medzi dvoma súbormi atribútov. Definovanie funkčnej závislosti je dôležitou súčasťou návrhu relačnej databázy a prispieva k normalizácii aspektov.
Techopedia vysvetľuje funkčnú závislosť
Funkčná závislosť je triviálna, ak Y je podskupina X. V tabuľke s atribútmi mena zamestnanca a čísla sociálneho zabezpečenia (SSN) je meno zamestnanca funkčne závislé od SSN, pretože SSN je jedinečný pre jednotlivé mená. SSN identifikuje zamestnanca konkrétne, ale meno zamestnanca nemôže rozlišovať SSN, pretože viac ako jeden zamestnanec by mohol mať rovnaké meno.
Funkčná závislosť definuje normálny tvar Boyce-Codd a tretí normálny tvar. To zachováva závislosť medzi atribútmi a vylučuje opakovanie informácií. Funkčná závislosť súvisí s kandidátom na kľúč, ktorý jedinečne identifikuje n-ticu a určuje hodnotu všetkých ostatných atribútov vo vzťahu. V niektorých prípadoch sú funkčne závislé množiny nezmeniteľné, ak:
- Pravá množina funkčných závislostí má iba jeden atribút
- Ľavú množinu funkčných závislostí nemožno zmenšiť, pretože to môže zmeniť celý obsah súpravy
- Zníženie existujúcej funkčnej závislosti by mohlo zmeniť obsah súpravy
Dôležitou vlastnosťou funkčnej závislosti je Armstrongov axiom, ktorý sa používa pri normalizácii databázy. Vo vzťahu R platí Armstrongova axiom s tromi atribútmi (X, Y, Z), ak sú splnené tieto podmienky:
- Axióma transivity: Ak X-> Y a Y-> Z, potom X-> Z
- Axiom reflexivity (podmnožina vlastností): Ak Y je podmnožina X, potom X-> Y
- Axiom augmentácie: Ak X-> Y, potom XZ-> YZ
