15.3 完整性与约束验证