Razlika između BCNF i 3NF

BCNF nasuprot 3NF

Normalan oblik Boyce Codda (poznat i kao BCNF) normalan je oblik - to je oblik koji pruža kriterije za određivanje stupnja ranjivosti tablice na logičke nedosljednosti i anomalije. Ovaj se uobičajeni oblik koristi u normalizaciji baze podataka. Nešto je jači od svog prethodnika, trećeg normalnog oblika (također poznat kao 3NF). Smatra se da je tablica u BCNF-u ako i samo ako za svaki, ako njegove ne-trivijalne funkcionalne ovisnosti - to je granica koja je postavljena između dva skupa atributa u odnosu preuzetom iz baze podataka - je superkey (skup atributi relacijske varijable koji postulira da u svim odnosima dodijeljenim toj specifičnoj varijabli ne postoje dva različita reda koja sadrže istu vrijednost za atribute u tom određenom skupu). BCNF postulira da je svaka tablica koja ne ispunjava kriterije da bi se mogla pripisati BNCF-u ranjiva na logičke nedosljednosti.

3NF je normalan oblik koji se koristi i u normalizaciji baze podataka. Smatra se da je tablica u 3NF ako i samo ako je 1) tablica u drugom normalnom obliku (ili 2NF, što je prvi normalan kôd, ili 1NF, koji je ispunio kriterije da postane 2NF) i 2) svaki atribut neimaštine tablice neprelazno ovisi o svakom ključu tablice (što znači da nije izravno ovisan o svakoj tipki). Postoji još jedna postulacija 3NF koja se također koristi da se utvrde razlike između 3NF i BCNF.

Taj je teorem osmislio Carlo Zaniolo 1982. godine. Kaže da je tablica u 3NF ako i samo ako za svaku funkcionalnu ovisnost gdje je X ′ A A, mora postojati barem jedan od tri uvjeta: ili X † 'A, X je superkey ili je A glavni atribut (što znači da je A sadržan unutar kandidatskog ključa - ili minimalan superkey za taj odnos). Ova novija definicija razlikuje se od teoreme BCNF po tome što bi potonji model jednostavno eliminirao posljednji uvjet. Iako djeluje kao novija verzija teoreme 3NF, postoji izvedba Zaniolo teoreme. U njemu se kaže da X â † 'A nije trivijalno. Ako je to istina, neka je A atribut neoglasnog ključa i neka je Y ključ R. Ako to drži, onda je Y † X. To znači da A nije tranzitivno ovisan o Y ako i samo ako je X â † 'Y (ili ako je X superkey.

Sažetak:

1. BCNF je normalan oblik u kojem je za svaku od ne-trivijalnih funkcionalnih ovisnosti tablice superkey; 3NF je normalan oblik u kojem je tablica u 2NF i svaki atribut koji nije prazan ne-tranzitivno ovisi o svakoj tipki u tablici.