Restrições de domínio e regras de integridade referencial são formas especiais de: