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