Concurrency control of nested cooperative transactions in active DBMS
Prithwish Kangsabanik, R. Mall, Arun Kumar Majumdar · 2002
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.