Y ⊆ X 이면 X → Y
이미 가진 속성은 결정할 수 있다.
X → Y 이면 XZ → YZ
양쪽에 같은 속성을 더해도 성립한다.
X → Y, Y → Z 이면 X → Z
결정 관계를 이어 붙일 수 있다.
암스트롱 공리는 정규화 계산에서 클로저, 후보키, 종속 보존을 확인하는
기반이 된다.
주어진 함수 종속에서 새 종속을 논리적으로 유도할 때 쓰는 기본 규칙이다.
Y ⊆ X 이면 X → Y
이미 가진 속성은 결정할 수 있다.
X → Y 이면 XZ → YZ
양쪽에 같은 속성을 더해도 성립한다.
X → Y, Y → Z 이면 X → Z
결정 관계를 이어 붙일 수 있다.