
Constraint, transação e tipo forte são o que separa um sistema que impede o erro de um que apenas pede para o usuário não errar. É sobre PostgreSQL que a Resultz modela a base quando a operação exige integridade — e é onde o histórico de alteração deixa de depender de disciplina.