Cargando…

Checking Robustness Between Weak Transactional Consistency Models

Concurrent accesses to databases are typically encapsulated in transactions in order to enable isolation from other concurrent computations and resilience to failures. Modern databases provide transactions with various semantics corresponding to different trade-offs between consistency and availabil...

Descripción completa

Detalles Bibliográficos
Autores principales: Beillahi, Sidi Mohamed, Bouajjani, Ahmed, Enea, Constantin
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2021
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984544/
http://dx.doi.org/10.1007/978-3-030-72019-3_4