Stubborn Transaction Reduction (with Proofs).

Published in: CoRR (2018)

Keyphrases

weighted average
database
transaction processing
reduction method
transaction data
machine learning
case study
markov chain
theorem prover
theorem proving
data reduction
transaction management
population size
formal proofs