Login / Signup
Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata.
Sanjay Kumar Madria
S. N. Maheshwari
B. Chandra
Published in:
Data Knowl. Eng. (2001)
Keyphrases
</>
fine grained
tree structure
relational databases
b tree