함수적 종속성 (FD, Functional Dependency)

I. 데이터 일관성 보장의 이해, 함수적 종속성

개념도	개념
– 두 튜플 T1, T2에 대하여, T1[x]=T2[x]이면, T1[y]=T2[y]	데이터 속성의 의미와 속성 간 상호 관계로부터 발생하는 제약조건(Constraints)의 일종, FD – FD(Functional Dependency)

II. 함수적 종속성의 유형

유형	종속성 사례	설명	정규화
완전/부분 함수 종속		[학번] → 이름: 부분 [학과,과목]→성적:완전 – 부분함수 종속 제거	2차 정규화 적용
이행 함수 종속		[학번]→지도교수,[지도교수]→학과, [학번]→학과 – 이행함수 종속 제거	3차 정규화 적용
결정자 함수 종속		함수적 종속의 결정자가 후보키가 아닌 경우 – 결정자함수 종속 제거	BCNF 정규화 적용
다중값 종속		[사번]→기술,[사번]→프로젝트,기술-프로젝트관계X – 다중값 종속 제거	4차 정규화 적용
조인(결합) 종속		[사-자], [자-언], [사-언] – 각각의 관계는 존재하나 전체는 관계가 없음	5차 정규화 적용

– 함수적 종속성에 따라 무손실, 중복제거, 분리의 원칙을 준수하여 DB 일관성 보장 설계 필요

III. 함수적 종속성에 따른 정규화 필요성