A→B→C 일 때, A→C이면 C는 A에 대해 이행 함수 종속
다음과 같이 제 2정규형을 만족하는 두 릴레이션이 있을 때
학번 → 지도교수 → 학과인 상황에서 학번 → 학과가 만족되어 이행적 함수 종속성 발생
제 3정규화를 통해 위의 두 테이블 중 우측 테이블을 다음과 같이 분리 (조인 테이블이 생김)
