SQL完整性约束

0. 前言

完整性约束保证授权用户对数据库所做的修改不会破坏数据的一致性。

1. 单个关系上的约束

1.1 not null 约束

not null声明禁止在该属性上插入空值。任何可能导致向一个声明为not null的属性插入空值的数据都会产生错误诊断信息。

1.2 unique约束

unique ($A_{j1}$, $A_{j2}$,…, $A_{jm}$)
unique声明指出$A_{j1}$, $A_{j2}$,…, $A_{jm}$形成了一个候选码，即在关系中没有两个元组能在所有列出的属性上取值相同。
值得注意的是，候选码属性可以为null, 除非它们已被显示地声明为not null。

1.3 check子句

当应用于关系声明时，check(p)子句指定一个谓词P, 关系中的每个元组都必须满足谓词P。
根据SQL标准，check子句中的谓词可以是包含子查询在内的任意谓词。

1.4 参照完整性

我们常常希望保证在一个关系中给定属性集上的取值也在另一关系的特定属性集的取值中出现，这种情况被称为参照完整性(referential integrity)。
令关系$r_1$和$r_2$的属性集分别为$R_1$和$R_2$，主码分别为$K_1$和$K_2$。如果要求对$r_2$中的任意元组$t_2$,均存在$r_1$中的元组$t_1$使得$t_1$.$K_1$=$t_2$.$\alpha$,我们称$R_2$的子集$\alpha$为参照关系$r_1$中$K_1$的外码(foreign key)。

技术注解：一个关系模式$r_1$可能在它的属性中包含另一个关系模式$r_2$的主码。这个属性在$r_1$上称作参照$r_2$的外码(foreign key)。