Publications & Talks

Towards Abstractions for Composable Transactional Isolation

CDMS@VLDB: International Workshop on Composable Data Management Systems, 2026

Authors

Abstract

There is a renewed interest in transactional database systems. In addition to large-scale cloud-native OLTP systems, there are novel proposals for HTAP and transactional lakehouse systems. At the same time, research proposals on highly available transactions are emerging, which avoid coordination and are particularly useful in high-concurrency and geo-replicated settings that have yet to see mainstream industrial adoption. However, in contrast to data storage and processing, in which there is an increasing interest in composability and there are widely available and used components that can be combined, transactional guarantees are monolithically built in each system. In this paper we conduct a thought experiment on how to design database systems with composable transactional guarantees by examining and combining existing database systems with Cure, a research proposal for highly available transactional causal consistency. As a result, we derive lessons on desirable interfaces and useful building blocks for composable transactional implementations in database systems.

BibTeX

@article{pereira2150towards,
	title={Towards Abstractions for Composable Transactional Isolation},
	author={Pereira, Daniel and Pereira, Filipe and Lopes, Rui and Faria, Nuno and Almeida, Paulo Sérgio and Pereira, José},
	journal={Proceedings of the VLDB Endowment. ISSN},
	volume={2150},
	pages={8097}
}

Resources