BC정규형 (Boyce-Codd Normal Form)

BC정규형은 제3정규형을 보강한 정규형이다. 제3정규형보다 드물게 발생한다.
릴레이션에 존재하는 종속자가 후보 식별자면 BC정규형이 아니다. 만약 속성 Z에 종속된 Y가 후보 식별자에 포함되면 BC정규형이 아니다. Y가 후보 식별자에 포함 여부에 따라 제3정규형과 BC정규형으로 구분된다. Y가 후보 식별자에 포함되더라도 제3정규형은 만족하지만 BC정규형은 만족하지 않는다.

 

그림(1) 후보 식별자가 종속자로서 BC정규형 위배

그림(1)에서 [예제1] 릴레이션은 A, B가 주 식별자다. 일반 속성 C에 종속된 종속자 B가 주 식별자이므로 BC정규형에 위배된다. 하지만 일반 속성 사이에서 이행 종속 관계가 없기에 제3정규형 릴레이션이다.

그림(1)에서 [예제2] 릴레이션은 A가 주 식별자고 B, C는 후보 식별자이다. 일반 속성 D에 종속된 종속자 C가 후보 식별자이므로 BC정규형에 위배된다. 

 

그림(2) [예제1] BC정규형

그림(2) 릴레이션을 보면 [예제1]에서 주 식별자이지만 종속자인 B속성은 원본 릴레이션에서 분리돼 새로운 릴레이션의 종속자가 된다.

 

그림(3) [예제2] BC정규형

그림(3) 릴레이션을 보면 [예제2]에서 후보 식별자이지만 종속자인 C속성은 원본 릴레이션에서 분리돼 새로운 릴레이션의 종속자가 된다.

그림(4-1)종속자가 주 식별자에 포함된 BC정규형 위반 모델과 릴레이션

 

그림(4-2) 주 식별자 속성 간에 함수 종속이 발생한 BC정규형 위반 모델

"그림(4-1), (4-2)릴레이션은 교수 한 명이 한  과목의 강의만 한다는 전제가 깔려있다."
그림(4-1)에서 일반 속성인 교수번호가 주 식별자에 속한 과목명을 결정하므로 BC정규형이 아니다.
그림(4-2)에서 주 식별자 속성인 교수번호가 주 식별자에 속한 과목명을 결정하므로 BC정규형이 아니다.

 

그림(5) BC정규형

그림(4-1), (4-2) 릴레이션을 BC정규화를 진행하면 그림(5)가 된다.

BC정규형 위배가 나타나는 경우에는 일차적으로 최소한의 속성 조합이 주 식별자가 되도록 해야한다는 원칙을 위배한 것이다. 즉, 슈퍼 식별자가 되지 않도록 주 식별자를 설계해야 한다. 그림(4-2), 그림(6)이 이에 해당한다.

 

그림(6) 슈퍼 식별자 사용으로 BC정규형 위반 모델과 BC정규형 모델

그림(6) 왼쪽 모델이 업체번호 속성이 업체명 속성을 종속하므로 오른쪽 모델과 같이 정규화를 해야 한다. 

슈퍼 식별자를 채택한 모델이나 주 식별자 속성 간에 종속이 발생하는 모델은 잘못 설계된 모델이다.