research
∙
02/17/2023
Detecting Robustness against MVRC for Transaction Programs with Predicate Reads
The transactional robustness problem revolves around deciding whether, f...
share
research
∙
01/13/2022
Robustness against Read Committed for Transaction Templates with Functional Constraints
The popular isolation level Multiversion Read Committed (RC) trades some...
research
∙
07/26/2021
Robustness against Read Committed for Transaction Templates
The isolation level Multiversion Read Committed (RC), offered by many da...
research
∙
03/02/2020
Distribution Constraints: The Chase for Distributed Data
This paper introduces a declarative framework to specify and reason abou...
research
∙
10/08/2018