Work

CobbleDB: Modelling Levelled Storage by Composition

Year: 2026

Type: conference-paper

Abstract: We present a composition-based approach to building correct-by-construction database backing stores. In previous work, we specified the behaviour of several store variants and proved their correctness and equivalence. Here, we derive a Java implementation: the simplicity of the specification makes manual construction straightforward. We leverage spec-guaranteed store equivalence to compose performance features, then demonstrate practical value with CobbleDB, a reimplementation of RocksDB's levelled storage.

DOI: 10.1145/3806077.3806696

Authors: Emilie Ma, Ayush Pandey, Annette Bieniusa, Marc Shapiro

Institutions: University of British Columbia, Télécom SudParis, Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, Institut national de recherche en sciences et technologies du numérique, Sorbonne Université, LIP6

Language: English

Topic: Advanced Database Systems and Queries

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

OpenAlex ID: W7154081503

FWCI:

Cites:

Cited by:

Related to: