3NF Gap

3NF는 종속자가 주요 속성이면 예외를 허용한다

3NF는 종속성 보존을 위해 X가 슈퍼키가 아니어도 오른쪽이 주요 속성이면 통과시킬 수 있다.

함수 종속오른쪽 속성3NF 판정BCNF 판정
{학생, 과목} → 교수교수: 비주요 속성결정자가 후보키라 통과슈퍼키 결정자라 통과
{학생, 교수} → 과목과목: 후보키 일부결정자가 후보키라 통과슈퍼키 결정자라 통과
교수 → 과목과목: 주요 속성오른쪽이 주요 속성이라 예외 통과교수가 슈퍼키가 아니므로 위반