Cobra: Making Transactional Key-Value Stores Verifiably Serializable.

Cheng Tan Changgeng Zhao Shuai Mu Michael Walfish

Published in: OSDI (2020)

Keyphrases

desirable properties
image sequences
integrity constraints
concurrency control