[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 …

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

SK Madria, SN Maheshwari - 2001