On the Serializability of Transactions in JavaSpaces.
Nadia BusiGianluigi ZavattaroPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- concurrency control
- correctness criterion
- transaction management
- nested transactions
- concurrency control protocols
- correctness criteria
- distributed database systems
- transaction processing
- snapshot isolation
- transaction model
- distributed databases
- database systems
- transaction processing systems
- real time databases
- multidatabase systems
- database transactions
- database concurrency control
- concurrent execution
- database management systems
- real time database systems
- concurrency control algorithms
- data replication
- deadlock free
- replicated databases
- execution model
- integrity constraints
- database
- timing constraints
- object oriented database systems
- replicated data
- temporal constraints
- security requirements