A bank transfers money between two accounts. Both balance changes must succeed together or neither should take effect. Which transaction property is required?

1. Atomicity
2. Denormalization
3. Eventual consistency alone
4. Partition pruning