7.1.1 CHECK约束和规则对象