2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2026
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)…
cs.DB2022★ 2 cited
Serializable HTAP with Abort-/Wait-free Snapshot Read
Takamitsu Shioi, Takashi Kambayashi, Suguru Arakawa +3
Concurrency Control (CC) ensuring consistency of updated data is an essential element of OLTP systems. Recently, hybrid transactional/analytical processing (HTAP) systems developed…