10.2.2 校验约束——CHECK