数据库：候选码、主码、超码、主属性、非主属性、外码、参照完整性

候选码：

定义：

能唯一标识一个元组的单个属性或者属性组合。

性质：

唯一性：候选码能唯一标识一个元组。

最小性：一个候选码的真子集不能唯一标识一个元组。

主码：

定义：

某个候选码，即：若候选码有多个，则选择其中一个候选码（一个候选码可能有多个属性）作为主码。

主属性：

定义：

包含在任何一个候选码中的属性是主属性。

非主属性：

定义：

不包含在任何候选码中的属性是非主属性。

外码，外键

定义：

关系R中的一个属性组，他不是R的候选码，但它与另一个关系的候选码相对应，则称这个属性组为R的外码/外键

两个关系通常通过外码相互连接

例子如下：

参照完整性：

如果关系R1的外码Fk与关系R2的主码Pk相对应，那么R1中所有元素的Fk值要么等于关系R2中的某个Pk值，要么为空值