스키마 정제와 정규형

1정규형

모든 도메인이 원자적(Atomic)일 때 1정규형(1NF)이라고 합니다.

2정규형

한 릴레이션이 1NF이고 기본 키에 속하지 않은 속성이 기본 키에 완전 함수 종속되는 경우

3정규형

학번, 이름, 광역자치시, 시, 구, 동의 도메인을 갖는 릴레이션 R이 있습니다.
R은 1정규형과 2정규형을 만족합니다.
종속 관계를 파악하기 위해 위 테이블을 S(학번), N(이름), A(광역자치시), B(시), C(구), D(동)로 정의합시다.
테이블의 관계를 정의하면 다음과 같습니다.

• S <- N
• S <- A <- B <- C <- D

그러면 다음과 같은 종속 관계가 있습니다.

• S <- NABCD
• A <- BCD

그러면 다음과 같은 이행적 함수 종속을 발견할 수 있습니다.
S <- A <- B
이런 이행적 함수 종속을 다 제거하면 3정규형이 됩니다.

4정규형

할 일 없습니다!

함수 종속 이해

• 암스트롱의 공리
  • 반사(Reflexivity): X ⊇ Y 이면 X → Y
  • 첨가(Augmentation): X → Y 이면 어떠한 Z에 대해서도 XZ → YZ
    • 슈퍼키!
  • 이행(Transitivity): X → Y이고 X → Z 이면 X → Z
• 이외의 규칙
  • 결합(Union): X → Y이고 X → Z 이면 X → YZ
  • 분해(Decomposition): X → YZ이면, X → Y 이고 X → Z