码

就拿这个图片来说，无论是通过<宿舍，床位>，还是通过<江湖称号>，都能确定这个人。

所以：
<宿舍，床位>
<江湖称号>
<系，专业，班级，学号>
<社团，职位>
这几个都能称为确认一个人的码

候选码

举个例子
只有通过 <宿舍，床位> 你才能确定是这个人，仅仅凭宿舍或者床位都无法确定这个人，所以 <宿舍，床位> 里的每个真子集都无法确定这个人，那么我们称这样的码为 候选码

但是比如 <系，专业，班级，学号>，这几个，其实我知道一个学号就行了，也就是说，<学号> 就能当作一个候选码，那么 <系，专业，班级，学号> 便不是候选码了。

所以
<宿舍，床位>
<江湖称号>
<学号>
<社团，职位>
都是候选码，每个候选码里不存在能够确认元组的真子集。

主码

你从这么老些候选的码里挑呗，哪个都能当主码，看你心情。

1.什么是码?

码是数据系统中的基本概念。所谓码就是能唯一标识实体(数据库中的实体：对应现实生活中某样事物或者人物)的属性，他是整个实体集的性质，而不是单个实体的性质。它包括超码，候选码，主码。

下面我以学生表为例，给大家分享我对码的理解，比如有一个学生表：student(id,student_number,name,sex)，即：ID、学号、姓名、性别，这里的实体是student，实体的属性有id、student_number、name、sex。

2.超码

超码也叫做“超级码”，是一个或多个属性的集合，这些属性可以让我们在一个实体集（所谓的实体集就是student表中多条记录的集合）中唯一地标识一个实体。如果K是一个超码，那么K的任意超集也是超码，也就是说如果K是超码，那么所有包含K的集合也是超码。

所谓超集是集合论的术语，A ⊇ B，则 A 集是 B 的超集，也就是说 B 的所有元素 A 里都有，但 A 里的元素 B 就未必有

2.1例子：
因为通过id可以找到唯一一个学生，所以{id}是一个超码，同理{id,student_number}、{id,student_number,name}、{id,student_number,name,sex}、{student_number}、{student_number,name}、{student_number,name,sex}也是超码.

3.候选码

超码包括候选码，虽然超码可以唯一标识一个实体，但是可能大多数超码中含有多余的属性，所以我们需要候选码。若关系中的一个属性或属性组的值能够唯一地标识一个元组，且它的真子集不能唯一的标识一个元组，则称这个属性或属性组做候选码。

子集比真子集范围大，子集是包括本身的元素的集合，真子集是除本身的元素的集合

3.1例子：
在上例中，只有{id}或者{student_number}是候选码。如果sex和name可以唯一标识一个学生，则{name，sex}也为候选码，但是，sex和name并不能唯一标识一个学生，这与现实生活是违反的，因为现实有同名同姓的人，则{name，sex}不能作为候选码。

4.主码

一个表的候选码可能有多个，从这些个候选码中选择一个做为主码，至于选择哪一个候选码，这个是无所谓的，只要是从候选码中选的就行。

5.总结

所有码都是一个集合。所有可以用来在实体集中标识唯一一个实体的集合，都是超码。如果任意超码的真子集不能包括超码（换句话说就是：它的真子集不能唯一的标识一个元组），则称其为候选码。被数据库设计者选中的，用来在同一实体集中区分不同实体的候选码就是主码，可以是一个属性或者多个属性的集合。

简单的说，超码包括候选码，候选码包括主码。

例子1：使用id属性作为主码,MySQL表定义代码如下：

create table student
(
	id int primary key,
	student_number varchar(10),
	name varchar(10),
	sex varchar(4)
)

例子2：使用id和student_number属性集合作为主码,MySQL表定义代码如下：

create table student
(
	id int,
	student_number varchar(10),
	name varchar(10),
	sex varchar(4),
	constraint student_primary primary key(id,student_number)
)

当然，在现实开发中，我更喜欢使用一个属性来作为主码。比如我管理的网站 “极客开发者”（jkdev.cn），网站的各种数据集合，大多是用一个 id 来作为主码来用于标识唯一的某一条数据。

感谢您的阅读！

主码    候选码   码

ps：元组理解为一张表的某一行，属性理解为一张表的某一列，属性名就是列的名字（字段）。

1（码）：码是可以确定一个元组的所有信息的属性名或属性名组。

例如在 { a, b, c, d } 中，

假设知道 a 的值就能确定  a, b, c, d  的值，

假设知道 c, d 的值就可以确定  a, b, c, d  的值，

那么 { a } 就是码，{ c, d } 就是码。

并且 { a, b }, { a, c }, { a, b, c }, { a, b, c, d } 等也都是码，因为它们也可以确定一个元组的所有值，即使很多余。

2（候选码）：候选码的真子集中不存在码，候选码可以有多个。

就上面的例子而言，{ a } 是候选码，{ c, d } 是候选码，因为它们的真子集中不存在码。

而诸如 { a, b } 并不是候选码，因为它的真子集中含有 { a }， 且 { a } 是码。

3（主码）：主码就是主键的意思，主码是任意一个候选码。

还是上面的例子，主码是候选码 { a }， { c, d } 中的其中一个。

既可以是 { a }， 也可以是 { c, d }。