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