Key Test
키 판정은 유일성으로 시작하고, 최소성으로 좁힌다
유일성만 통과하면 슈퍼키입니다. 그중 불필요한 속성을 하나도 남기지 않은 최소 조합만 후보키가 됩니다.
1단계
유일성
선택한 속성 값 또는 속성 조합으로 릴레이션의 모든 튜플을 서로 구분할 수 있어야 합니다.
2단계
최소성
구성 속성 중 하나라도 빼면 더 이상 유일하게 식별할 수 없어야 합니다.
속성 집합
유일성
최소성
판정
{student_id}
통과
통과
후보키
{student_id, name}
통과
실패
슈퍼키
{name}
실패
검사 전
키 아님