Boyce-Codd Normalform (BCNF)
Ziel der BCNF ist es überlappende Schlüsselkandidaten zu eliminieren. Beispiel: Ein Attribut kann funktional bestimmt werden durch einen Primärschlüssel und einen Schlüsselkandidaten, der mit dem Primärschlüssel überlappt. Lösung: Schlüsselkandidat ohne Überlappung auslagern.