A variável de relação especifica os valores válidos para uma determinada variável de relação, e é verificada quando essa variável de relação é atualizada.
B tipo especifica os valores válidos para um determinado tipo, e é verificada durante invocações do seletor correspondente.
C atributo especifica os valores válidos para um determinado atributo, e nunca deve ser violada.
D banco de dados especifica os valores válidos para um determinado banco de dados, e é verificada no instante de COMMIT.
E domínio especifica que o valor de um atributo não pode pertencer a mais de um domínio.