Analysis of periodic transactions and semantic concurrency control for real-time databases using colored Petri nets

Author

Neto, Pedro Fernandes R ; Perkusich, Angelo ; Perkusich, Maria L B ; Turnell, Maria E Q V

Author_Institution

Departamento de Matematica e Estatistica, Univ. do Estado do Rio Grande do Norte, Brazil

Volume

4

fYear

2001

fDate

2001

Firstpage

2723

Abstract

We deal with the analysis of semantic concurrency control as well as the scheduling of periodic transactions with hard deadlines for real-time databases (RTBD). A coloured Petri net based method as well as analytical techniques are adopted. The resulting model allows the behavioral analysis taking into account the semantic concurrency control for an effective RTDB application. Also, we define the valid schedules satisfying data and periodic transaction logical and temporal restrictions

Keywords

Petri nets; concurrency control; database management systems; database theory; real-time systems; coloured Petri net; database management systems; periodic transaction; real time databases; scheduling; semantic concurrency control; Concurrency control; Database systems; Petri nets; Production facilities; Real time systems; Resource management; Technology management; Telephony; Timing; Transaction databases;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 2001 IEEE International Conference on

Conference_Location

Tucson, AZ

ISSN

1062-922X

Print_ISBN

0-7803-7087-2

Type

conf

DOI

10.1109/ICSMC.2001.972978

Filename

972978