BCNF(Boyce-Codd Normal Form)는 3NF(Third Normal Form)보다 더 엄격한 정규형입니다. 3NF에서는 모든 결정자가 슈퍼키가 아니어도 되지만, BCNF에서는 모든 결정자가 반드시 슈퍼키여야 합니다. 따라서 BCNF가 되기 위한 조건은 "결정자이면서 후보키가 아닌 것 제거"입니다. 즉, 모든 결정자가 후보키여야 하므로, 보기 4가 정답입니다. 보기 1의 이행적 함수 종속 제거와 보기 2의 부분적 함수 종속 제거는 각각 3NF와 2NF를 위한 조건입니다. 보기 3의 다치 종속 제거는 4NF와 관련이 있습니다.