Research graph
References from Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata. Local targets link to admitted publications; unresolved targets remain external evidence.
Concurrency of operations on B-trees
10.1007/bf00263762 · 1977 · External reference
The correctness of concurrency control mechanism in a system of distributed databases
10.1145/320128.320133 · 1980 · External reference
10.1145/588058.588072
10.1145/588058.588072 · External reference
Concurrency in linear hashing
10.1145/22952.22954 · 1987 · External reference
Dynamic hashing schemes
10.1145/46157.330532 · 1988 · External reference
10.1145/28659.28669
10.1145/28659.28669 · External reference
Commutativity-based locking for nested transactions
10.1016/0022-0000(90)90034-i · 1990 · External reference
10.1145/298514.298547
10.1145/298514.298547 · External reference
10.1145/73721.73749
10.1145/73721.73749 · External reference
Extendible hashing – a fast access method for dynamic files
10.1145/320083.320092 · 1979 · External reference
10.1145/800215.806583
10.1145/800215.806583 · External reference
10.1145/195664.195666
10.1145/195664.195666 · External reference
Unresolved reference
External reference
10.1145/325405.325407
10.1145/325405.325407 · External reference
Concurrent search structure algorithms
10.1145/42201.42204 · 1988 · External reference
Concurrent operations on linear hashing
10.1016/0020-0255(90)90026-7 · 1990 · External reference
Concurrency control on extendible hashing
10.1016/0020-0190(89)90106-3 · 1989 · External reference
10.1145/170088.170451
10.1145/170088.170451 · External reference
Linear hashing with separators – a dynamic hashing scheme achieving one-access retrieval
1988 · External reference
Dynamic hashing
10.1007/bf01931695 · 1978 · External reference
10.1007/3-540-54009-1_12
10.1007/3-540-54009-1_12 · External reference
Unresolved reference
External reference
Introduction to the theory of nested transactions
10.1016/0304-3975(86)90014-9 · 1988 · External reference
Bounded index exponential hashing
10.1145/319830.319837 · 1983 · External reference
Unresolved reference
External reference
Efficient locking for concurrent operations on B-trees
10.1145/319628.319663 · 1981 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1109/icde.1993.344058
10.1109/icde.1993.344058 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1145/325405.325409
10.1145/325405.325409 · External reference
Commutativity-based concurrency control for abstract data types
10.1109/12.9728 · 1988 · External reference
Principles and realization stratigies of multi-level transaction management
10.1145/103140.103145 · 1991 · External reference
