BCNF는 제 3정규형을 강화한 것으로

• 제 3정규형을 만족해야 하고
• 모든 결정자가 후보키여야 함
  • 결정자: 다른 속성을 함수적으로 결정하는 속성 혹은 그 집합
  • 슈퍼키: 테이블에서 튜플을 유일하게 식별할 수 있는 속성 혹은 그 집합
    • ex) (학번, 이름), 학번
  • 후보키: 슈퍼키의 기능을 상실하지 않는 선에서의 최소 단위 집합
    • ex) 학번

다음과 같이 3정규형을 만족시키는 릴레이션이 있을 때

이 테이블은 [학번, 과목명] 복합 식별자로 각 행들을 구별할 수 있음

아마 학생과 과목의 조인 테이블쯤 될듯 (과목명 대신 과목코드가 오는 게 자연스럽긴 하지만 과목명으로도 불가능한 건 아님)

이 릴레이션이 3정규형을 만족하긴 하지만 다음과 같은 문제가 있음

우선 담당교수 → 과목명 으로, 담당교수는 결정자임 (한 교수가 한 과목만 가르치는 상황 가정)

그러나 담당교수는 후보키가 아님. 튜플을 유일하게 식별해주지 못함

따라서 모든 결정자는 후보키여야 한다는 BCNF의 조건을 만족시키지 못함

이럴 때 테이블을 다음과 같이 분리해 주면 BCNF를 만족하게 됨