<alter_definition>::= ALTER CONSTRAINT <constraint_name> CHECK <search_condition> | ALTER <key_definition>