Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness

Autor:	Yu Xia, Xiangyao Yu, Matthew Butrovich, Andrew Pavlo, Srinivas Devadas
Rok vydání:	2022
Zdroj:	Proceedings of the 2022 International Conference on Management of Data.
DOI:	10.1145/3514221.3517851
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1bf864840d9cac6af2992c00a1405fd4 https://doi.org/10.1145/3514221.3517851 Zobrazit plný text záznamu