Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Active, Real-Time, and Temporal Database Systems

ARTDB 1997: Active, Real-Time, and Temporal Database Systems pp 73–97Cite as

An Active Real-Time Database Model for Air Traffic Control Systems

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1553))

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 safety-critical. 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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D. Agrawal, A. E. Abbadi, and A. K. Singh. Consistency and Orderability: Semantics-Based Correctness Criteria for Databases. ACM Transactions on Database Systems, 18(3):460–486, 1993.

    Article  Google Scholar 

  2. R. Abbott and H. Garcia-Molina. Scheduling Real-Time Transactions: A Performance Study. In VLDB Conference, pages 1–12, September 1988.

    Google Scholar 

  3. B. Adelberg, H. Garcia-Molina, and B. Kao. Applying Update Streams in a Soft Real-Time Database System. ACM SIGMOD, 1995.

    Google Scholar 

  4. T. P. Baker. Stack-Based Scheduling of Real-time Processes. Real-Time Systems, 3(l):67–99, March 1991.

    Google Scholar 

  5. Bernstein, Hadzilacos, and Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.

    Google Scholar 

  6. B. R. Badrinath and K. Ramamritham. Semantics-Based Concurrency Control: Beyond Commutativity. ACM Transactions on Database Systems, 17(1):163–199, March 1992.

    Google Scholar 

  7. M.J. Carey, R. Jauhari, and M. Livny. On Transaction Boundaries in Active Databases: A Performance Perspective. IEEE Transactions on Knowledge and Data Engineering, 3(3):320–336, 1991.

    Article  Google Scholar 

  8. S. Chakravarthy, V. Krishnaprasad, E. Abwar, and S.K. Kim. Anatomy of a composite event detector. Technical Report Technical Report UF-CIS-TR-93-039, CIS Department, University of Florida, 1993.

    Google Scholar 

  9. M. Chen and K. J. Lin. A Priority Ceiling Protocol for Multiple Instance Resources. In Real-Time Systems Symposium, pages 140–149, December 1991.

    Google Scholar 

  10. U. Dayal, B. Blaustein, A. Buchmann, U. Chakravarthy, M. Hsu, R. Ledin, D. McCarthy, A. Rosenthal, S. Sarin, M.J. Carey, M. Livny, and R. Jauhari. The HiPAC Project: Combining Active Database and Timing Constraints. ACM SIGMOD Record, 17(l):51–70, 1988.

    Google Scholar 

  11. U. Dayal, B. Blaustein, A. Buchmann, U. Chakravathy, M. Hsu, R. Ledin, D. McCarthy, A. Rosenthal, and S. Sarin.HiPAC. A Research Project In Active, Time-Constrained Database Management. Technical Report Technical Report XAIT-89-02, Xerox Advanced Information Technology, Cambridge, 1989.

    Google Scholar 

  12. U. Dayal, M. Hsu, and R. Ladin. Organizing Long-Running Activities with Triggers and Transactions. In ACM SIGMOD Conference, 1990.

    Google Scholar 

  13. O. Diaz, N. Paton, and P. Gray. Rule Management in Object-Oriented Databases: A Uniform Approach. In International Conference on Very Large Data Bases, pages 317–326, 1991.

    Google Scholar 

  14. L. DiPippo and V. F. Wolfe. Object-Based Semantic Real-Time Concurrency Control. In Real-Time Systems Symposium, pages 87–96, December 1993.

    Google Scholar 

  15. K. P. Eswaran, J. N. Gray, R. A. Lorie, and I. L. Traiger. The Notions of Consistency and Predicate Locks in a Database System. Communications of the ACM, pages 624–633, 1976.

    Google Scholar 

  16. S. Gatziu and K.R. Dittrich. Detecting Composite Events in Active Database Systems Using Petri-Nets. In International Workshop on Research Issues in Data Engineering, 1994.

    Google Scholar 

  17. N. Gehani, H.V. Jagadish, and O. Shumeh. Composite Event Specification in Active Databases: Model and Implementation. In International Conference on Very Large Data Bases, 1992.

    Google Scholar 

  18. H. Garcia-Molina. Using Semantic Knowledge for Transaction Processing in a Distributed Database. ACM Transactions on Database Systems, 8(2):186–213, 1983.

    Article  Google Scholar 

  19. M. Hsu, R. Ladin, and D. McCarthy. An Execution Model for Active Database Management Systems. In International Conference on Data and Knowledge Bases, pages 171–179, 1988.

    Google Scholar 

  20. T. W. Kuo and A.K. Mok SSP: a Semantics-Based Protocol for Real-Time Data Access. In Real-Time Systems Symposium, pages 76–86, December 1993.

    Google Scholar 

  21. K. J. Lin. Consistency Issues in Real-Time Database Systems. In Proceedings of the 22nd Annual Hawaii International Conference on System Sciences, pages 654–661, January 1989.

    Google Scholar 

  22. C. L. Liu and J. W. Layland. Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment. Journal of ACM, 20(l):46–61, January 1973.

    Google Scholar 

  23. P. Muth, T.C. Rakow, G. Weikum, P. Brossler, and C. Hasse. Semantic Concurrency Control in Object-Oriented Database Systems. In 9th International Conference on Data Engineering, 1993.

    Google Scholar 

  24. H. Nakazato and K. J. Lin. Concurrency Control Algorithms for Real-Time Systems. Microprocessing and Microprogramming, pages 647–654, 1993.

    Google Scholar 

  25. C. S. Peng and K. J. Lin. A Semantic-Based Concurrency Control Protocol for Real-Time Transactions. In Second IEEE Real-Time Technology and Applications Symposium, Boston, Massachusetts, June 1996.

    Google Scholar 

  26. S. Peng, J. Lin, and T. P. Ng. A Performance Study of the Semantic-Based Concurrency Control Protocol in Air Traffic Control systems. In Second Int. Real-Time Database Workshop, Burlington, Vermont, September 1997.

    Google Scholar 

  27. C. Pu. Generalized Transaction Processing With Epesilon-Serializability. In Proc. of 1991 International Workshop on High Performance Transaction Systems, 1991.

    Google Scholar 

  28. X. Song and J. Liu. Maintaining Temporal Consistency: Pessimistic vs Optimistic Concurrency Control. IEEE Transactions on Knowledge and Data Engineering, pages 787–796, October 1995.

    Google Scholar 

  29. Lui Sha, R. Rajkumar, and J. Lehoczky. Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Transactions on Computers, 39(9):1175–1185, September 1990.

    Google Scholar 

  30. M. Xiong, K. Ramamritham R. Sivasankaran, J. A. Stankovic, and D. Towsley. Scheduling Transactions with Temporal Constraints: Exploiting Data Semantics. In Real-Time Systems Symposium, pages 240–251, December 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of California, Irvine, Irvine, CA, 92697, USA

    Kwei-Jay Lin

  2. Lockheed Martin Corporation, Rockville, MD, 20850, USA

    Tony Ng

Authors
  1. Kwei-Jay Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. 1Ching-Sang Peng
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tony Ng
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Skovde, Box 408, S-541 28, Skövde, Sweden

    Sten F. Andler  & Jörgen Hansson  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lin, KJ., Peng, 1S., Ng, T. (1998). An Active Real-Time Database Model for Air Traffic Control Systems. In: Andler, S.F., Hansson, J. (eds) Active, Real-Time, and Temporal Database Systems. ARTDB 1997. Lecture Notes in Computer Science, vol 1553. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49151-1_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-49151-1_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65649-4

  • Online ISBN: 978-3-540-49151-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation