BCNF Decompose

BCNF 분해는 위반 결정자를 자기 테이블의 키로 만든다

교수 → 과목을 분리하면 담당 배정은 한 곳에서 관리되고, 수강 사실은 교수 참조만 가진다.

위반 FD 분리
남은 관계
종속 보존 검토
교수과목
이교수DB
박교수OS
학생교수
김민수이교수
이서연이교수
박지훈박교수
무손실

교수로 다시 조인하면 원본 학생-과목-교수 행을 복원한다.

주의

{학생, 과목} → 교수 같은 종속은 직접 검증이 어려워질 수 있다.