完整性约束：

保证授权用户对数据库所做的修改不会破坏数据的一致性；防止对数据的意外破坏

单个关系上的约束：

参照完整性

令关系r和s的属性集分别是R和S，主码分别是K_r和K_s。如果要求对s中任意元组p，均存在r中元组t使得t.K_s = p.ALPHA，我们称S的子集ALPHA为参照关系r中K_r的外码(foreign key)

以上称为参考完整性约束，或子集依赖

create table(
...
dept_name varchar(20) references department
...);

以上代码，当违反参照完整性约束时，处理为拒绝执行导致完整性破坏的操作（即：此事务被回滚）

create table course(
...
foreign key (dept_name) references department
      on delete cascade
      on update set null
      on insert set default,
...);

以上代码，

• 当删除department元组操作违反参照完整性约束时，系统并不拒绝此操作，而是“级联”删除course关系中相应元组；
• 当更新department元组操作违反参照完整性约束时，系统并不拒绝此操作，而是参照域（此处为dept_name）设为null;
• 当插入department元组操作违反参照完整性约束时，系统并不拒绝此操作，而是参照域（此处为dept_name）设为预设值。

assertion

create assertion credits_earned_constraint check
  (not exists ( select ID
                      from student
                      where tot_credits <> (select sum(credits)
                                                         from takes natural join course
                                                         where student.ID = takes.ID
                                                                   and grade is not null
                                                                   and grade <> 'F')));