tonirr

함수적 종속성의 확장 함수적 종속성은 릴레이션의 효율성 여부에 중요한 판단기준 그러나 릴레이션의 인스턴스만으로 내재된 모든 함수적 종속서을 찾아내기 어려움 판별되지 않은 모든 함수적 종속성을 찾기 위해 추론 규칙을 사용하여 함수적 종속성을 확장 클로저(closure) 판별된 함수적 종속성 집합으로부터 유추할 수 있는 모든 함수적 종속성 집합 함수적 종속성 추론 규칙 암스트롱 공리(Armstring's axiom) 재귀성 규칙: X⊇Y이면, X→Y이다 부가성 규칙: X→Y이면, XZ→YZ이다 이행성 규칙: X→Y이고, Y→Z이면, X→Z이다. 분해 규칙: X→YZ이면, X→Y이다. 합집합 규칙: X→Y이고, X→Z이면, X→YZ이다. 의사 이행성 규칙: X→Y이고, WY→Z이면, WX→Z이다. 함수적 종속..