비정규 릴레이션
↓
원자값이 아닌 도메인을 분해
1NF ↓
부분 함수 종속 제거
2NF ↓
이행 함수 종속 제거
1NF ↓
결정자가 후보키 아닌 함수 종속 제거
3BCNF ↓
다치 종속성 제거
4NF ↓
후보키를 통하지 않는 조인종속을 제거
↓
원자값이 아닌 도메인을 분해
1NF ↓
부분 함수 종속 제거
2NF ↓
이행 함수 종속 제거
1NF ↓
결정자가 후보키 아닌 함수 종속 제거
3BCNF ↓
다치 종속성 제거
4NF ↓
후보키를 통하지 않는 조인종속을 제거