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

fYear

1997

fDate

18-21 Dec 1997

Firstpage

4

Lastpage

9

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;

fLanguage

English

Publisher

ieee

Conference_Titel

High-Performance Computing, 1997. Proceedings. Fourth International Conference on

Conference_Location

Bangalore

Print_ISBN

0-8186-8067-9

Type

conf

DOI

10.1109/HIPC.1997.634461

Filename

634461