2 citations · 3 across the 3 of their papers we have counts for
3 papers
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)…
Shirakami: A Hybrid Concurrency Control Protocol for Tsurugi Relational Database System
Takayuki Tanabe, Shinichi Umegane, Suguru Arakawa +5
Bill-of-materials and telecommunications billing applications need to process both short and long read-write transactions simultaneously. Recent work rarely addresses such evolving…
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…