Asserção

ASSERÇÕES

Mais algumas dicas sobre usos apropriados de asserções:
Não utilize asserções para validar argumentos de um método público, uma vez que você não tem controle sobre como ele será chamado. Isto inclui argumentos passados pela linha de comando. Neste caso, é importante que o próprio método valide os argumentos que está recebendo, pois as asserções podem estar desabilitadas durante a execução. Uma boa solução é lançar algo tipo uma "IllegalArgumentException" caso o argumento não seja válido.
Não utilize expressões de teste que alteram o estado do objeto, por exemplo chamando um método que retorna um boleano mas antes disso altera o valor de alguma variável. Como não é garantido que a expressão será executada, não é recomendado que seu código tenha um comportamento diferente dependendo das asserções estarem habilitadas ou não.
Utilize asserções para métodos privados, em que provavelmente você já está utilizando a lógica correta no método que irá chamá-lo.
Utilize asserções para checar casos que você sabe que nunca devem acontecer, como por exemplo um valor inválido de um bloco switch. Neste caso, basta colocar "assert false" na parte do código pela qual ele não deveria passar.

As restrições de integridade fornecem meios para assegurar que mudanças feitas no banco de dados por usuários autorizados não resultem na inconsistência dos dados. Há vários tipos de restrições de integridade que seriam cabíveis a bancos de dados. Entretanto as regras de integridade são limitadas às que podem ser verificadas com um mínimo de tempo de processamento.
Uma asserção (afirmação) é um predicado expressando uma condição que desejamos que o banco de dados sempre satisfaça. Restrições de domínio, dependências funcionais e restrições de integridade referencial são formas especiais de asserções.
Quando uma assertiva é criada, o sistema testa sua validade. Se a afirmação é válida, então qualquer modificação posterior no banco de dados