G-Log: A Declarative Graphical Query Language

In this paper we introduce G-Log, a declarative graphical query language which combines of the expressive power of logic, the modelling power of objectorientedness and the representation power of graphs. As in the case of prolog, G-Log may be used in a totally declarative way, as well as in a “more procedural” way. Furthermore, it provides an intuitive and flexible graphical tool for non-expert database users. We prove that G-Log is a graphical equivalent of the first order predicate calculus. Finally, we study its features as a non-deterministic language and compare it with other existing non-deterministic languages.

[1]  Michael Stonebraker,et al.  "The Committee for Advanced DBMS Function": Third Generation Data Base System Manifesto , 1990, SIGMOD Conference.

[2]  Jan Paredaens,et al.  Integration of Functions in Logic Database Systems , 1990, Data Knowl. Eng..

[3]  Serge Abiteboul,et al.  COL: A Logic-Based Language for Complex Objects , 1988, EDBT.

[4]  Marc Gyssens,et al.  A graph-oriented object model for database end-user interfaces , 1990, SIGMOD '90.

[5]  Serge Abiteboul,et al.  Datalog Extensions for Database Queries and Updates , 1991, J. Comput. Syst. Sci..

[6]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

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

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

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

[10]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[11]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[12]  Serge Abiteboul,et al.  Object identity as a query language primitive , 1989, SIGMOD '89.

[13]  Serge Abiteboul,et al.  A translation language complete for database update and specification , 1987, PODS '87.

[14]  Serge Abiteboul,et al.  Non-deterministic languages to express deterministic transformations , 1990, PODS '90.