用户定义完整性

一、属性上的约束条件

1.属性上约束条件的定义

• 不允许取空值：
  

• 列值唯一：
  

• 用CHECK短语指定列值应该满足的条件
  
  

2.属性上约束条件的检查和违约处理

二、元组上的约束条件

1.元组上约束条件的定义

例：

2.元组上约束条件的检查和违约处理

参考-《数据系统概论(第五版)》-人民大学-王珊

数据库-第五章 数据库完整性-5.3 用户定义完整性