정규화

 - 함수의 종속성 등의 종속성 이론을 이용하여 잘못 설계된 관계형 스키마를 

더 작은 속성의 세트로 쪼개어 바람직한 스키마로 만들어 가는 과정

 - 정규화를 거치지 않으면 Anomaly가 발생할 수 있다.

 - 1NF, 2NF, 3NF, BCNF, 4NF, 5NF

---

1NF(제1정규형)

 - 릴레이션에 속한 모든 도메인이 원자값만으로 되어 있는 릴레이션

---

2NF(제2정규형)

 - 릴레이션 R이 1NF이고, 키가 아닌 모든 속성이 기본키에 대하여 완전 함수적 종속 관계를 만족

---

3NF(제3정규형)

 - 릴레이션 R이 2NF이고, 키가 아닌 모든 애트리뷰트가 기본키에 대해 이행적 종속 관계를 이루지 않도록 제한한 관계형이다.

---

BCNF(Boyce-Codd 정규형)

 - 릴레이션 R에서 결정자가 모두 후보키인 관계형

---

4NF(제4정규형)

 - 릴레이션 R에 A->B가 성립하는 경우 R의 모든 속성이 A에 함수적 종속이면 이 릴레이션 R은 4정규형에 속한다.

---

5NF(제5정규형, PJ/NF)

 - 릴레이션 R의 모든 조인 종속성(JD)의 만족이 R의 후보키를 통해서만 만족될 때 그 릴레이션 R은 제5정규형 또는 PJ/NF에 속한다.