Pode explicar os princípios e propriedades das transações em bancos de dados relacionadas com ACID?

Uma transação numa base de dados é uma sequência de operações que é executada como uma unidade. Os princípios ACID garantem a fiabilidade e correção dessas operações:

• Atomicidade: Todas as operações da transação são concluídas na sua totalidade ou não são realizadas de todo. Se algo correr mal, as alterações são revertidas.
• Consistência: A transação leva a base de dados de um estado correto para outro, cumprindo todas as regras e restrições.
• Isolamento: Transações concorrentes não se influenciam mutuamente, como se fossem executadas sequencialmente.
• Durabilidade: Após a conclusão bem-sucedida da transação, as alterações são guardadas de forma permanente, mesmo em caso de falhas.

Por exemplo, ao transferir dinheiro entre contas, a transação garante que a dedução e a creditação ocorram juntas ou não ocorram de todo.