数据类型及完整性约束