Introdução

Banco de Dados: conjunto de entidades

Consistência expressa por um conjunto de invariantes :

A é um contador para B

C é um contador para as células livres em D

E é um índice para F

Estes invariantes são chamados de restrições de consistência do banco de dados

Um estado do BD é consistente se satisfaz as restrições de consistência