A fast algorithm for testing for safety and detecting deadlocks in locked transaction systems (Q3929050)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A fast algorithm for testing for safety and detecting deadlocks in locked transaction systems |
scientific article |
Statements
A fast algorithm for testing for safety and detecting deadlocks in locked transaction systems (English)
0 references
1981
0 references
locking
0 references
concurrent database updates
0 references
rectangles on the plane
0 references
computational geometry
0 references
database concurrency control
0 references