Em Banco de Dados, necessitamos ser mais precisos sobre o qu...

Em Banco de Dados, necessitamos ser mais precisos sobre o que significa um "término bem sucedido" de uma transação. Para tanto, estabelecemos um modelo abstrato simples. Uma transação deve ser feita em um dos seguintes estados, com seus respectivos conceitos:
1. Ativo: o estado inicial.
2. Parcialmente Compromissado: após a execução do último comando.
3. Abortado: após se descobrir que a execução normal não pode mais prosseguir.
4. Falho: depois que a transação tenha sido repetida e que o banco de dados tenha sido restaurado ao seu estado anterior ao início da transação.
5. Compromissado: após o término "bem sucedido".
Assinale a alternativa correta.