逻辑数据模型有三个组成部分，分别是：数据结构、数据操作和完整性约束。数据结构是所研究的对象类型的集合；数据操作是指对数据库中各种对象
数据库的完整性是指数据的正确性和相容性。数据库完整性由各种各样的完整性约束来保证，因此可以说数据库完整性设计就是数据库完整性约束
check约束是是域完整性约束。CHECK 约束用于限制列中的值的范围。如果对单个列定义 CHECK 约束，那么该列只允许特定的值。如果对一个表定
