Key

super key

각 레코드를 유일하게 식별할 수 있는 컬럼의 집합.

 

수학적인 정의는 다음과 같다.

 

$K \subset \{A_1, \dots, A_n \}$ is a super key of relation r if

$\forall t_1, t_2 \in r, \quad t_1.K = t_2.K \implies t_1 = t_2$.

 

candidate key (후보키)

각 레코드를 유일하게 식별할 수 있는 최소한의 속성의 집합.

candidate key는 minimal super key이다. 즉, candidate key의 어떤 진부분집합도 super key가 아니다.

 

primary key (기본키)

candidate key 중 table을 대표하는 키로 선택된 키.

 

alternate key (대체키)

candidate key 중 primary key가 아닌 키.

 

composite key (복합키)

두 개 이상의 컬럼으로 구성된 candidate key.

 

foreign key (외래키)

다른 테이블의 primary key를 참조하는 key.

어떤 키 K가 테이블 r의 foreign key가 되기 위해서는 해당 테이블의 임의의 레코드를 가져와서 K값을 확인했을 때 이것이 다른 테이블의 PK값으로 존재해야 한다.

 

수학적인 정의는 다음과 같다.

 

$K \subset \{A_1, \dots, A_n \}$ is a foreign key from $r_1$ referencing $r_2$ if

$\forall t_1 \in r_1, \quad \exists t_2 \in r_2 \quad\text{s.t.}\quad t_1.K = t_2.PK(r_2)$.