암스트롱의 공리

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이다.

같이 보기

• 함수 종속성
• 데이터베이스 정규화