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.DB2024
Griffin: Fast Transactional Database Index with Hash and B+-Tree
Sho Nakazono, Yutaro Bessho, Hideyuki Kawashima +1
Index access is one of the dominant performance factors in transactional database systems. Many systems use a B+-tree or one of its variants to handle point and range operations. T…