Querying Graph Structures with GQL

This paper presents GQL, a language to query graph structures that was designed as a supplement to an overall approach to graph based software development. GQL allows users to specify graph patterns graphically. Complex conditions can be expressed textually, using a predicate language called GRAL. The paper contains a (formal) definition of GQL as well as a discussion of its properties. keywords: application of graph theoretical concepts in computer science, TGraph, graph based software development, visual query language, formal definition of visual languages Universität Koblenz-Landau Institut für Softwaretechnik Rheinau 1 56075 Koblenz Telefon: 0261/9119-417 (Sekretariat) 0261/9119-440 (Franzke) Telefax: 0261/9119-499 E-Mail: franzke@informatik.uni-koblenz.de WWW: http://www.uni-koblenz.de/ ist/

[1]  Jeffrey D. Ullman,et al.  Principles of Database Systems, 2nd Edition , 1982 .

[2]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[3]  Marc Gyssens,et al.  A graph-oriented object database model , 1990, IEEE Trans. Knowl. Data Eng..

[4]  Alberto O. Mendelzon,et al.  GraphLog: a visual formalism for real life recursion , 1990, PODS '90.

[5]  Takao Miura.  Nesting Quantification in a Visual Data Manipulation Language , 1992, ER.

[6]  Kyu-Young Whang,et al.  GRAQULA: A Graphical Query Language for Entity-Relationship or Relational Databases , 1993, Data Knowl. Eng..

[7]  Jürgen Dix,et al.  A general Approach to Bottom-Up Computation of Disjunctive Semantics , 1994, NMELP.

[8]  Jürgen Dix,et al.  Characterizations of the Stable Semantics by Partial Evaluation , 1994, LPNMR.

[9]  Ulrich Furbach.  Theory Reasoning in First Order Calculi , 1994, IS/KI.

[10]  Dieter Zöbel,et al.  PROGRAM TRANSFORMATIONS FOR DISTRIBUTED CONTROL SYSTEMS , 1994 .

[11]  NET CASE: Towards a Petri Net Based Technique for the Development of Expert/Database Systems , 1994 .

[12]  Jürgen Dix,et al.  A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation , 1994, GI Jahrestagung.

[13]  Albert Zündorf,et al.  Graph Pattern Matching in PROGRES , 1994, TAGT.

[14]  Jürgen Ebert,et al.  A Declarative Approach to Graph Based Modeling , 1994, WG.

[15]  Martin Jung,et al.  GTU - A workbench for the development of natural language grammars , 1995 .

[16]  Walter Hower,et al.  Constraint Satisfaction - Algorithms and Complexity Analysis , 1995, Inf. Process. Lett..

[17]  Thomas Marx,et al.  NetCASE -- a Petri Net based Method for Database Application Design and Generation , 1995 .

[18]  Andy Schürr,et al.  Visual programming with graph rewriting systems , 1995, Proceedings of Symposium on Visual Languages.

[19]  Christoph Steigner,et al.  Modelling Timeouts in Protocol Design , 1995 .

[20]  Stephan Philippi,et al.  Integration of Integrity Constraints into Object-Oriented Database Schema according to ODMG-93 , 1995 .

[21]  Peter Baumgartner,et al.  Model Elimination, Logic Programming and Computing Answers , 1995, IJCAI.

[22]  A. Winter.  Generic Support for Understanding Heterogeneous Software Generic Support for Understanding Heterogeneous Software , 1995 .

[23]  Peter J. H. King,et al.  Syntax and Semantics of Gql, a graphical query language , 1995, J. Vis. Lang. Comput..

[24]  Chandrabose Aravindan.  An Abductive Framework for Negation in Disjunctive Logic Programming , 1996, JELIA.

[25]  Frieder Stolzenburg,et al.  Membership-Constraints and Complexity in Logic Programming with Sets , 1996, FroCoS.

[26]  Ilkka Niemell.  A Tableau Calculus for Minimal Model Reasoning Ilkka Niemel a a Tableau Calculus for Minimal Model Reasoning , 1996 .

[27]  Ilkka Niemelä.  Implementing Circumscription Using a Tableau Method , 1996, ECAI.

[28]  Jürgen Dix,et al.  Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations , 1996, Fundam. Informaticae.

[29]  Jürgen Dix,et al.  Characterizations and Implementation of Static Semantics of Disjunctive Programs , 1996 .

[30]  Lutz Priese,et al.  Abstract Fairness and Semantics , 1997, Theor. Comput. Sci..

[31]  Gottfried Vossen,et al.  I-Serializability: Generalized Correctness for Transaction-Based Environments , 1997, Inf. Process. Lett..