Consider the following transaction involving two bank accounts $x$ and $y$.
read(x); x:=x-50; write (x); read(y); y:=y+50; write(y)
The constraint that the sum of the accounts $x$ and $y$ should remain constant is that of
- Atomicity
- Consistency
- Isolation
- Durability