암스트롱 공리

I. 암스트롱 공리의 개요

가. 암스트롱 공리의 정의

   - 함수 종속성 이론, 추론의 기본 규칙

   - 여러가지 함수 종속의 성질을 유도 할 수 있는 원리

나. 암스트롱 공리의 필요성

   - 함수 종속성을 제거하기 위한 정규화에 사용

---

II. 암스트롱 공리의 법칙

구분	추론규칙	설명
가정	릴레이션 R에 대해서 X, Y, Z라는 속성의 집합이 주어졌다고 가정
기분 규칙	재귀적 규칙 (반사의 공리/Reflexivity Rule)	Y가 X의 부분 집합이면, X>Y X⊇Y이면 X>Y이다 예) {사번}  {사번, 이름} 이면 {사번, 이름} -> {사번}
	부가성 규칙 (확대의 공리/Augmentation Rule)	X>Y 이면, XZ>YZ 예) 사번->이름 이면 {사번,부선} -> {이름,부서}
	이행성 규칙 (이행의 공리/Transitivity Rule)	X>Y 이고 Y>Z 이면 X>Z 예)사번->이름 이고 이름->부서이면 사번 -> 부서 이다
부수적 규칙	합집합 규칙 (Union Rule)	만약 X>Y이고 X>Z 이면 X>YZ
	분해 규칙 (Decomposition Rule)	X>YZ이면 X>Y 이고 X>Z
	유사 이행성 규칙 (Pseudo Transitivity Rule)	만약 X>Y 이고 YZ>W이면 XZ>W