함수적 종속성(Functional Dependency)

I. 정규화의 기본이론, 함수적 종속성의 개요

가. 함수적 종속성(Functional Dependency)의 정의

- 릴레이션 R에서, 속성(Attribute) X의 값 각각에 대해 속성(Attribute) Y의 값이 하나만 연관되는 관계를 Y는 X에 함수 종속이라고 하고, X→Y로 표현.

- X : 결정자(determinant), Y : 종속자(dependent)

나. 함수적 종속성의 중요성

- 갱신 이상과 중복을 제거하기 위해 DB 스키마를 설계하는데 있어 필수적 제약조건

- 정규화 작업 시 가장 중요한 작업으로 제2정규형에서 BCNF까지 적용 됨

 

 

Ⅱ. 함수적 종속성의 유형과 추론규칙

가. 함수적 종속성 유형

종속성구분		주요개념
함수적종속성 (FD)	함수적종속석(FD)	릴레이션의 한속성 X가 다른 속성 Y를 결정지을 때 Y는 X에 함수적으로 종속됨, X->Y
	부분함수적종속성(2NF)	X->Y에서 Y가 X의 부분집합에 대해서도 함수적으로 종속되는 경우
	이행함수적종속성(3FN)	릴레이션 R에서 속성 A->X이고 X->Y이면 A->Y임
	결정자함수적종속성(BCNF)	- 함수적 종속이 되는 결정자가 후보키가 아닌 경우 - 즉, X->Y에서 X가 후보키가 아님
다중값 종속성 (MVD: Multi-Valued Dependency,4NF)		- 한관계에 둘이상의 독립적 다중값속성이 존재하는 경우 - X,Y,Z 세개의 속성을 가진 릴레이션 R에서 속성쌍[X,Z]값에 대응하는 Y값의 집합이 X값에만 종속되고 Z값에는 독립이면 Y는 X에 다중값 종속된다고 하고 X->>Y로 표기
조인종속성 (Adjoin Dependency,5NF)		관계 중에서 둘로 나눌 때는 원래의 관계로 회복할 수 없으나, 셋 또는 그 이상으로 분리시킬 때 원래의 관계를 복원할 수 있는 특수한 경우임

 

 

 

나.함수적 종속성의 주요추론 규칙

구분	추론	내용	비고
기본	재귀	Y가 X의 부분집합이면 X→Y이다	Reflective
	증가	X→Y이면, XZ→YZ이다	Augmentation
	이행	X→Y이고, Y→Z이면, X→Z이다.	Transitivity
부가	연합	X→Y이고, Y→Z이면, X→YZ이다	Union
	분해	X→YZ이면, X→Y이고, X→Z이다.	Decomposition
	가이행	X→Y이고, YW→Z이면, XW→Z이다	Pseudo-Transitivity

 

III. 함수적 종속성의 적용 시 고려할 사항

1)   실 세계를 중심으로 함수적 종속성을 찾고, 가능한 모든 경우를 만족시키는 종속성을 적용 시켜야 함

2)   함수적 종속성은 테이블의 스키마(내연: intension)에 관한 특성이기 때문에, 데이터베이스 설계과정에서 반드시 고려되어야 할 사항