Detecting Robustness against MVRC for Transaction Programs with Predicate Reads.

Brecht Vandevoort Bas Ketsman Christoph Koch Frank Neven

Published in: CoRR (2023)

Keyphrases

database
database transactions
databases
first order logic
concurrency control
computer programs
computational efficiency
automatic programming
high robustness
website
database management systems
fixpoint
transaction model
real time database systems