Diferença entre BCNF e 3NF Diferença entre
A forma normal Boyce Codd (também conhecida como BCNF) é uma forma normal - essa é uma forma que fornece critérios para determinar o grau de vulnerabilidade de uma tabela em inconsistências e anomalias lógicas. Esse formulário normal é usado na normalização do banco de dados. É um pouco mais forte do que o antecessor, a terceira forma normal (também conhecida como 3NF). Considera-se que uma tabela está em BCNF se e somente se, para cada uma, se as dependências funcionais não triviais - isto é, um limite definido entre dois conjuntos de atributos em uma relação tomada de um banco de dados - é uma super-chave (um conjunto de atributos de uma variável relacional que postula que, em todas as relações atribuídas a essa variável específica, não existem duas linhas distintas contendo o mesmo valor para os atributos desse conjunto específico). O BCNF postula que qualquer tabela que não atenda aos critérios a serem atribuídos como BNCF é vulnerável a inconsistências lógicas.
3NF é uma forma normal que também é usada na normalização do banco de dados. Pensa-se que uma tabela está em 3NF se e somente se 1) a tabela está em segunda forma normal (ou 2NF, que é um primeiro código normal, ou 1NF, que atendeu aos critérios para se tornar um 2NF) e 2) Cada atributo não-principal da tabela é não-transitivamente dependente de cada chave da tabela (o que significa que não depende diretamente de cada chave). Há outra postulação de 3NF que também é usada para definir as diferenças entre 3NF e BCNF.
Este teorema foi concebido por Carlo Zaniolo em 1982. Ele afirma que uma tabela está em 3NF se e somente se, para cada dependência funcional, onde X † 'A, pelo menos uma das três condições deve aguentar: X † 'A, X é uma super-tecla, ou A é um atributo principal (o que significa que A está contido dentro de uma chave candidata - ou uma superquota mínima para essa relação). Essa nova definição difere do teorema de um BCNF na medida em que o último modelo simplesmente eliminaria a última condição. Mesmo quando atua como uma versão mais recente do teorema 3NF, há uma derivação do teorema de Zaniolo. Ele afirma que X † 'A não é trivial. Se isso for verdade, deixe A ser um atributo da chave do meio-dia e também permita que Y seja uma chave de R. Se isso for válido então Y † 'X. Isso significa que A não é transitivamente dependente de Y se e somente se X † 'Y (ou se X é uma super-chave.
Resumo:
1. BCNF é uma forma normal em que, para cada uma das dependências funcionais não triviais de uma tabela, é uma super-chave; 3NF é uma forma normal na qual a tabela está em 2NF e cada atributo não-primário é dependente não transitivamente de cada chave na tabela.
