完整性约束类型