Dependencia Funcional

El concepto de dependencia funcional aparece en varios contextos de la matemática y la lógica y se refiere a que determinados entes matemáticos pueden expresarse como funciones matemáticas de otros entes. 

Una dependencia funcional (DF) es una restricción que se establece entre dos conjuntos de atributos de la base de datos. atributos X e Y que son subconjuntos de R, especifica una restricción en las posibles tuplas que pueden formar un estado de relación r de R.