Evaluating correctness criteria for transactions.
David E. LangworthyPublished in: ACM SIGPLAN Notices (1989)
Keyphrases
- correctness criteria
- concurrency control
- correctness criterion
- advanced database systems
- transaction model
- concurrency control protocols
- database systems
- multidatabase systems
- update propagation
- integrity constraints
- mobile computing
- distributed databases
- transaction management
- fine grained
- object oriented database systems
- query optimization
- distributed database systems
- transaction processing
- mobile devices
- linear logic
- multi dimensional
- database