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.
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 .