Dependencia funcional

El concepto de dependencia funcional aparece en varios contextos de la matemática y la lógica (teniendo una importante aplicación en bases de datos relacionales) y se refiere a que determinados entes matemáticos pueden expresarse como funciones matemáticas de otros entes.

El concepto de dependencia funcional es una generalización del concepto de dependencia lineal. Se dice que un conjunto de funciones es funcionalmente dependiente cuando existe una relación funcional entre ellas, o alternativamente, cuando alguna de las funciones del conjunto es expresable como función de las otras funciones del conjunto.

Más formalmente, si se tiene un conjunto abierto ${displaystyle Asubset mathbb {R} ^{n}}$ y una colección de funciones ${displaystyle {f_{1},dots ,f_{m}}}$, con ${displaystyle f_{i}:A o mathbb {R} }$, se dice que dicho conjunto es funcionalmente dependiente si existe una función ${displaystyle F:mathbb {R} ^{m} o mathbb {R} }$ tal que:^[1]​

En caso contrario se dice que la familia es funcionalmente independiente. La condición (1) anterior expresa que la función F no puede ser idénticamente nula en ningún abierto de ${displaystyle mathbb {R} ^{m}}$. La relación (2) expresa la existencia de una relación constante entre las funciones de la colección.

El teorema de dependencia funcional establece que una condición necesaria es que si las funciones ${displaystyle {f_{1},dots ,f_{m}}}$ son de clase ${displaystyle C^{1},}$ entonces todos los menores de orden m de la matriz jacobiana ${displaystyle left[D_{i}f_{j}(x) ight]}$ son idénticamente nulos, o equivalentemente que dicha matriz tiene un rango inferior a m.

Una aplicación importante de este teorema es que da condiciones bajo las cuales una función, que en principio depende de n parámetros, puede expresarse como función de un conjunto de variables más pequeño.

Sean ${displaystyle x}$ e ${displaystyle y}$ atributos (o conjunto de atributos) de una relación ${displaystyle !R}$. Se dice que ${displaystyle y}$ depende funcionalmente de ${displaystyle x}$ (se denota por ${displaystyle x o y}$) si cada valor de ${displaystyle x}$ tiene asociado un solo valor de ${displaystyle y}$. En esta relación, a ${displaystyle x}$ se le denomina determinante (de ${displaystyle y}$). Se dice que el atributo ${displaystyle y}$ es completamente dependiente de ${displaystyle x}$ si depende funcionalmente de ${displaystyle x}$ y no depende de ningún subconjunto propio de ${displaystyle x}$.

La dependencia funcional es la base del proceso de normalización de bases de datos relacionales, que garantiza la integridad de los datos.^[2]​