A model for concurrency in nested transactions systems (Q3835055)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A model for concurrency in nested transactions systems |
scientific article |
Statements
A model for concurrency in nested transactions systems (English)
0 references
1989
0 references
process management
0 references
transaction processing
0 references
correctness
0 references
verification
0 references
computation forest
0 references
serializability theory
0 references
concurrency control algorithms
0 references
nested transactions
0 references
multilevel database systems
0 references
