CV-Rules: Serializability Verification of Concurrency Control Protocols via Explicit Transaction Ordering

Takashi Hoshino, Shigeo Mitsunari, Takashi Kambayashi +2

We present CV-rules, an alternative characterization of serializability in which a transaction order constructed by a protocol satisfies two per-read conditions, C-rule (Causality)…