Tabla de contenido:
Definición - ¿Qué significa dependencia funcional?
La dependencia funcional es una relación que existe cuando un atributo determina de manera única otro atributo.
Si R es una relación con los atributos X e Y, una dependencia funcional entre los atributos se representa como X-> Y, que especifica que Y depende funcionalmente de X. Aquí X es un conjunto determinante e Y es un atributo dependiente. Cada valor de X está asociado con precisamente un valor Y.
La dependencia funcional en una base de datos sirve como una restricción entre dos conjuntos de atributos. La definición de la dependencia funcional es una parte importante del diseño de la base de datos relacional y contribuye a la normalización de los aspectos.
Techopedia explica la dependencia funcional
Una dependencia funcional es trivial si Y es un subconjunto de X. En una tabla con los atributos de nombre del empleado y número de Seguro Social (SSN), el nombre del empleado depende funcionalmente del SSN porque el SSN es único para los nombres individuales. Un SSN identifica al empleado específicamente, pero el nombre de un empleado no puede distinguir el SSN porque más de un empleado podría tener el mismo nombre.
La dependencia funcional define la forma normal de Boyce-Codd y la tercera forma normal. Esto preserva la dependencia entre los atributos, eliminando la repetición de información. La dependencia funcional está relacionada con una clave candidata, que identifica de forma exclusiva una tupla y determina el valor de todos los demás atributos en la relación. En algunos casos, los conjuntos funcionalmente dependientes son irreductibles si:
- El conjunto de dependencias funcionales de la derecha tiene solo un atributo
- El conjunto izquierdo de dependencia funcional no se puede reducir, ya que esto puede cambiar todo el contenido del conjunto
- La reducción de cualquiera de las dependencias funcionales existentes podría cambiar el contenido del conjunto
Una propiedad importante de una dependencia funcional es el axioma de Armstrong, que se utiliza en la normalización de la base de datos. En una relación, R, con tres atributos (X, Y, Z), el axioma de Armstrong es válido si se cumplen las siguientes condiciones:
- Axioma de Transividad: Si X-> Y e Y-> Z, entonces X-> Z
- Axioma de reflexividad (propiedad de subconjunto): si Y es un subconjunto de X, entonces X-> Y
- Axioma de aumento: si X-> Y, entonces XZ-> YZ
