BCNF i 3NF
Normalni oblik Boyce Codd (također poznat kao BCNF) je uobičajeni oblik - to je oblik koji osigurava kriterije za određivanje stupnja ranjivosti tablice prema logičkim nedosljednostima i anomalijama. Ovaj se uobičajeni oblik koristi za normalizaciju baze podataka. To je malo jači od prethodnika, trećeg normalnog oblika (također poznat kao 3NF). Smatra se da je tablica u BCNF-u ako i samo ako je za svaku od njih ako su njezine ne-trivijalne funkcionalne zavisnosti - to je granica koja se postavlja između dva skupa atributa u odnosu preuzetoj iz baze podataka - superkey (skup atributa relacijske varijable koja postavlja da u svim odnosima dodijeljenoj toj specifičnoj varijabli nema dva različita retka koja sadrže istu vrijednost za atribute u tom skupu). BCNF postavlja da je svaka tablica koja ne zadovoljava kriterije koji se pripisuju BNCF-u ranjiva na logičke nedosljednosti.
3NF je normalni oblik koji se također koristi za normalizaciju 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 kod ili 1NF, koji je ispunio kriterije da postane 2NF) i 2) svaki ne-premijer atribut tablice ne-tranzitivno ovisi o svakom ključu tablice (što znači da nije izravno ovisno o svakom ključu). Postoji još jedna postulacija 3NF koja se također koristi za definiranje razlika između 3NF i BCNF.
Taj je teorem 1982. godine zamišljao Carlo Zaniolo. Navodi se da je tablica u 3NF ako i samo ako za svaku funkcionalnu ovisnost gdje X † A mora imati najmanje jedan od tri uvjeta: ili X â A, X je super-ključ, ili A je premijerni atribut (što znači da je A sadržan u ključu kandidata - ili minimalni super-ključ za taj odnos). Ova nova definicija razlikuje se od teorema BCNF-a jer bi taj drugi model jednostavno eliminirao posljednje stanje. Čak i kako djeluje kao noviju verziju 3NF teorema, postoji izvedba Zaniolo teorema. Navodi se da je X â † 'A ne-trivijalan. Ako je to točno, neka A bude atribut tipa podneva i neka Y bude ključ R. Ako je to onda Y † 'X. To znači da A nije tranzitno ovisan o Y ako i samo ako X â 'Y (ili ako je X super-tipka.
Sažetak:
1. BCNF je uobičajeni oblik u kojem je za svaku od ne-trivijalnih funkcionalnih zavisnosti tablice superkey; 3NF je uobičajeni oblik u kojem je tablica u 2NF i svaki ne-premijer atribut neopozivično ovisi o svakom ključu u tablici.
