ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity.
Dan FruminRobbert KrebbersLars BirkedalPublished in: CoRR (2020)
Keyphrases
- fine grained
- concurrency control
- nested transactions
- multidatabase systems
- coarse grained
- transaction processing
- logical operations
- transaction management
- logical framework
- logical rules
- logical representation
- correctness criterion
- access control
- probabilistic logic
- acid properties
- logical formulas
- truth values
- database systems
- logic programming
- relational databases
- tightly coupled
- massively parallel
- data lineage
- transaction model
- data model
- concurrent execution
- linear logic
- first order logic
- databases