함수적 종속성(Functional Dependency)

I. 함수적 종속성의 개요

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

   - 데이터들이 어떤 기준값에 의해 종속되는 현상, 이때 기준값을 결정자(Determinant)라하고 종속되는 값을 종속자(Dependent)라 한다.

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

구분	추론규칙	설명
기본규칙	재귀규칙	- Y가 X의 부분 집합이면 X > Y이다
	증가규칙	- X > Y이면, XZ > YZ이다
	이행규칙	- X > Y이고, Y > Z이면, X > Z이다
부가규칙	연합규칙	- X > Y이고, X > Z이면, X > YZ이다
	분해규칙	- X > YZ이면, X > Y이고, X > Z이다
	가이행규칙	- X > Y이고, WY > Z이면, XW> Z이다

---

II. 함수적 종속성의 종류 및 문제점

가. 함수적 종속성의 종류

구분	내용	사례
완전함수 종속성	- XY > Z일 때, X > Z와 Y > Z가 모두 성립하지 않는 경우	학번, 과목번호 > 성적 학번 > 학과
부분함수 종속성	- XY > Z일 때, X > Z와, Y > Z중 하나만 성립하는 경우 제2 정규화 필요
이행함수 종속성	- X > Y이고, Y > Z일 때 X > Z가 성립하는 경우 제 3정규화 필요	지도교수 > 학과
결정함수 종속성	- 릴레이션이 모든 결정자가 후보키인 경우 결정자함수 종속, BCNF 필요	교수 > 과목

나. 함수적 종속성의 문제점

   - 정보의 중복 발생으로 인한 이상현상(Anomaly)이 발생하며, 정보의 부정확 발생으로 분해 후 Join시 데이터 불일치 발생

   - 정규화를 통해 제거