La Dependencia funcional

Una dependencia funcional es un tipo de restricción que constituye una generalización del concepto de clave, como se estudió en el modelo E-R y el modelo relacional. Pero no es tan sencillo localizar las dependencias, ya que requieren un análisis de los atributos o, con más precisión, de las interrelaciones entre atributos, y frecuentemente la intuición no es suficiente a la hora de encontrar y clasificar todas las dependencias. La teoría nos puede ayudar un poco en ese sentido, clasificando las dependencias en distintos tipos, indicando qué características tiene cada tipo.

Es importante mencionar que las dependencias se pueden dar entre atributos o entre subconjuntos de atributos. Estas dependencias son consecuencia de la estructura de la base de datos y de los objetos del mundo real que describen, y no de los valores actualmente almacenados en cada relación. 

La dependencia funcional se representa como:

X -> Y.