A permite especificar um predicado que deve ser satisfeito por qualquer valor atribuído a uma variável de determinado domínio.
B especifica um predicado que deve ser satisfeito por uma tupla em uma relação.
C proíbe a inserção de um valor nulo para as variáveis do domínio.
D verifica se os atributos considerados formam uma chave candidata.
E não tem efeito, pois não se aplica esta cláusula a declarações de domínio.