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