BCNF ve 3NF Arasındaki Fark

BCNF ve 3NF

Boyce Codd normal formu (BCNF olarak da bilinir), bir tablonun mantıksal tutarsızlıklara ve anormalliklere karşı savunmasızlık derecesini belirlemek için kriterler sağlayan bir formdur. Bu normal form veritabanı normalleştirmesinde kullanılır. Selefi üçüncü normal formdan (3NF olarak da bilinir) biraz daha güçlüdür. Bir tablonun, ancak bir veritabanından alınan bir ilişkide iki öznitelik kümesi arasında ayarlanan bir sınır olduğu takdirde, her biri için önemsiz işlevsel bağımlılıklar bir superkey ise (bir dizi belirli bir değişkene atanan tüm ilişkilerde, o kümedeki öznitelikler için aynı değeri içeren iki ayrı satır bulunmadığını varsayan ilişkisel bir değişkenin öznitelikleri). BCNF, BNCF olarak ilişkilendirilecek kriterleri karşılamayan herhangi bir tablonun mantıksal tutarsızlıklara karşı savunmasız olduğunu varsayar.

3NF, veritabanı normalleştirmesinde de kullanılan normal bir formdur. Bir tablonun 3NF'de olduğu ve sadece 1 olması durumunda tablonun ikinci normal formda olduğu (veya ilk normal kod olan 2NF veya 2NF olma kriterlerini karşılayan 1NF) ve 2) olduğu düşünülmektedir. tablonun asal olmayan her niteliği, tablonun her anahtarına geçişsiz olarak bağlıdır (yani her anahtara doğrudan bağlı değildir). 3NF ve BCNF arasındaki farkları tanımlamak için kullanılan başka bir 3NF postülasyonu daha vardır.

Bu teorem 1982'de Carlo Zaniolo tarafından tasarlandı. Bir tablonun sadece X â † 'A olan her fonksiyonel bağımlılık için üç koşuldan en az birinin sahip olması gerekiyorsa 3NF'de olduğunu belirtir: ya X â †' A, X bir superkey, veya A birincil bir özelliktir (yani A'nın bir aday anahtarın içinde yer aldığı anlamına gelir - veya bu ilişki için minimal bir superkey). Bu yeni tanım, bir BCNF teoreminden farklıdır, çünkü ikinci model, son durumu basitçe ortadan kaldıracaktır. 3NF teoreminin daha yeni bir versiyonu gibi davransa bile, Zaniolo teoreminin bir türevi vardır. X â † 'A'nın önemsiz olmadığını belirtir. Bu doğruysa, A öğlen anahtarı niteliğinde bir özellik olsun ve Y'nin R'nin anahtarı olmasına izin verin. Bu tutar Y â † 'X ise. Bu, A'nın yalnızca X â † ise geçici olarak Y'ye bağlı olmadığı anlamına gelir. 'Y (veya X bir süperkey ise.

Özet:

1. BCNF, bir tablonun önemsiz fonksiyonel bağımlılıklarının her biri için bir superkey olduğu normal bir formdur; 3NF, tablonun 2NF olduğu ve asal olmayan her özniteliğin tablodaki her anahtara geçici olarak bağımlı olmadığı normal formdur.