Transactions in RCCS.

Vincent Danos Jean Krivine

Published in: CONCUR (2005)

Keyphrases

database
transaction management
distributed database systems
transaction model
transaction processing
long lived
concurrency control
concurrent execution
database transactions
transaction data
query processing
search algorithm
image sequences
case study
knowledge base
neural network
databases