Quais requisitos são exigidos para transações no contexto do desenvolvimento de software?

As transações devem satisfazer às propriedades ACID:

• Atomicidade: A transação deve ser totalmente concluída ou totalmente revertida. Se alguma parte da transação falhar, toda a transação é revertida ao estado original.
• Consistência: A transação leva a base de dados de um estado consistente para outro. Não deve violar a integridade dos dados ou as regras de restrição.
• Isolamento: Transações executadas em paralelo não devem influenciar-se mutuamente. O resultado de várias transações deve ser o mesmo que se fossem executadas sequencialmente. Problemas de isolamento incluem:
  • Leitura suja: Leitura de dados que ainda não foram confirmados por outra transação.
  • Leitura não repetível: Ler os mesmos dados várias vezes numa mesma transação e obter valores diferentes porque outra transação os modificou e confirmou entre leituras.
  • Leitura fantasma: Ao reexecutar uma consulta com condição numa mesma transação, obtém-se um conjunto diferente de linhas porque outra transação adicionou ou removeu linhas que satisfazem a condição.
• Durabilidade: Após uma transação ser concluída com sucesso (confirmada), as alterações feitas por ela devem ser permanentes e resistir a falhas do sistema (por exemplo, corte de energia).

Em Java, para gerir transações, frequentemente utilizam-se frameworks como Spring Framework com a sua gestão declarativa de transações (@Transactional) ou Java Transaction API (JTA).

Exemplo de uso de @Transactional:

@Transactional  
public void processOrder(Order order) {  
    // Lógica de processamento do pedido  
    // Por exemplo, débito de fundos na conta  
    accountService.debit(order.getCustomerId(), order.getAmount());  

    // Atualização do estado do pedido  
    orderRepository.updateStatus(order.getId(), "Processed");  

    // Em caso de erro (por exemplo, fundos insuficientes)  
    // toda a transação será revertida automaticamente,  
    // a menos que seja indicado o contrário (@Transactional(noRollbackFor = ...))  
}