11.6 CHECK约束