BCNF at 3NF
Ang normal na form ng Boyce Codd (kilala rin bilang BCNF) ay isang normal na form - na isang anyo na nagbibigay ng pamantayan para sa pagtukoy ng antas ng kahinaan ng talahanayan sa mga lohikal na hindi pagkakapare-pareho at anomalya. Ang normal na form na ito ay ginagamit sa normalisasyon ng database. Ito ay isang bit mas malakas kaysa sa hinalinhan nito, ang ikatlong normal na form (kilala rin bilang 3NF). Ang isang talahanayan ay naisip na nasa BCNF kung at kung para lamang sa bawat isa kung ang mga di-walang halaga na functional dependency -na isang hangganan na itinakda sa pagitan ng dalawang hanay ng mga katangian sa isang kaugnayan na kinuha mula sa isang database-ay isang superkey (isang hanay ng mga katangian ng isang pamanggit variable na postulates na sa lahat ng mga relasyon na nakatalaga sa tiyak na variable na walang dalawang natatanging mga hilera na naglalaman ng parehong halaga para sa mga katangian sa partikular na hanay). Inihayag ng BCNF na ang anumang talahanayan na hindi matugunan ang pamantayan na maiugnay bilang isang BNCF ay mahina sa lohikal na hindi pagkakapare-pareho.
3NF ay isang normal na form na ginagamit din sa database normalisasyon. Ito ay naisip na ang isang talahanayan ay nasa 3NF kung at kung 1) ang talahanayan ay nasa ikalawang normal na form (o 2NF, na siyang unang normal na code, o 1NF, na natugunan ang pamantayan upang maging 2NF), at 2) ang bawat non-prime attribute ng talahanayan ay di-transitively nakasalalay sa bawat key ng talahanayan (ibig sabihin ito ay hindi direktang umaasa sa bawat key). May isa pang pagpaparatang ng 3NF na ginagamit din upang tukuyin ang mga pagkakaiba sa pagitan ng 3NF at ng BCNF.
Ang teorama na ito ay ipinagkaloob ni Carlo Zaniolo noong 1982. Ipinahayag nito na ang isang talahanayan ay nasa 3NF kung at kung para lamang sa bawat dependency na may kaugnayan sa kung saan ang X, ay hindi bababa sa isa sa tatlong mga kondisyon ang dapat hawakan: alinman sa X, † A, X ay isang superkey, o A ay isang kalakasan na attribute (na nangangahulugan na ang A ay nilalaman sa loob ng isang kandidato na key-o isang napakaliit na superkey para sa nauugnay na). Ang mas malawak na kahulugan na ito ay naiiba sa teorama ng isang BCNF sa na ang huli modelo ay simpleng alisin ang huling kondisyon. Kahit na ito ay gumaganap bilang isang mas bagong bersyon ng 3NF theorem, mayroong pinagmulan ng Zaniolo theorem. Sinasabi nito na ang X ¹ 'A ay di-walang halaga. Kung totoo iyan, hayaan ang A ay isang katangian ng katanghaliang tanghali at hayaan ding maging Y ang isang susi ng R. Kung ang humahawak ay pagkatapos ay Y â † 'X. Nangangahulugan ito na ang A ay hindi transitively nakasalalay sa Y kung at tanging kung Xâ † 'Y (o kung X ay isang superkey.
Buod:
1. BCNF ay isang normal na form na kung saan para sa bawat isa ng isang table ng hindi-maliit na functional dependencies, ay isang superkey; Ang 3NF ay normal na anyo kung saan ang talahanayan ay nasa 2NF at ang bawat di-kalakihan na katangian ay di-transit na nakasalalay sa bawat susi sa talahanayan.
