An Equational Theory for Transactions.

Andrew P. Black Vincent Cremet Rachid Guerraoui Martin Odersky

Published in: FSTTCS (2003)

Keyphrases

database
search algorithm
theorem proving
theoretical basis
general theory
transactional data
databases
computer vision
case study
multiscale
data structure
computational model
concurrency control
transaction model
transaction data
equational theories