Perbedaan antara BCNF dan 3NF

BCNF vs. 3nf

Bentuk normal Boyce Codd (juga dikenal sebagai BCNF) adalah bentuk normal -bahwa bentuk yang memberikan kriteria untuk menentukan tingkat kerentanan tabel terhadap inkonsistensi dan anomali logis. Bentuk normal ini digunakan dalam normalisasi database. Ini sedikit lebih kuat dari pendahulunya, bentuk normal ketiga (juga dikenal sebagai 3NF). Tabel dianggap berada di BCNF jika dan hanya jika untuk setiap orang jika dependensi fungsional non-sepele -I. Atribut variabel relasional yang mendalilkan bahwa dalam semua hubungan yang ditetapkan untuk variabel spesifik tidak ada dua baris berbeda yang mengandung nilai yang sama untuk atribut dalam set tertentu). BCNF mendalilkan bahwa tabel apa pun yang gagal memenuhi kriteria yang dikaitkan dengan BNCF rentan terhadap inkonsistensi logis.

3NF adalah bentuk normal yang juga digunakan dalam normalisasi database. Diperkirakan bahwa tabel dalam 3NF jika dan hanya jika 1) tabel dalam bentuk normal kedua (atau 2nf, yang merupakan kode normal pertama, atau 1NF, yang telah memenuhi kriteria untuk menjadi 2nf), dan 2) Setiap atribut non-prime dari tabel secara non-transitif tergantung pada setiap kunci tabel (artinya tidak secara langsung tergantung pada setiap kunci). Ada postulasi lain dari 3NF yang juga digunakan untuk menentukan perbedaan antara 3NF dan BCNF.

Teorema ini dikandung oleh Carlo Zaniolo pada tahun 1982. Ini menyatakan bahwa tabel dalam 3NF jika dan hanya jika untuk setiap ketergantungan fungsional di mana x â † 'a, setidaknya satu dari tiga kondisi harus berlaku: baik x â' a, x adalah superkey, atau A adalah atribut utama (yang berarti A terkandung dalam kunci kandidat -atau superkey minimal untuk hubungan itu). Definisi yang lebih baru ini berbeda dari teorema BCNF karena model yang terakhir hanya akan menghilangkan kondisi terakhir. Bahkan saat itu bertindak sebagai versi yang lebih baru dari teorema 3NF, ada turunan dari teorema Zaniolo. Itu menyatakan bahwa x â † 'a tidak sepele. Jika itu benar, biarkan menjadi atribut siang hari dan biarkan y menjadi kunci r. Jika itu berlaku maka y  † 'x. Ini berarti bahwa A tidak secara transitif tergantung pada Y jika dan hanya jika x â 'y (atau jika x adalah superkey.

Ringkasan:

1. BCNF adalah bentuk normal di mana untuk setiap dependensi fungsional non-sepele meja, adalah superkey; 3NF adalah bentuk normal di mana tabel berada di 2NF dan setiap atribut non-prime tidak tergantung pada setiap kunci dalam tabel.