3.4.5 CHECK约束