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

研究成果: 圖書/報告稿件的類型 › 會議稿件 › 同行評審

摘要

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.

原文	英語
主出版物標題	Active, Real-Time, and Temporal Database Systems - 2nd International Workshop, ARTDB 1997, Proceedings
編輯	Sten F. Andler, Jörgen Hansson
發行者	Springer Verlag
頁面	73-97
頁數	25
ISBN（列印）	3540656499, 9783540656494
DOIs	https://doi.org/10.1007/3-540-49151-1_5
出版狀態	已出版 - 1998
對外發佈	是
事件	2nd International Workshop on Active, Real-Time, and Temporal Database Systems, ARTDB 1997 - Como, 意大利持續時間: 08 09 1997 → 09 09 1997

出版系列

名字	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
卷	1553
ISSN（列印）	0302-9743
ISSN（電子）	1611-3349

Conference

Conference	2nd International Workshop on Active, Real-Time, and Temporal Database Systems, ARTDB 1997
國家/地區	意大利
城市	Como
期間	08/09/97 → 09/09/97

文獻附註

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1998.

存取文件

10.1007/3-540-49151-1_5

其它文件與鏈接

Link to publication in Scopus

引用此

Lin, K. J., Peng, C. S., & Ngy, T. (1998). An active real-time database model for air traffic control systems. 於 S. F. Andler, & J. Hansson (編輯), Active, Real-Time, and Temporal Database Systems - 2nd International Workshop, ARTDB 1997, Proceedings (頁 73-97). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 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. 編輯 / Sten F. Andler ; Jörgen Hansson. Springer Verlag, 1998. 頁 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. 於 SF Andler & J Hansson (編輯), 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), 卷 1553, Springer Verlag, 頁 73-97, 2nd International Workshop on Active, Real-Time, and Temporal Database Systems, ARTDB 1997, Como, 意大利, 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. 編輯 / 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); 卷 1553).

研究成果: 圖書/報告稿件的類型 › 會議稿件 › 同行評審

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. 於 Andler SF, Hansson J, 編輯, 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

摘要

出版系列

Conference

文獻附註

存取文件

其它文件與鏈接

指紋

引用此