Boyce-Codd Normal Form (BCNF)
La FNBC exige, sobre la 3FN, que todo determinante sea una clave candidata; una versión reforzada de la 3FN.
Propósito
Eliminar las anomalías que persisten en la 3FN (dependencias parciales o transitivas de atributos primos respecto de claves candidatas).
Mecanismo
Para toda dependencia funcional X→Y, X debe ser una superclave (que contenga una clave candidata). Más estricta que la 3FN: esta restringe solo los atributos no primos, mientras que la FNBC restringe todos. La FNBC puede no preservar las dependencias funcionales.
Casos de uso
- Diseño de bases de datos
- Normalización de tablas
- Eliminación de anomalías de actualización