CobbleDB: Modelling Levelled Storage by Composition
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910115078078464 |
|---|---|
| author | Ma, Emilie Pandey, Ayush Bieniusa, Annette Shapiro, Marc |
| author_facet | Ma, Emilie Pandey, Ayush Bieniusa, Annette Shapiro, Marc |
| contents | We present a composition-based approach to building correctby-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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_06273 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | CobbleDB: Modelling Levelled Storage by Composition Ma, Emilie Pandey, Ayush Bieniusa, Annette Shapiro, Marc Databases Programming Languages Software Engineering We present a composition-based approach to building correctby-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. |
| title | CobbleDB: Modelling Levelled Storage by Composition |
| topic | Databases Programming Languages Software Engineering |
| url | https://arxiv.org/abs/2604.06273 |