结论
常见认为设为主键的条件为：
- 值唯一
- 不含空值
- 具体实施中会出现各种问题
添加主键约束的条件细则：
- 值唯一
- 数据中不含空值
- 在定义时需要not null约束（使用check约束不行）
验证实验
接下来我做了关于这个细则的验证实验：
设Student表中的列为：
- Sno( char(5),状态)
- Sname(varchar(10),null)
- Sage(int,null)
建立Student表的sql语句为：
create table Student(
Sno char(5)
Sname varchar(10)
Sage int
)
目的：想将Sno设为Student的主键。
需要根据Sno的状态分类讨论
若Sno中无null值
alter table Student
add constraint PK1 primary key(sno)
结果：会报错，因为Sno只是目前暂时没有空值，但有含null值的可能性。因此需要Sno增加约束条件，消除其含null值的可能性
思路有两种，一种通过check约束限制Sno不含空值、一种在定义Sno时限制。
- check约束限制
alter table student
add constraint C1 check(sno is not null)
成功添加check约束后再次尝试。发现仍然失败。这个方法行不通
- 定义限制
为保证实验的严谨，需要控制变量，先将刚刚的C1限制删除再进行定义限制。
alter table student
alter column sno char(5) not null
再尝试增加主键约束。发现成功添加。
若Sno中含null值
数据中含null值当然无法设置主键约束。但是在这一节可以进一步的佐证，为什么仅满足check约束无法成功添加主键约束。
- 尝试添加check约束限制
会报错，因为当前表中sno已经有null值
alter table student
add check(sno is not null)
- 强制添加check约束
通过增加with nocheck字段可以强制添加check约束。这样的效果是，不会去检查先前的空值，但会检查之后插入的元组
alter table student
with nocheck add check(sno is not null)
因此，会出现列Sno，明明有not null的check约束，但数据中仍有null值的问题。故check约束并不能保证Sno值不为null的条件，也就不能成功添加主键约束。
