Dependencia funcional

Una dependencia funcional en bases de datos es una dependencia que satisface las propiedades de una función.

Existe una dependencia en una tabla de base de datos cuando el valor de un atributo depende del valor de un solo atributo o de un grupo de atributos. La dependencia es funcional cuando satisface las propiedades de una función y la propiedad principal de una función es que da un valor único para alguna entrada. En otras palabras, si el valor del atributo o atributos dependientes es el mismo para algún valor del atributo o atributos determinantes en todas las tuplas, entonces es una dependencia funcional.

Símbolo

Una dependencia funcional se denota por ‘→’

ej . A → B

Donde A es el atributo determinante y B es el atributo dependiente. A → B se puede leer como A determina B.

Tipos de dependencias funcionales

Dependencia trivial: Si el dependiente es un subconjunto del determinante. Como sugiere el nombre, la dependencia trivial es algo que existe pero no tiene importancia.


por ejemplo
, AB → B

Dependencia no trivial: en la dependencia no trivial, la parte dependiente no es un subconjunto de la parte determinante.

Dependencia transitiva: si una dependencia funcional se logra a través de dos dependencias funcionales indirectamente, la dependencia se denomina dependencia transitiva.


por ejemplo ,
A → B y B → C sugiere A → C

Ejemplo

Para averiguar si una dependencia es funcional, compruebe si el atributo dependiente es el mismo para algún valor del atributo determinante en toda la tabla.

Considere la siguiente tabla

Col1 Col2 Col3
UN 3 5
B 5 4
UN 3 8
B 5 4

Col1 → Col2 es válido ya que el valor es el mismo tanto para As como para Bs.
Col1 → Col3 no es válido ya que para la segunda A el valor de Col3 es 8, que debería haber sido 5.