BCNF y 3NF
La forma normal de Boyce Codd (también conocida como BCNF) es una forma normal, es decir, es una forma que proporciona criterios para determinar el grado de vulnerabilidad de una tabla a inconsistencias lógicas y anomalías. Esta forma normal se utiliza en la normalización de la base de datos. Es un poco más fuerte que su predecesor, la tercera forma normal (también conocida como 3NF). Se cree que una tabla está en BCNF si y solo si para cada una si sus dependencias funcionales no triviales, que es un límite que se establece entre dos conjuntos de atributos en una relación tomada de una base de datos, es una superclave (un conjunto de atributos de una variable relacional que postula que en todas las relaciones asignadas a esa variable específica no hay dos filas distintas que contengan el mismo valor para los atributos en ese conjunto en particular). BCNF postula que cualquier tabla que no cumpla con los criterios para ser atribuida como BNCF es vulnerable a inconsistencias lógicas.
3NF es una forma normal que también se utiliza en la normalización de bases de datos. Se piensa que una tabla está en 3NF si y solo si 1) la tabla está en segunda forma normal (o 2NF, que es un primer código normal, o 1NF, que cumple con los criterios para convertirse en 2NF), y 2) cada atributo no primo de la tabla no depende de forma transitiva de cada clave de la tabla (lo que significa que no depende directamente de cada clave). Existe otra postulación de 3NF que también se utiliza para definir las diferencias entre 3NF y BCNF.
Este teorema fue concebido por Carlo Zaniolo en 1982. Establece que una tabla está en 3NF si y solo si para cada dependencia funcional donde X â † 'A, al menos una de las tres condiciones debe cumplir: X â †' A, X es una superclave, o A es un atributo principal (lo que significa que A está contenido dentro de una clave candidata, o una superclave mínima para esa relación). Esta nueva definición difiere del teorema de un BCNF en que este último modelo simplemente eliminaría la última condición. Aun cuando actúa como una versión más nueva del teorema 3NF, hay una derivación del teorema de Zaniolo. Afirma que Xâ †’A no es trivial. Si eso es cierto, deje que A sea un atributo de clave de mediodía y también Y sea una clave de R. Si eso es así, entonces X → X. Esto significa que A no depende de Y de manera transitoria si y solo si X - 'Y (o si X es una superclave.
Resumen:
1. BCNF es una forma normal en la que para cada una de las dependencias funcionales no triviales de una tabla, es una superclave; 3NF es una forma normal en la que la tabla está en 2NF y cada atributo no primo no depende de forma transitiva de cada clave de la tabla.
