La forma normal de clave elemental ( EKNF ) es una mejora sutil en 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 generar información redundante en las columnas superpuestas.
Una tabla está en EKNF si y solo si todas sus dependencias funcionales elementales comienzan en claves completas o terminan en atributos clave elementales. 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 hay dependencia funcional X '→ A que también se cumple con X' siendo un subconjunto estricto de X), y una La clave elemental es una clave X para la que existe un atributo A tal que X → A es una dependencia funcional elemental.
EKNF fue definido por Carlo Zaniolo en 1982. [1]
Ejemplo
Para ver un ejemplo de una tabla cuya forma normal más alta es EKNF, consulte la forma normal de Boyce-Codd # Alcanzabilidad de BCNF .
Notas
- ↑ a b Zaniolo, Carlo (septiembre de 1982). "Una nueva forma normal para el diseño de esquemas de bases de datos relacionales" (PDF) . Transacciones ACM en sistemas de bases de datos . 7 (3): 489–499. doi : 10.1145 / 319732.319749 . S2CID 15790238 .[ página necesaria ]
Referencias
- Halpin, TA; Morgan, Antony J .; Morgan, Tony. Modelado de información y bases de datos relacionales .
- Fecha, CJ "Forma normal de clave elemental (EKNF)". Diseño de bases de datos y teoría relacional .
- Celko, Joe. SQL para Smarties: Programación SQL avanzada (3ª ed.).