BCNF ve 3NF Arasındaki Fark
Boyce Codd normal biçimi (BCNF olarak da bilinir) normal bir formdur - bu, bir tablonun mantıksal tutarsızlıklara ve anormalliklere karşı savunmasızlık derecesini belirleme kriterleri sağlayan bir formdur. Bu normal form veritabanı normalizasyonunda kullanılır. Selefi olan üçüncü normal formdan (3NF olarak da bilinir) biraz daha güçlüdür. Bir tablo, yalnızca bir veritabanından alınan bir ilişki içinde iki öznitelik kümesi seti arasında ayarlanan önemsiz olmayan işlevsel bağımlılıkları varsa her biri için BCNF'de olduğu düşünülür - bir süperkey (bir dizi o belirli değişkene atanan tüm ilişkilerde o belirli kümedeki öznitelikler için aynı değeri içeren iki ayrı satır olmadığını varsayar bir ilişkisel değişken öznitelikleri). BCNF, bir BNCF olarak atılacak kriterleri karşılamayan herhangi bir tablonun mantıksal tutarsızlıklara karşı savunmasız olduğunu varsaymaktadır.
3NF, veritabanı normalleştirmesinde de kullanılan normal bir formdur. Tablonun ikinci normal formda olduğu (ve 2NF, yani bir ilk normal kod veya 1NF, 2NF olmak için ölçütleri karşılamış olması halinde) bir tablo 3NF'de ve sadece 2) Tablonun asal olmayan her özelliği tablonun translate dışı olarak her anahtarı üzerinde bağımlıdır (yani doğrudan her anahtara bağımlı değildir). 3NF ve BCNF arasındaki farkları tanımlamak için kullanılan başka bir 3NF öngörüsü vardır.
Bu teori, 1982'de Carlo Zaniolo tarafından tasarlanmıştır. Bir tabloda 3NF bulunmakta ve yalnızca X † † A'nın her bir fonksiyonel bağımlılık için üç koşuldan en az biri olmalıdır: X â † 'A, X bir üst karakter veya A asal bir özniteliktir (A, bir aday anahtarı içerdiğinde veya bu ilişki için minimum superkey anlamına gelir). Bu daha yeni tanım, bir BCNF'nin teoreminden, son modelin son durumu ortadan kaldırması açısından farklıdır. 3NF teoreminin daha yeni bir versiyonu gibi davranmasına rağmen Zaniolo teoremin bir türevi var. X † † A'nın önemsiz olmadığını belirtmektedir. Eğer bu doğruysa, A öğlen anahtarlı bir özniteliktir ve Y'nin de R'nin bir anahtarı olsun. Bu durumda Y â † X'dir. Bu, A'nın transitive olarak Y'ye bağımlı olmadığı anlamına gelir ve X â † Özet:
1. BCNF, bir tablonun önemsiz olmayan işlevsel bağımlılıklarının her biri için normal bir form olup, 3NF, tablonun 2NF'de olduğu ve her asal olmayan öznitelikin tablonun her anahtarına transit olmayan biçimde bağımlı olduğu normal formdur.