Atomicity: all actions of a transaction happen, or none happen.
Consistency: if a transaction is consistent, and the database starts
from a consistent state, then it will end in a consistent
Isolation: the execution of one transaction is isolated from other
Durability: if a transaction commits, its effects persist in the