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 of1
Atomicity
2
Consistency
3
Isolation
4
Durability