Robustness against Read Committed for Transaction Templates with Functional Constraints

The popular isolation level Multiversion Read Committed (RC) trades some of the strong guarantees of serializability for increased transaction throughput. Sometimes, transaction workloads can be safely executed under RC obtaining serializability at the lower cost of RC. Such workloads are said to be...

Full description

Bibliographic Details
Main Authors: Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2023-12-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/10173/pdf