An active real-time database model for air traffic control systems

Kwei Jay Lin; Ching Sang Peng; Tony Ngy

doi:10.1007/3-540-49151-1_5

An active real-time database model for air traffic control systems

Kwei Jay Lin
, Ching Sang Peng
, Tony Ngy

University of California at Irvine
Lockheed Martin

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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	https://doi.org/10.1007/3-540-49151-1_5
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.

Access to Document

10.1007/3-540-49151-1_5

Cite this

Lin, K. J., Peng, C. S., & Ngy, T. (1998). An active real-time database model for air traffic control systems. In S. F. Andler, & J. Hansson (Eds.), Active, Real-Time, and Temporal Database Systems - 2nd International Workshop, ARTDB 1997, Proceedings (pp. 73-97). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1553). Springer Verlag. https://doi.org/10.1007/3-540-49151-1_5

Lin, Kwei Jay ; Peng, Ching Sang ; Ngy, Tony. / An active real-time database model for air traffic control systems. Active, Real-Time, and Temporal Database Systems - 2nd International Workshop, ARTDB 1997, Proceedings. editor / Sten F. Andler ; Jörgen Hansson. Springer Verlag, 1998. pp. 73-97 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{40829552e2f64c5c9c9d14787b2f04a9,

title = "An active real-time database model for air traffic control systems",

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.",

author = "Lin, \{Kwei Jay\} and Peng, \{Ching Sang\} and Tony Ngy",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; 2nd International Workshop on Active, Real-Time, and Temporal Database Systems, ARTDB 1997 ; Conference date: 08-09-1997 Through 09-09-1997",

year = "1998",

doi = "10.1007/3-540-49151-1\_5",

language = "英语",

isbn = "3540656499",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "73--97",

editor = "Andler, \{Sten F.\} and J{\"o}rgen Hansson",

booktitle = "Active, Real-Time, and Temporal Database Systems - 2nd International Workshop, ARTDB 1997, Proceedings",

address = "德国",

}

Lin, KJ, Peng, CS & Ngy, T 1998, An active real-time database model for air traffic control systems. in SF Andler & J Hansson (eds), Active, Real-Time, and Temporal Database Systems - 2nd International Workshop, ARTDB 1997, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1553, Springer Verlag, pp. 73-97, 2nd International Workshop on Active, Real-Time, and Temporal Database Systems, ARTDB 1997, Como, Italy, 08/09/97. https://doi.org/10.1007/3-540-49151-1_5

An active real-time database model for air traffic control systems. / Lin, Kwei Jay; Peng, Ching Sang; Ngy, Tony.
Active, Real-Time, and Temporal Database Systems - 2nd International Workshop, ARTDB 1997, Proceedings. ed. / Sten F. Andler; Jörgen Hansson. Springer Verlag, 1998. p. 73-97 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1553).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - An active real-time database model for air traffic control systems

AU - Lin, Kwei Jay

AU - Peng, Ching Sang

AU - Ngy, Tony

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1998.

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84958976338

U2 - 10.1007/3-540-49151-1_5

DO - 10.1007/3-540-49151-1_5

M3 - 会议稿件

AN - SCOPUS:84958976338

SN - 3540656499

SN - 9783540656494

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 73

EP - 97

BT - Active, Real-Time, and Temporal Database Systems - 2nd International Workshop, ARTDB 1997, Proceedings

A2 - Andler, Sten F.

A2 - Hansson, Jörgen

PB - Springer Verlag

T2 - 2nd International Workshop on Active, Real-Time, and Temporal Database Systems, ARTDB 1997

Y2 - 8 September 1997 through 9 September 1997

ER -

Lin KJ, Peng CS, Ngy T. An active real-time database model for air traffic control systems. In Andler SF, Hansson J, editors, Active, Real-Time, and Temporal Database Systems - 2nd International Workshop, ARTDB 1997, Proceedings. Springer Verlag. 1998. p. 73-97. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-49151-1_5

An active real-time database model for air traffic control systems

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this