A graphical query language supporting recursion

We define a language G for querying data represented as a labeled graph G. By considering G as a relation, this graphical query language can be viewed as a relational query language, and its expressive power can be compared to that of other relational query languages. We do not propose G as an alternative to general purpose relational query languages, but rather as a complementary language in which recursive queries are simple to formulate. The user is aided in this formulation by means of a graphical interface. The provision of regular expressions in G allows recursive queries more general than transitive closure to be posed, although the language is not as powerful as those based on function-free Horn clauses. However, we hope to be able to exploit well-known graph algorithms in evaluating recursive queries efficiently, a topic which has received widespread attention recently.

[1]  Alfred V. Aho,et al.  Efficient optimization of a class of relational expressions , 1979, TODS.

[2]  David Harel,et al.  Horn clauses and the fixpoint query hierarchy , 1982, PODS.

[3]  David Maier,et al.  Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.

[4]  Eric K. Clemons Design of an external schema facility to define and process recursive structures , 1981, TODS.

[5]  John E. Hopcroft,et al.  The Directed Subgraph Homeomorphism Problem , 1978, Theor. Comput. Sci..

[6]  Ashok K. Chandra,et al.  Optimal implementation of conjunctive queries in relational data bases , 1977, STOC '77.

[7]  Ronald L. Rivest,et al.  The subgraph homeomorphism problem , 1978, STOC.

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

[9]  Alfred V. Aho,et al.  Universality of data retrieval languages , 1979, POPL.

[10]  Carlo Zaniolo,et al.  On the implementation of a simple class of logic queries for databases , 1985, PODS.

[11]  Moshe Y. Vardi The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.

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

[13]  Umeshwar Dayal,et al.  PROBE: A Knowledge-Oriented Database Management System , 1986, On Knowledge Base Management Systems.

[14]  Jeffrey D. Ullman,et al.  Implementation of logical query languages for databases , 1985, TODS.

[15]  Lawrence J. Henschen,et al.  On compiling queries in recursive first-order databases , 1984, JACM.