Afirma que nenhum valor de chave primária pode ser NULL.

Especifica que. dentro de cada tupla, o valor de cada atributo deve ser um valor indivisível do domínio.

É usada para testar a virtude do projeto de um banco de dados relacional e em um processo chamado normalização.

Define a linguagem de definição de dados (DOL) de um SGBD.

É especificada em um modelo relacional por meio de triggers e assertions.