CobbleDB: Modelling Levelled Storage by Composition

Emilie Ma, Ayush Pandey, Annette Bieniusa +1

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 prove…