A Query Language Solution for Fastest Flight Connections

This paper discusses how to extend the applicability of the recursive cascade update command of the Xplain query language. This command guarantees termination because cycle detection is included, which is in favor of end user computing. The execution of this command is based on graph reduction; therefore it can only be applied to acyclic graphs. Because flights constitute cycles between airports, it seemed impossible to specify a query language solution for shortest flight connections between two arbitrary airports. However, on a time scale cyclic connections between successive flights cannot exist at all. Therefore we designed an appropriate semantic data model for feasible connections between successive flights. Using this extended data model, the cascade command still enables end users to specify recursive queries for the fastest series of flights between any pair of airports.

[1]  J. T. Bekke Advantages of a Compact Semantic Meta Model , 1997 .

[2]  J. H. ter Bekke,et al.  A Query Language Solution for Shortest Path Problems in Cyclic Geometrics , 2004, Databases and Applications.

[3]  Fred D. Rolland,et al.  The Essence of Databases , 1997, J. Database Manag..

[4]  Ian Anderson A first course in discrete mathematics , 2001, Springer undergraduate mathematics series.

[5]  Raghu Ramakrishnan,et al.  A performance study of transitive closure algorithms , 1994, SIGMOD '94.

[6]  Gregory Gutin,et al.  Digraphs - theory, algorithms and applications , 2002 .

[7]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[8]  Duane A. Bailey Data Structures in Java for the Principled Programmer , 1998 .

[9]  Carolyn E. Begg,et al.  Database Systems: A Practical Approach to Design, Implementation and Management , 1998 .

[10]  J. A. Bakker,et al.  MODELING AND QUERYING RECURSIVE DATA STRUCTURES I : INTRODUCTION , 2003 .

[11]  J. H. ter Bekke Semantic data modeling , 1992 .

[12]  Carolyn Begg Thomas Connolly,et al.  Database Systems: A Practical Approach To Design, , 2004 .

[13]  J. H. ter Bekke,et al.  Recursive Queries in Product Databases , 2002, FQAS.

[14]  Bert Bakker,et al.  FOOLPROOF QUERY ACCESS TO SEARCH ENGINES , 2001 .

[15]  Umeshwar Dayal,et al.  Traversal recursion: a practical approach to supporting recursive applications , 1986, SIGMOD '86.

[16]  Dan Suciu,et al.  Any algorithm in the complex object algebra with powerset needs exponential space to compute transitive closure , 1994, PODS '94.

[17]  J. H. ter Bekke,et al.  Fast Recursive Data Processing in Graphs using Reduction , 2003, Applied Informatics.

[18]  Jennifer Widom,et al.  A First Course in Database Systems , 1997 .

[19]  George Loizou,et al.  Cycle Detection in Critical Path Networks , 1978, Inf. Process. Lett..

[20]  Christos H. Papadimitriou Database metatheory: asking the big queries , 1995 .