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

Podrobná bibliografie
Hlavní autoři:	Xia, Yu, Yu, Xiangyao, Butrovich, Matthew, Pavlo, Andrew, Devadas, Srinivas
Další autoři:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Médium:	Článek
Jazyk:	English
Vydáno:	ACM\|Proceedings of the 2022 International Conference on Management of Data 2022
On-line přístup:	https://hdl.handle.net/1721.1/146094

Popis
Žádný popis.

Podobné jednotky