stringtranslate.com

Forma normal de clave elemental

La forma normal de clave elemental ( EKNF ) es una mejora sutil de la tercera forma normal , por lo que las tablas EKNF están en 3NF por definición. Esto sucede cuando hay más de una clave compuesta única y se superponen. Estos casos pueden provocar información redundante en las columnas superpuestas.

Historia

El EKNF fue definido por Carlo Zaniolo en 1982. [1]

Definición

Una tabla está en EKNF si y solo si todas sus dependencias funcionales elementales comienzan en claves completas o terminan en atributos de clave elemental. Para cada dependencia funcional no trivial completa de la forma X→Y, X es una clave o Y es (una parte de) una clave elemental. [1]

En esta definición, una dependencia funcional elemental es una dependencia funcional completa (una dependencia funcional no trivial X → A tal que no existe ninguna dependencia funcional X' → A que también se cumpla siendo X' un subconjunto estricto de X), y una clave elemental es una clave X para la que existe un atributo A tal que X → A es una dependencia funcional elemental.

Ejemplo

Para ver un ejemplo de una tabla cuya forma normal más alta es EKNF, consulte Forma normal de Boyce-Codd#Viabilidad de BCNF .

Notas

  1. ^ ab Zaniolo, Carlo (septiembre de 1982). "Una nueva forma normal para el diseño de esquemas de bases de datos relacionales" (PDF) . ACM Transactions on Database Systems . 7 (3): 489–499. doi :10.1145/319732.319749. S2CID  15790238.[ página necesaria ]

Referencias