정규화

1NF

: 원자값으로 구성 테이블 R에 속한 모든 도메인이 원자값으로만 구성되어있다.

2NF

: 부분함수 종속제거 키의 부분 집합이 결정자가되는 부분 종속이 존재하지 않는다.

3NF

: 이행 함수 독립

BCNF

: 결정자 함수 종속 함수적 종속에서 결정자가 후보키이다.

4NF

: 다중값 종속성 제거

5NF

: 조인 종속성 제거