암스트롱의 공리 편집하기
IT위키
편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
4번째 줄: | 4번째 줄: | ||
* 재귀성(reflexivity): 만약 Y가 X의 부분집합이면, X→Y이다. | * 재귀성(reflexivity): 만약 Y가 X의 부분집합이면, X→Y이다. | ||
* 부가성(augmentation): 만약 X→Y이면, XZ→YZ이다. | * 부가성(augmentation): 만약 X→Y이면, XZ→YZ이다. | ||
* 이행성(transitivity | * 이행성(transitivity: 만약 X→Y이고 Y→Z이면, X→Z이다. | ||
* 분해(decomposition): 만약 X→YZ이면, X→Y이고 X→Z이다. | * 분해(decomposition): 만약 X→YZ이면, X→Y이고 X→Z이다. | ||
* 합집합(union): 만약 X→Y이고 X→Z이면, X→YZ이다. | * 합집합(union): 만약 X→Y이고 X→Z이면, X→YZ이다. | ||
* 의사이행( | * 의사이행(Pseudotransitivity): 만약 X → Y이고 YZ → W이면, XZ → W | ||
* | * self-determination: 자기 자신은 자신에 의해 함수 종속적이다. 즉, X→X이다. | ||
== 같이 보기 == | == 같이 보기 == | ||
* [[함수적 종속성]] | * [[함수적 종속성]] | ||
* [[데이터베이스 정규화]] | * [[데이터베이스 정규화]] |