암스트롱의 공리: 두 판 사이의 차이
IT 위키
편집 요약 없음 |
편집 요약 없음 |
||
| 11번째 줄: | 11번째 줄: | ||
== 같이 보기 == | == 같이 보기 == | ||
* [[ | * [[함수적 종속성]] | ||
* [[데이터베이스 정규화]] | * [[데이터베이스 정규화]] | ||
2020년 4월 12일 (일) 23:43 기준 최신판
- Armstrong's axioms
- 재귀성(reflexivity): 만약 Y가 X의 부분집합이면, X→Y이다.
- 부가성(augmentation): 만약 X→Y이면, XZ→YZ이다.
- 이행성(transitivity): 만약 X→Y이고 Y→Z이면, X→Z이다.
- 분해(decomposition): 만약 X→YZ이면, X→Y이고 X→Z이다.
- 합집합(union): 만약 X→Y이고 X→Z이면, X→YZ이다.
- 의사이행(pseudotransitivity): 만약 X → Y이고 YZ → W이면, XZ → W
- 자기결정(self-determination): 자기 자신은 자신에 의해 함수 종속적이다. 즉, X→X이다.
