4.3 完整性约束的定义