# Serializable Snapshot Isolation

## Task 1: Record Read Set and Write Set

## Task 2: Serializable Verification