4.5 完整性约束的验证