Showing cs.DBShow all
2 papers · 1 filter
cs.DB2026
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…
cs.DB2024
Models for Storage in Database Backends
Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa +3
This paper describes ongoing work on developing a formal specification of a database backend. We present the formalisation of the expected behaviour of a basic transactional system…