///
Considere as afirmativas abaixo a cerca de integridade em Banco de Dados:
I. Nenhuma operação de atualização terá jamais permissão para atribuir a qualquer banco de dados um valor que faça com que seu predicado de banco de dados seja avaliado como TRUE.
II. Uma restrição de tipo especifica os valores válidos para um determinado tipo (ou domínio), mas não é verificada durante invocações do seletor correspondente.
III. Uma restrição de atributo especifica os valores válidos para um determinado atributo, e possivelmente nunca poderá ser violada se as restrições de tipo forem verificadas.
IV. Uma restrição de RelVar especifica os valores válidos para uma determinada RelVar, e é verificada quando essa RelVar é atualizada.
V. Uma restrição de banco de dados especifica os valores válidos para um determinado banco de dados, e é verificada quando o banco de dados em questão é atualizado.
Acerca das afirmativas acima, podemos afirmar que: