함수 종속성 (Functional Dependency)

함수 종속성 (Functional Dependency)

릴레이션에서 속성 X의 값이 결정되면 속성 Y의 값이 유일하게 결정되는 관계를 X→Y로 표기하며, X를 결정자(Determinant), Y를 종속자(Dependent)라 함

특징: 정규화의 이론적 기반, 무결성 규칙 정의, 키 도출 기준

종류

• •완전 함수 종속(Full FD): 기본키 전체에 종속 (2NF 조건)
• •부분 함수 종속(Partial FD): 기본키 일부에 종속 (2NF 위반)
• •이행 함수 종속(Transitive FD): X→Y→Z (3NF 위반)

암스트롱 공리(Armstrong's Axioms)

• •반사 규칙(Reflexivity): Y⊆X이면 X→Y
• •첨가 규칙(Augmentation): X→Y이면 XZ→YZ
• •이행 규칙(Transitivity): X→Y, Y→Z이면 X→Z
• •유도 규칙: 분해, 합집합, 의사이행

폐포(Closure): 주어진 함수 종속 집합에서 추론 가능한 모든 함수 종속

기본키 도출: 후보키 = 최소 슈퍼키, 결정자 분석으로 도출

적용사례: 정규화 분석, 이상현상 원인 분석, 테이블 분해

비교: 완전종속(정상) vs 부분종속(2NF위반) vs 이행종속(3NF위반)

연관: 정규화, 기본키, 후보키, 이상현상