Fair serializability of iterated transactions using FIFO-nets.
Marie-Paule FléGérard RoucairolPublished in: European Workshop on Applications and Theory in Petri Nets (1984)
Keyphrases
- concurrency control
- transaction management
- nested transactions
- correctness criterion
- concurrency control protocols
- correctness criteria
- distributed database systems
- transaction processing
- snapshot isolation
- distributed databases
- multidatabase systems
- database systems
- transaction processing systems
- transaction model
- real time databases
- database concurrency control
- database transactions
- integrity constraints
- concurrency control algorithms
- deadlock free
- real time database systems
- database management systems
- fine grained
- database
- concurrent execution
- replicated databases
- acid properties
- high speed
- data replication
- heavy traffic
- replicated data
- update propagation
- distributed environment
- temporal constraints
- long run