제3정규형(3NF)에서 BCNF(Boyce-Codd Normal Form)가 되기 위한 조건은?

정답 1번

BCNF에서는 모든 비자명한 함수 종속 X→Y의 결정자 X가 슈퍼키여야 한다. 이미 3NF인 릴레이션에 이 조건을 위반하는 함수 종속이 남아 있다면, 이를 기준으로 무손실 분해하여 각 릴레이션이 BCNF를 만족하도록 한다. 슈퍼키는 튜플을 유일하게 식별하는 속성 집합이고, 후보키는 그중 불필요한 속성이 없는 최소 슈퍼키다. 예를 들어 R(A, B, C)에서 A가 후보키이면 AB도 슈퍼키다. AB→C가 있다고 해서 AB가 후보키가 아니라는 이유로 BCNF 위반이 되는 것은 아니다. 따라서 기존 보기의 ‘후보키’가 아니라 ‘슈퍼키’가 정확한 조건이다. 이행적 종속 제거는 일반적으로 2NF에서 3NF로, 부분 종속 제거는 1NF에서 2NF로 진행할 때의 검토 대상이다. 도메인을 원자값으로 구성하는 것은 1NF 조건이다.