BCNF 정규형은 모든 결정자(D)의 초과 종속이 없어야 합니다. 주어진 관계에서 {A, B}가 결정자이므로, B에 대한 종속이 발생하지 않도록 해야 합니다. 따라서 S(A, B, C, D)에서 정규형을 유지하기 위해 적절한 분해가 필요하며, 4번 선택지가 이를 충족합니다.