A 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.
B 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.
C 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.
D estabelece ostriggerse as asserções que serão executados automaticamente, quando houver modificação no banco de dados.