关系:笛卡尔积的子集
定义
超码:由一个或多个属性组成的一个属性集这个属性集可以唯一确定关系中的每一个元素。(子集也可以唯一确定)
候选码:关系中的某一属性组的值能唯一地标识一个元祖,而其子集不能,则称该属性组为候选码。
主码:若一个关系有多个候选码,则选定其中一个为主码。
主属性:候选码的诸属性称为主属性。
非主属性或非码属性:不包含在任何候选码中的属性。
范围
超码≥候选码≥主码
注意
关系模式中的候选码可以有一个或多个,主码只有一个。
主码只有一个,但不一定唯一。
实体完整性中,主码中的属性不能取空值。