Concurrency control of nested cooperative transactions in activeDBMS

摘要

Active database management systems (ADBMSs) useevent-condition-action (ECA) rules. Each ECA rule specifies what actionis to be taken when an event occurs and the specified condition issatisfied. In this paper, we introduce a concurrency control scheme forhandling nested cooperative transactions using detached-mode ECA rulesof an ADBMS. A state transition model has been proposed to specifydifferent kinds of nested cooperative transactions using detached-modeECA rules. The correctness criterion for concurrent execution of suchnested cooperative transactions has been stated formally. The problem ofverification of the correct schedules and a concurrency controlmechanism have also been dealt with