4.5.2 域完整性与约束规则