KH 39일차 - 정규화

1.    함수 종속성

 

-      학생수강성적과 같은 릴레이션의 각 속성 사이에는 의존성이 존재한다.

-      어떤 속성 A의 값을 알면 다른 속성 B의 값이 유일하게 정해지는 의존관계를 A가 B의 결정자라고 하며, A -> B로 표기한다.

-      함수종속성 다이어그램은 함수 종속성을 나타내는 표기법으로 릴레이션의 속성은 직사각형, 속성 간의 함수 종속성은 화살표, 복합속성은 직사각형으로 묶어서 그린다.

-      릴레이션의 함수 종속성을 파악하기 위해서는 우선 기본키를 찾아야 한다.

-      기본키는 릴레이션의 모든 속성을 유일한 값으로 정(구분)해주기에, 모든 속성에 대해 결정자로 이상현상을 제거하는 정규화 과정에서 활용되기 때문이다.

---

2.    이상현상

 

-      이상현상은 1개의 릴레이션에 2개 이상의 정보가 포함되어 있을 때 나타난다.

-      기본키가 아니면서 결정자인 속성이 있을 때 이상현상이 나타난다.

-      이상현상을 해결하기 위해서는 릴레이션을 분해해야 하는데, 이때 무손실 분해가 이루어져야 한다. ( 분해할 때 속성이 없어지면 안된다. )

-      즉, 분해할 때 부분 릴레이션의 결정자(키)는 원래 릴레이션에 남겨둬야 한다.

-      그래야 분해된 부분 릴레이션이 원래 릴레이션과의 관계를 형성할 수 있다.

---

3.    정규화

 

-      이상현상이 발생하는 릴레이션을 분해하여 이상현상을 없애는 과정

-      이상현상이 있는 릴레이션은 이상현상을 일으키는 함수 종속성의 유형에 따라 등급을 구분할 수 있다.

-      릴레이션은 정규화 개념으로 구분하며, 정규형이 높을수록 이상현상은 줄어든다.

---

4.    제 1 정규형 ( 1NF ( 1 Normal Form ) )

 

-      릴레이션 R의 모든 속성 값이 원자값을 가지면 제 1 정규형이라고 한다.

---

5.    제 2 정규형 ( 2NF )

 

-      릴레이션 R이 제 1정규형이고 기본키가 아닌 속성이 기본키에 완전 함수 종속일 때 제 2 정규형이라고 한다.

-      완전 함수 종속 : A와 B가 릴레이션 R의 속성이고, A가 B의 결정자( A -> B )일 때, B가 A의 속성 전체에 함수 종속하고 부분 집합 속성에 함수 종속하지 않을 경우 완전 함수 종속이라고 한다.

-      제 2 정규형부터는 이상현상을 일으키는 릴레이션 분해가 이루어 진다.

---

6.    제 3 정규형 ( 3NF )

 

-      릴레이션 R이 제 2 정규형이고 기본키가 아닌 속성이 기본키에 비이행적으로 종속할 때, 제 3 정규형이라고 한다.

-      이행적 종속이란 A -> B, B -> C가 성립될 때, A -> C가 성립되는 함수 종속성이다.

-      제 3 정규형은 이러한 이행적 종속을 없애는 과정을 수행한다. ( A -> B -> C가 이행적 종속이 성립될 때, A -> B, B -> C로 분해하는 과정이다. )

-      보통 제 3 정규형까지 이루어진다.

---

7.    BCNF

 

-      릴레이션 R에서 함수 종속성 X -> Y가 성립될 때, 모든 결정자 X가 후보키면 BCNF 정규형이라고 한다.