A Formal Model for Compensable Transactions.

Jing Li Huibiao Zhu Geguang Pu Jifeng He

Published in: ICECCS (2007)

Keyphrases

formal model
database
transactional data
security properties
transaction management
databases
distributed database systems
security patterns
concurrent execution
transaction data
predicate calculus
probabilistic knowledge