三大完整性约束
实体完整性
参照完整性
用户自定义完整性
完整性约束条件(或称完整性约束规则)的一般形式
IntegrityConstraint ::= ( O，P，A，R)
O：数据集合：约束的对象？
列、多列(元组)、元组集合
P：谓词条件：什么样的约束？
A：触发条件：什么时候检查？
R：响应动作：不满足时怎么办
