관계형 데이터 모델에서 기본키 외의 속성들 간에 함수적 종속성(Dependency)을 가지지 않도록 이행함수 종속성을 제거해 나가는 과정