A CondiçãoProcura é qualquer Expressão booleana que atenda aos requisitos especificados nos .

Quando não é especificado o nome-da-restrição, o gera um nome de restrição único (tanto para a restrição de coluna quanto para a restrição de tabela).