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.
El EKNF fue definido por Carlo Zaniolo en 1982. [1]
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.
Para ver un ejemplo de una tabla cuya forma normal más alta es EKNF, consulte Forma normal de Boyce-Codd#Viabilidad de BCNF .