Um analista recebeu a missão de avaliar as propriedades das transações de um sistema de banco de dados que sua empresa está pensando em adquirir. Um dos testes que ele realizou consistiu na execução da seguinte transação:
Ti: read(A); A := A – 50; write(A); read(B); B := B + 50; write(B);
O objetivo da transação era transferir 50 reais da conta A para a conta B.
Após receber a confirmação do sistema de banco de dados de que a transação foi efetuada com sucesso, significando que não houve nenhuma falha de sistema que tenha resultado em perda de dados relativa a essa transferência, o analista simulou uma falta de energia, e o servidor no qual estava o sistema de banco de dados foi desligado. A seguir,...

