Redigerer Boyce–Codd normalform (avsnitt)

== Dekomponering til BCNF ==
Hvis en relasjon R ikke er i BCNF på grunn av en funksjonell avhengighet X→Y så kan man dekompone R til BCNF ved å erstatte relasjonen med to underrelasjoner:

# En med attributtene X<sup>+</sup>,
# og en annen med attributtene R-X<sup>+</sup>+X. Merk at R representerer alle attributtene i den opprinnelige relasjonen.

Detetter må det sjekkes om begge underrelasjonene er i BCNF, og prosessen gjentas [[Rekursjon|rekursivt]] med enhver underrelasjon som ikke er i BCNF.<ref>{{Citation|title=BCNF Decomposition|url=https://www.youtube.com/watch?v=WKJH3V7UAgg|access-date=2023-03-15|language=en}}</ref>