[데이터베이스]함수종속성, 추론규칙

* 함수종속 : 속성간의 의존관계, 릴레이션 R에서 속성 X가 속성 Y를 결정짓는 관계

* X : 결정자 Y : 종속자

<기본규칙>
 - 반사규칙 : X ⊇ Y 이면 X → Y
 - 증가규칙 :  X → Y 이면 XZ → YZ
 - 이행규칙 :  X → Y 이고 X → Z 이면 X → Z

<유도규칙>
 - 결합규칙 : X → Y 이고 X → Z 이면 X → YZ
 - 분해규칙 : X → YZ 이면 X → Y 이고 X → Z 
 - 의사이행규칙 : X → Y 이고 WY → Z 이면 WX → Z