Proving Logical Atomicity using Lock Invariants.
Roshan SharmaShengyi WangAlexander OeyAnastasiia EvdokimovaLennart BeringerWilliam ManskyPublished in: CoRR (2023)
Keyphrases
- concurrency control
- nested transactions
- transaction management
- affine invariant
- logical reasoning
- multidatabase systems
- database
- logical rules
- invariant features
- transaction processing
- acid properties
- probabilistic logic
- concurrent execution
- imperative programs
- logical operations
- locking protocol
- quasi invariant
- logical representation
- moment invariants
- distributed databases
- query optimization
- mobile devices
- image sequences
- neural network
- data sets