Detecting Robustness against MVRC for Transaction Programs with Predicate Reads.

Brecht Vandevoort Bas Ketsman Christoph Koch Frank Neven

Published in: EDBT (2023)

Keyphrases

database
automatic detection
database transactions
first order logic
concurrency control
genetic algorithm
learning algorithm
case study
expert systems
computational efficiency
computer programs
programming environment
transaction data
automatic programming
nested transactions
high robustness