constraint_definition

<constraint_definition> ::=
  CHECK <
search_condition>
| CONSTRAINT <search_condition>
| CONSTRAINT <
constraint_name> CHECK <search_condition>