Abstract
The application of air traffic control systems is one of the more complex real-time applications that require timely responses as well as logical and temporal data integrities. An air traffic control system is highly safetycritical. In this paper, we propose a database model for the air traffic control system using the active database scheme to coordinate the interactions among external update transactions, time-triggered transactions and operator transactions. We define the system components, including a time-based trigger manager and a concurrency control manager with the implementation of semantic-based concurrency control protocols. The concurrency control utilizes the compatibility matrix technique with semantic-based operations that can be carefully designed to enhance the temporal correctness in terms of external consistency and data deadlines.
Original language | English |
---|---|
Title of host publication | Active, Real-Time, and Temporal Database Systems - 2nd International Workshop, ARTDB 1997, Proceedings |
Editors | Sten F. Andler, Jörgen Hansson |
Publisher | Springer Verlag |
Pages | 73-97 |
Number of pages | 25 |
ISBN (Print) | 3540656499, 9783540656494 |
DOIs | |
State | Published - 1998 |
Externally published | Yes |
Event | 2nd International Workshop on Active, Real-Time, and Temporal Database Systems, ARTDB 1997 - Como, Italy Duration: 08 09 1997 → 09 09 1997 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 1553 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 2nd International Workshop on Active, Real-Time, and Temporal Database Systems, ARTDB 1997 |
---|---|
Country/Territory | Italy |
City | Como |
Period | 08/09/97 → 09/09/97 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 1998.