3. algoritmus − Relációsémák nemadditív join tulajdonságú dekompozíciója BCNF-re.
Bemenet: Egy R univerzális relációséma és az R attribútumain értelmezett funkcionális függéseknek egy F halmaza.
Legyen D := { R };
Amíg van olyan Q relációséma D-ben, ami nincs BCNF-ben
{
válasszunk egy Q relációsémát D-ben, ami nincs BCNF-ben;
keressünk Q-ban egy olyan X → Y funkcionális függést, amely megsérti a BCNF-et;
helyettesítsük D-ben Q-t a (Q−Y) és az (X∪Y) relációsémákkal;
};