expressa uma condição que se queira que o Banco de Dados sempre satisfaça, em função das restrições ao conjunto de relações válidas.

estabelece os padrões de testes dos valores inseridos no Banco de Dados e, depois, efetua testes de consultas para assegurar que as comparações façam sentido.

assegura que um valor que aparece em uma relação para um determinado conjunto de atributos apareça em outro conjunto de atributos em outra relação.

caracteriza-se pela atribuição de parâmetros que são executados automaticamente pelo sistema, em conseqüência de uma modificação no banco de dados.

estabelece os triggers e as asserções que serão executados automaticamente, quando houver modificação no banco de dados.