A bank has a system that manages financial transactions.
When transferring money between accounts. the system must never retrieve a value for the source account that reflects the balance before the transfer and a value for the destination account that reflects the balance after the transfer.
Of which ACID semantic is this an example?