[PDF][PDF] structure algorithm using nested transactions and I/O

SK Madria, SN Maheshwari, B Chandra - academia.edu
In this paper, we formalize and prove the correctness of a nested transaction version of the
concurrency control algorithm using a linear hash structure. Nested transactions allow …

Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata

SK Madria, SN Maheshwari, B Chandra - Data & Knowledge Engineering, 2001 - Elsevier
In this paper, we formalize and prove the correctness of a nested transaction version of the
concurrency control algorithm using a linear hash structure. Nested transactions allow …

Design and Implementation of Linear Hash Algorithm in a Nested Transaction Environment

SK Madria, MA Tubaishat, B Bhargava - Database and Expert Systems …, 1999 - Springer
In this paper, we present a design and implementation of a linear hashing algorithm in
nested transaction environment to handle large amount of data. Nested transactions allow …

[PDF][PDF] Tree Hash Under Concurrency Control.

K Yasuda, T Miura - SEKE, 2007 - Citeseer
Dynamic Hash allows us to adjust the size of hash space dynamically, ie, we can change the
space size dynamically according to volume of data to maintain efficiency for retrieval and …

[引用][C] Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O

SK Madria, SN Maheshwari - 2001

[引用][C] 分散環境における木構造ハッシュの同時実行制御に関する研究

安田匡祐 - 2008