Taula de continguts:
Definició: què significa dependència funcional?
La dependència funcional és una relació que existeix quan un atribut determina de manera exclusiva un altre atribut.
Si R és una relació amb els atributs X i Y, una dependència funcional entre els atributs es representa com X-> Y, que especifica Y depèn funcionalment de X. Aquí X és un conjunt determinant i Y és un atribut dependent. Cada valor de X s’associa amb precisament un valor Y.
La dependència funcional en una base de dades serveix com a restricció entre dos conjunts d’atributs. La definició de la dependència funcional és una part important del disseny de bases de dades relacionals i contribueix a la normalització d’aspectes.
La Techopedia explica la Dependència Funcional
Una dependència funcional és trivial si Y és un subconjunt de X. En una taula amb els atributs del nom de l’empleat i del número de Seguretat Social (SSN), el nom de l’empleat depèn funcionalment de SSN perquè el SSN és únic per a noms individuals. Un SSN identifica específicament l'empleat, però el nom d'un empleat no pot distingir el SSN perquè més d'un empleat podria tenir el mateix nom.
La dependència funcional defineix Boyce-Codd forma normal i tercera forma normal. Això preserva la dependència entre atributs, eliminant la repetició d’informació. La dependència funcional està relacionada amb una clau de candidat, que identifica de manera exclusiva una tupla i determina el valor de tots els altres atributs de la relació. En alguns casos, els conjunts funcionalment dependents són irreductibles si:
- El conjunt dret de la dependència funcional només té un atribut
- No es pot reduir el conjunt esquerre de la dependència funcional, ja que pot canviar tot el contingut del conjunt
- Reduir qualsevol de les dependències funcionals existents pot canviar el contingut del conjunt
Una propietat important d’una dependència funcional és l’axioma d’Armstrong, que s’utilitza en la normalització de bases de dades. En una relació, R, amb tres atributs (X, Y, Z) L'axioma d'Armstrong és cert si es compleixen les condicions següents:
- Axioma de la transitivitat: si X-> Y i Y-> Z, llavors X-> Z
- Axioma de Reflexivitat (subconjunt de la propietat): Si Y és un subconjunt de X, llavors X-> Y
- Axioma d’Augment: Si X-> Y, XZ-> YZ
