数据类型以及完整性约束