desirable properties of transaction code example Example: acid properties Atomicity Consistency Isolation Durability