Boyce-Coddova normální forma

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

Boyce-Coddova normální forma (BCNF) je jednou z normálních forem používaných při normalizaci databáze.

BCNF byla vytvořena v roce 1974 Raymondem Boycem a Edgarem Coddem, aby odstranila některé anomálie, které se vyskytují v relacích, které jsou ve 3NF.

Definice BCNF: Relace R je v BCNF tehdy a jen tehdy, když pro každou netriviální závislost X → Y, kde X a Y jsou množiny atributů a zároveň Y není podmnožinou X, platí, že X je nadmnožinou nějakého klíče, nebo X je klíčem relace R. Jinak řečeno relace R je v BCNF tehdy a jen tehdy, když každý determinant funkční závislosti v relaci R je zároveň kandidátním klíčem relace R.

Každá relace, která je v BCNF je zároveň ve 3. normální formě; naopak relace, která je ve 3. normální formě nemusí být v BCNF, a to pokud platí tyto skutečnosti:

  • v relaci existuje více kandidátních klíčů,
  • všechny kandidátní klíče jsou složené ze dvou nebo více atributů,
  • existuje takový atribut, který je společný pro všechny kandidátní klíče.