Dependencia Funcional

 ¿Qué significa dependencia funcional?

La dependencia funcional es una relación que existe cuando un atributo determina de forma ú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 qué Y es funcionalmente dependiente de X. Aquí X es un conjunto determinante e Y es un atributo dependiente. Cada valor de X está asociado precisamente con un valor de Y.
La dependencia funcional en una base de datos sirve como restricción entre dos conjuntos de atributos. La definición de dependencia funcional es una parte importante del diseño de bases de datos relacionales y contribuye a la normalización de aspectos.

Una dependencia funcional es trivial si Y es un subconjunto de X. En una tabla con los atributos del nombre del empleado y el 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 atributos, eliminando la repetición de información. La dependencia funcional está relacionada con una clave candidata, que identifica unívocamente una tupla y determina el valor de todos los demás atributos en la relación. En algunos casos, los conjuntos funcionalmente dependientes son irreducibles si:

• El conjunto de la derecha de la dependencia funcional tiene solo un atributo
• El conjunto izquierdo de dependencia funcional no se puede reducir, ya que esto puede cambiar todo el contenido del conjunto.
• Reducir cualquiera de las dependencias funcionales existentes podría cambiar el contenido del conjunto