Perbedaan Antara BCNF dan 3NF

BCNF vs 3NF

Bentuk normal Boyce Codd (juga dikenal sebagai BCNF) adalah bentuk normal -yaitu bentuk yang menyediakan kriteria untuk menentukan tingkat kerentanan tabel terhadap inkonsistensi dan anomali logis. Bentuk normal ini digunakan dalam normalisasi basis data. Ini sedikit lebih kuat dari pendahulunya, bentuk normal ketiga (juga dikenal sebagai 3NF). Sebuah tabel dianggap berada dalam BCNF jika dan hanya jika untuk setiap orang jika dependensi fungsional non-sepele -yaitu adalah batas yang ditetapkan antara dua set atribut dalam relasi yang diambil dari database- adalah superkey (seperangkat atribut dari variabel relasional yang mendalilkan bahwa dalam semua hubungan yang ditetapkan untuk variabel tertentu tidak ada dua baris berbeda yang mengandung nilai yang sama untuk atribut dalam set tertentu). BCNF mendalilkan bahwa setiap tabel yang gagal memenuhi kriteria untuk dikaitkan sebagai BNCF rentan terhadap inkonsistensi logis.

3NF adalah bentuk normal yang juga digunakan dalam normalisasi basis data. Diperkirakan bahwa sebuah tabel dalam 3NF jika dan hanya jika 1) tabel berada 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-prima dari tabel tidak bergantung secara transitif pada setiap kunci tabel (artinya tidak langsung bergantung pada setiap kunci). Ada postulasi lain dari 3NF yang juga digunakan untuk mendefinisikan perbedaan antara 3NF dan BCNF.

Teorema ini dikandung oleh Carlo Zaniolo pada tahun 1982. Ini menyatakan bahwa sebuah tabel berada dalam 3NF jika dan hanya jika untuk setiap ketergantungan fungsional di mana X â † 'A, setidaknya satu dari tiga syarat harus dipegang: 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 bahwa model yang terakhir hanya akan menghilangkan kondisi terakhir. Bahkan ketika ia bertindak sebagai versi yang lebih baru dari teorema 3NF, ada turunan dari teorema Zaniolo. Ini menyatakan bahwa X â † 'A adalah non-sepele. Jika itu benar, misalkan A menjadi atribut siang-kunci dan biarkan Y menjadi kunci R. Jika itu berlaku maka Y â † 'X. Ini berarti bahwa A tidak bergantung secara transitif 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 tabel, adalah superkey; 3NF adalah bentuk normal di mana tabel berada di 2NF dan setiap atribut non-prima tidak bergantung secara transitif pada setiap kunci dalam tabel.