• BCNF to zaawansowana wersja 3NF. Jest bardziej rygorystyczny niż 3NF.
• Tabela jest w BCNF, jeśli każda zależność funkcjonalna X → Y, X jest superkluczem tabeli.
• Dla BCNF tabela powinna być w 3NF, a dla każdego FD, LHS jest super kluczem.

Przykład: Załóżmy, że istnieje firma, w której pracownicy pracują w więcej niż jednym dziale.

kody kolorów Java

Tabela PRACOWNIK:

W powyższej tabeli zależności funkcjonalne przedstawiają się następująco:

 EMP_ID → EMP_COUNTRY EMP_DEPT → {DEPT_TYPE, EMP_DEPT_NO} 

Klucz kandydata: {EMP-ID, EMP-DEPT}

Tabela nie znajduje się w BCNF, ponieważ ani sam EMP_DEPT, ani EMP_ID nie są kluczami.

Aby przekonwertować podaną tabelę na BCNF, rozkładamy ją na trzy tabele:

Tabela EMP_COUNTRY:

Tabela EMP_DEPT:

Tabela EMP_DEPT_MAPPING:

Zależności funkcjonalne:

 EMP_ID → EMP_COUNTRY EMP_DEPT → {DEPT_TYPE, EMP_DEPT_NO} 

Klucze kandydata:

Dla pierwszej tabeli: EMP_ID
Dla drugiej tabeli: EMP_DEPT
Dla trzeciej tabeli: {EMP_ID, EMP_DEPT}

To jest w BCNF, ponieważ lewa część obu zależności funkcjonalnych jest kluczem.