Cuprins:
Definiție - Ce înseamnă dependența funcțională?
Dependența funcțională este o relație care există atunci când un atribut determină în mod unic un alt atribut.
Dacă R este o relație cu atributele X și Y, o dependență funcțională între atribute este reprezentată ca X-> Y, care specifică Y depinde funcțional de X. Aici X este un set determinant și Y este un atribut dependent. Fiecare valoare a lui X este asociată cu exact o valoare Y.
Dependența funcțională dintr-o bază de date servește ca o constrângere între două seturi de atribute. Definirea dependenței funcționale este o parte importantă a proiectării relaționale a bazelor de date și contribuie la normalizarea aspectului.
Techopedia explică dependența funcțională
O dependență funcțională este banală dacă Y este un subset de X. Un SSN identifică angajatul în mod specific, dar un nume al angajatului nu poate distinge SSN deoarece mai mult de un angajat ar putea avea același nume.
Dependența funcțională definește forma normală Boyce-Codd și a treia formă normală. Aceasta păstrează dependența între atribute, eliminând repetarea informațiilor. Dependența funcțională este legată de o cheie candidată, care identifică în mod unic un tuple și determină valoarea tuturor celorlalte atribute din relație. În unele cazuri, seturile dependente funcțional sunt ireductibile dacă:
- Setul din dreapta al dependenței funcționale deține un singur atribut
- Setul de dependență funcțională din stânga nu poate fi redus, deoarece acest lucru poate schimba întregul conținut al setului
- Reducerea oricărei dependențe funcționale existente poate modifica conținutul setului
O proprietate importantă a unei dependențe funcționale este axioma lui Armstrong, care este folosită în normalizarea bazei de date. Într-o relație, R, cu trei atribute (X, Y, Z) Axioma Armstrong este valabilă dacă sunt îndeplinite următoarele condiții:
- Axioma tranzitivității: Dacă X-> Y și Y-> Z, atunci X-> Z
- Axioma de reflexie (subset proprietate): Dacă Y este un subset de X, atunci X-> Y
- Axioma de mărire: Dacă X-> Y, atunci XZ-> YZ
