Temporal database technology for air traffic flow management

  • S. M. Sripada
  • B. L. Rosser
  • J. M. Bedford
  • R. A. Kowalski
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 819)


The function of air traffic flow management (ATFM) is to ensure that air traffic operates within adequate margins of safety. Existing ATFM systems are manual which are over-conservative in. operation resulting in under-utilisation of available airspace. As well as being costly, such systems are unable to cope with increased demand for air travel in regions such as Europe. Attempts are currently being made to provide computer-based decision support for ATFM. Computerised decision support for ATFM ensures that safety margins are maintained while at the same time increasing the effective capacity of the airspace by more efficient flight scheduling. At the heart of such a system is active temporal database technology which aids the air traffic controllers by keeping track of airspace occupancy (a time-map of spatio-temporal trajectories of aircraft) in controlled regions of airspace, enabling flow managers to process requests for new slots for takeoff and to smoothen and optimise the flow of air traffic. The technology also aids air traffic controllers by alerting them to possible conflicts and by providing tools for re-routing aircraft to avoid mid-air collisions. The paper describes a large scale demonstrator for ATFM that has been developed at Ferranti Simulation and Training.


Belief Revision Integrity Constraint Flow Management Slot Allocation Temporal Database 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bayer, P.: State-Of-The-Art Report on Reactive Processing in Databases and Artificial Intelligence. The Knowledge Engineering Review, Vol.8, No.2, 1993Google Scholar
  2. 2.
    Bedford, J.M.: EQUATOR Temporal Database Management System — User Guide and Report. Technical Report AMS&T/EQ/REP/33, Ferranti International plc, May 1992Google Scholar
  3. 3.
    Jensen, C.S. et al.: A Concensus Glossary of Temporal Database Concepts. ACM SIGMOD Record, Vol.23, No. 1, March 1994Google Scholar
  4. 4.
    Kowalski,R.A., Sergot,M.J.: A logic-based calculus of events. In New Generation Computing. 1986Google Scholar
  5. 5.
    Maiocchi, R., Pernici, B., Barbie, F.: Automatic Deduction of Temporal Information. ACM Transactions on Database Systems. Vol.17, No.4, December 1992Google Scholar
  6. 6.
    Snodgrass, R.T. et al.: TSQL2 Language Specification. ACM SIGMOD Record, Vol.23, No.1, March 1994Google Scholar
  7. 7.
    Sripada, S.M.: Temporal Reasoning in Deductive Databases. Doctoral Thesis. Department of Computing, Imperial College of Science, Technology & Medicine, University of London, January 1991Google Scholar
  8. 8.
    Sripada, S.M.: A Temporal Approach to Belief Revision in Knowledge Bases. In Proc. 9th IEEE Conference on Artificial Intelligence for Applications, CAIA'93, Orlando, Florida, March 1993Google Scholar
  9. 9.
    Sripada, S.M.: The Design of the ChronoBase Temporal Deductive Database System. In Proc. International Workshop on Infrastructure for Temporal Databases (NSF Workshop), Arlington, Texas, June 1993Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • S. M. Sripada
    • 1
  • B. L. Rosser
    • 2
  • J. M. Bedford
    • 2
  • R. A. Kowalski
    • 3
  1. 1.European Computer-Industry Research CentreMunichGermany
  2. 2.Ferranti International plc, Simulation and TrainingCwmbranUK
  3. 3.Imperial College of Science, Technology & MedicineLondonUK

Personalised recommendations