La forma normal de Boyce Codd (también conocida como BCNF) es una forma normal que proporciona criterios para determinar la sensibilidad de la tabla a discrepancias lógicas y anomalías. Este formulario simple se usa para normalizar la base de datos. Esta es la tercera forma normal (también conocida como 3NF), ligeramente más fuerte que su predecesora. Se considera que la tabla está en BCNF, si todos tienen dependencias funcionales no triviales, que es el límite entre dos conjuntos de atributos de la base de datos, esta es una superclave ( 'paquete' Esta es una variable relacional que establece que en todas las relaciones asignadas a una variable particular, no hay dos cadenas separadas que contengan el mismo valor para los atributos en un conjunto particular. BCNF afirma que cualquier tabla que no cumpla con los criterios definidos como BNCF es propensa a inconsistencias lógicas.

3NF es una forma simple que también se usa para normalizar una base de datos. La Tabla 3NF supone que si 1) la tabla está en la segunda forma normal (o 2NF, que es el primer código normal o 1NF que cumple con los criterios para ser 2NF) y 2). Cada atributo no clave de la tabla es independiente de cada clave de la tabla (es decir, no está directamente relacionado con cada clave). Hay otro postulado de 3NF que también se utiliza para detectar diferencias entre 3NF y BCNF.

Este teorema fue desarrollado por Carlo Zaniolo en 1982. Si tiene X 3 'A, debe haber al menos una de las tres condiciones para cada dependencia funcional: si XX' A, X, la tabla está en 3NF. esta es una superclave o A es el atributo principal (lo que significa que existe en la tecla A para la nominación, o la superclave para esa relación). Esta nueva definición es diferente del teorema de BCNF porque el modelo final simplemente elimina el último. Aunque funciona como una nueva versión del teorema 3NF, el teorema de Zaniolo tiene sus orígenes. Dice XX no es simple. Si esto es cierto, deje que A sea el atributo del mediodía, y deje que Y sea la tecla Y. Si Y en este caso es Y 'X, significa que A no es independiente de Y. 'Y (o si X es una superclave).

Resumen:

1. BCNF es una forma simple sin superclaves de dependencias funcionales triviales para cada tabla; 3NF es una forma normal en la que la tabla está en 2NF, y cada atributo no central depende de cada clave de la tabla, no de transición.

Referencias