XXXMadria, Sanjay Kumar1999-08-232024-10-291994http://10.17.50.146:4000/handle/123456789/4409Recovery algorithmConcurrency control and recovery algorithms in nested transaction environment and their proofs of correctnessThesis