1. 규칙 확인
먼저 업무 규칙에서 후보 FD를 적습니다
현재 테이블을 보기 전에, 무엇이 무엇을 결정하는지 규칙으로 표현합니다.
과목 담당 규칙
과목 → 교수
학생 소속 규칙
학번 → 학과
보이는 1:1 매핑은 단서일 뿐입니다. 규칙으로 후보를 세우고, 반례 가능성을 지운 뒤, 모든 가능한 인스턴스에서 유지될 때만 함수 종속으로 인정합니다.
현재 테이블을 보기 전에, 무엇이 무엇을 결정하는지 규칙으로 표현합니다.
지금 보이는 데이터가 깔끔해 보여도, 다른 인스턴스에서 깨질 수 있으면 FD가 아닙니다.
김씨가 전자공학과일 수도 있으므로 현재 상태만으로는 성립을 보장할 수 없습니다.
판정 기준은 현재 스냅샷이 아니라, 규칙이 미래의 데이터에도 계속 강제되는지입니다.