La forma normal de clave de dominio (DKNF) es una de las posibles formas normales de una tabla de base de datos relacional . Fue propuesto por Ronald Feigin en 1981 .
Una variable de relación está en DKNF si y solo si cada restricción impuesta sobre ella es una consecuencia lógica de las restricciones de dominio y las restricciones clave impuestas sobre la variable de relación.
Una restricción de dominio es una restricción que especifica que solo se usen valores de un dominio específico para un atributo en particular . Una restricción es esencialmente una especificación de una lista (o el equivalente lógico de una lista) de valores permitidos de un tipo y una declaración de que el atributo especificado es de ese tipo.
Una restricción de clave es una restricción que establece que algún atributo o combinación de atributos es una clave candidata .
Cualquier variable de relación que esté en DKNF está necesariamente en 5NF. Sin embargo, no todas las variables de relación se pueden convertir a DKNF.
| formas normales | |
|---|---|