数据类型的操作以及完整性约束