3NF에서 BCNF가 되기 위한 조건은?

정답 4번

BCNF는 모든 비자명한 함수 종속 X→Y에서 결정자 X가 해당 릴레이션의 슈퍼키일 것을 요구한다. 제3정규형은 종속되는 속성이 후보키의 일부인 경우 비슈퍼키 결정자를 허용할 수 있지만 BCNF는 이 예외가 없다. 따라서 그런 종속을 기준으로 분해해야 한다. 후보키는 최소 슈퍼키이므로, 모든 결정자가 반드시 최소 후보키여야 한다고 표현하면 조건을 지나치게 좁히게 된다.