Title :
Concurrency control of nested cooperative transactions in active DBMS
Author :
Kangsabanik, Prithwish ; Mall, R. ; Majumdar, A.K.
Author_Institution :
Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Kharagpur, India
Abstract :
Active database management systems (ADBMSs) use event-condition-action (ECA) rules. Each ECA rule specifies what action is to be taken when an event occurs and the specified condition is satisfied. In this paper, we introduce a concurrency control scheme for handling nested cooperative transactions using detached-mode ECA rules of an ADBMS. A state transition model has been proposed to specify different kinds of nested cooperative transactions using detached-mode ECA rules. The correctness criterion for concurrent execution of such nested cooperative transactions has been stated formally. The problem of verification of the correct schedules and a concurrency control mechanism have also been dealt with
Keywords :
active databases; concurrency control; cooperative systems; database theory; deductive databases; formal verification; scheduling; transaction processing; active database management system; concurrency control; correctness criterion; detached-mode ECA rules; event-condition-action rules; nested cooperative transactions; schedule verification; state transition model; Computer science; Concurrency control; Database systems; Transaction databases;
Conference_Titel :
High-Performance Computing, 1997. Proceedings. Fourth International Conference on
Conference_Location :
Bangalore
Print_ISBN :
0-8186-8067-9
DOI :
10.1109/HIPC.1997.634461
