permite especificar um predicado que deve ser satisfeito por qualquer valor atribuído a uma variável de determinado domínio.

especifica um predicado que deve ser satisfeito por uma tupla em uma relação.

proíbe a inserção de um valor nulo para as variáveis do domínio.

verifica se os atributos considerados formam uma chave candidata.

não tem efeito, pois não se aplica esta cláusula a declarações de domínio.