한 교수 한 과목 — 교수→과목, 교수는 후보키가 아님

BCNF [결] = 결정자 = 후보키

❌ BCNF 위반 — 강의배정 (3NF는 만족)

(학번,과목) → 교수  -- 후보키→비키 ✅
교수 → 과목         -- 교수 후보키 ❌ 위반
─── 분해 ───
[강의배정] (학번,교수)(PK)
[과목담당] 교수(PK) → 과목

합격 한 줄

BCNF = 모든 결정자(FD 왼쪽 X)가 후보키. 결정자 중 하나라도 후보키가 아니면 BCNF 위반. 분해 후 모든 결정자가 후보키 = BCNF 정상.