State ACID properties of transactions? code example Example: acid properties Atomicity Consistency Isolation Durability