함수종속성

함수 종속성
:릴레이션 R이 있고 속성의 집합 X,Y가 있을 때 X각각의 값이  Y의 값 한개와 대응될 때 'X는 Y를 함수적으로 결정한다'라고 하고  X -> Y로 표기한다.

정규화 - 릴레이션을 분해하여 이상현상을 제거하는 과정

제 1 정규형
: 릴레이션  R의 모든 속성값이 원자값을 가지면 제 1 정규형을 만족한다.
: 모든 속성은 하나의 값(원자값)을 가져야 한다.
제 2 정규형
: 릴레이션  R이 제 1 정규형이고 기본키가 아닌 속성이 기본키에 완전 함수 종속일때 제 2 정규형이라고 한다.
: 릴레이션의 기본키가 복합키일때 복합키의 일부분이 다른 속성의 결정자인지 여부 판단
복합키 중 하나를 제거하더라도 종속성이 성립 :  이상현상이 발생
(A, B) -> C  ,  B -> C  
B -> C을 분해(다른 릴레이션 생성)

제 3 정규형
: 릴레이션R이 제 2 정규형이고 기본키가 아닌 속성이 기본키에 비이행적으로 존재할때(직접 종속) 제 3 정규형이라고 한다.
A -> B, B -> C    :   A -> C
기본키(A)가 아닌 속성(B)에도 종속되어 있음 : 이상현상 발생
B -> C을 분해(다른 릴레이션 생성)

BCNF 정규형
:함수 종속성  X -> Y가 성립할 때 모든 결정자 X가 후보키라면 BCNF이다.
:결정자이면서 후보키가 아닌 속성 존재 : 이상현상 발생