Figure 1 Aria: (1) Transactions in a batch are executed against the same snapshot; (2) To achieve serializability, the transactions that suffer read-after-write conflict (e.g., T3) and ...