Normalizacion por medio de dependencias funcionales

Las dependencias funcionales son una restricción al conjunto de relaciones legales. Nos permiten expresar hechos acerca de la empresa que estamos modelando con la base de datos.

Superclave se puede definir como sigue, sea R un esquema de relaciones. Un subconjunto K de R es una superclave de R sí, en cualquier relación legal r(R), para todos los pares t1 y t2 de tuplas de r tales que t1 ¹ t2, t1[K]¹ t2[K]. Es decir, dos tuplas en cualquier relación legal r(R) no pueden tener el mismo valor en el conjunto de atributos K.

La noción de dependencia funcional generaliza la definición de superclave. Sea µÍ R y bÍ R. La dependencia funcional µèèb se cumple en R si en cualquier relación legal r(R), para todos los pares de tuplas t1 yt2 en r tales que t1[µ ]=t2[µ ], también se cumple que t1[b ]=t2[b ].

Utilizando la notación de la dependencia funcional, decimos que K es una superclave de R si KèèR. Es decir, K es una superclase sí siempre que t1[K]=t2[K]., también se cumpla que t1[R]=t2[R] (es decir, t1 = t2).

Las dependencias funcionales nos permite expresar restricciones que no pueden expresarse por medio de superclaves. Considérese el esquema siguiente:

Esquema – préstamo = nombre – sucursal, numero – préstamo, nombre – cliente, cantidad.

Ejemplo: si un préstamo se hace a mas de un cliente en este caso a marido/mujer, entonces no esperaríamos que el atributo numero – préstamo fuera una superclave.