三种完整性约束条件