릴레이션에 있는 모든 튜플들을 유일하게 식별할 수 있는 하나 또는 몇 개의 애트리뷰트 집합을 그 릴레이션의 후보키라 한다.

널 값을 가지더라도 모든 튜플을 구분할 수 있으면 기본 키가 된다.

후보키가 둘 이상 되는 경우에 그 중에서 어느 하나를 선정하여 기본키라 지정하면, 나머지 후보키들은 대체키가 된다.

유일성만 있고 최소성이 없는 애트리뷰트 집합을 슈퍼키라 한다.