1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.DB2026★ 1 cited
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…
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)…