Exercise

BCNF 판별은 비슈퍼키 결정자를 찾는 문제다

후보키를 찾은 뒤 모든 FD의 왼쪽이 슈퍼키인지 검사하면 된다.

후보키
위반
분해
{학생, 교수}→과목
교수→과목
판정

교수는 전체 행을 식별하지 못하므로 슈퍼키가 아니다.

위반

교수 → 과목 때문에 BCNF 위반이다.

해결

교수_과목과 학생_교수로 분해한다.