P0.4 完整性约束