Article

Free access

GraphLog: a visual formalism for real life recursion

Authors:

Mariano P. Consens,

Alberto O. MendelzonAuthors Info & Claims

PODS '90: Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Pages 404 - 416

https://doi.org/10.1145/298514.298591

Published: 02 April 1990 Publication History

Abstract

We present a query language called GraphLog, based on a graph representation of both data and queries. Queries are graph patterns. Edges in queries represent edges or paths in the database. Regular expressions are used to qualify these paths. We characterize the expressive power of the language and show that it is equivalent to stratified linear Datalog, first order logic with transitive closure, and non-deterministic logarithmic space (assuming ordering on the domain). The fact that the latter three classes coincide was not previously known. We show how GraphLog can be extended to incorporate aggregates and path summarization, and describe briefly our current prototype implementation.

References

[1]

Sam S. Adams. NodeGraph.80 Version 1.0. Knowledge Systems Corporation, 1987.

[2]

Serge Abiteboul and Paris C. Kanellakis. Object identity as a query language primitive. Technical Report 1022, INRIA, April 1989.

[3]

A.V. Aho and J.D. Ullman. Universality of data retrieval languages. Proc. 6th A CM Symp. on Principles of Programming Languages, pages 110-120, 1979.

Digital Library

[4]

Catriel Beeri. Data models and languages for databases. Proc. 2nd Int Conf. on Database Theory, Leclure Notes in Computer Science 326, pages 19-40, 1988.

Digital Library

[5]

A.K. Chandra and D. Harel. Structure and complexity of relational queries. Journal of Computer and System Sciences, 25(1):99- 128, 1982.

[6]

A.K. Chandra and D. Harel. Horn clause queries and generalizations. J. Logic Programming, 2(1):1-15, 1985.

[7]

Stavros S. Cosmadakis and Paris C. Kanellakis. Parallel evaluation of recursive rule queries, in Proceedings of the Fifth A CM SIGA CT.SIGMOD Symposium on Principles of Database Systems, pages 280-293, 1986.

Digital Library

[8]

Mariano Consens and Alberto Mendelzon. Expressing structural hypertext queries in GraphLog. In Proceedings of the Second A CM Hypertext Conference, pages 269-292, 1989.

Digital Library

[9]

I.F. Cruz, A.O. Mendelzon, and P.T. Wood. G+: Recursive queries without recursion. In Larry Kerschberg, editor, Proceedings of the Second International Conference on Expert Database Systems, pages 355-368, 1988.

[10]

Mariano P. Consens. Graphlog: "real life" recursive queries using graphs. Master's thesis, Department of Computer Science, University of Toronto, 1989.

[11]

N. Delisle and M. Schwartz. Neptune: A hypertext system for cad applications. In Proceedings of A CM-SIGMOD 1986 International Conference on Management of Data, pages 132-142. SIGMOD, 1986.

Digital Library

[12]

Neil Immerman. Languages that capture complexity classes. SIAM Journal on Computing, 16(4):760-778, 1987.

Digital Library

[13]

Nail Immerman. Descriptive and computational complexity. Technical report, Department of Computer Science, Yale University, New Haven, 1988.

[14]

Nail Immerman. Nondeterministic space is closed under complementation. In Third Structure in Complexity Theory Conference, 1988.

[15]

H.V. Jagadish, 1%. Agrawal, and L. Ness. A study of transitive closure as a recursiva mechanism. In Proceedings of A CM- SIGMOD 1987 Annual Conference on Management of Data, pages 331-344. SIGMOD, 1987.

Digital Library

[16]

P.C. Kanellakis. Logic programming and parallel complexity. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 547-586. Morgan Kaufmann Publishers, inc., 1987.

Digital Library

[17]

Anthony Klug. Equivalence of relational algebra and relational calculus query languages having aggregate functions. Journal of the ACM, 29(3):699-717, 1982.

Digital Library

[18]

A.O. Mendelzon and P.T. Wood. Finding regular simple paths in graph databases. In Proc. 15th International Conference on Very Large Data Bases, pages 185-194, 1989.

Digital Library

[19]

J. Naughton. One-sided recursions. In Proceedings of the Sixth A CM SIGA CT- SIGMOD Symposium on Principles of Database Systems, pages 340-348, 1987.

Digital Library

[20]

O. Shmueli. Decidability and expressiveness aspects of logic queries. In Proceedings of the Sixth A CM SIGA CT-SIGMOD Symposium on Principles of Database Systems, pages 237-249. Assoc. for Comp. Machinery, 1987.

Digital Library

[21]

S. Tsur and C. Zaniolo. LDL: a logicbased data-language. In Proceedings of ~he Twelfth International Conference on Very Large Data Bases, 1986.

Digital Library

[22]

J.D. Ullman. Principles of Database and Knowledge-Base Systems, volume 2. Computer Science Press, Potomac, Md., 1989.

Digital Library

[23]

J.D. Ullman and A. van Calder. Parallel complexity of logical query programs. Proc. 27th Ann. Symp. on Foundations of Computer Science, pages 438-454, 1986.

Digital Library

Cited By

Bergami GFox OMorgan G(2024)Matching and Rewriting Rules in Object-Oriented DatabasesMathematics10.3390/math1217267712:17(2677)Online publication date: 28-Aug-2024
https://doi.org/10.3390/math12172677
Li GMi HLiu CItoh TWang G(2024)HiRegEx: Interactive Visual Query and Exploration of Multivariate Hierarchical DataIEEE Transactions on Visualization and Computer Graphics10.1109/TVCG.2024.345638931:1(699-709)Online publication date: 10-Sep-2024
https://dl.acm.org/doi/10.1109/TVCG.2024.3456389
Pino EOrejas FMylonakis NPasarella E(2024)A Logical Approach to Graph DatabasesJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2024.100997(100997)Online publication date: Jul-2024
https://doi.org/10.1016/j.jlamp.2024.100997
Show More Cited By

Index Terms

GraphLog: a visual formalism for real life recursion
1. Information systems
  1. Data management systems

Recommendations

The G+/GraphLog Visual Query System
SIGMOD '90: Proceedings of the 1990 ACM SIGMOD international conference on Management of data

The video presentation “The G⁺/GraphLog Visual Query System” gives an overview of the capabilities of the ongoing implementation of the G⁺ Visual Query System for visualizing both data and queries as graphs. The system provides an environment for ...
The G+/GraphLog Visual Query System

The video presentation “The G⁺/GraphLog Visual Query System” gives an overview of the capabilities of the ongoing implementation of the G⁺ Visual Query System for visualizing both data and queries as graphs. The system provides an environment for ...
Low complexity aggregation in GraphLog and Datalog
ICDT '90: Proceedings of the third international conference on database theory on Database theory

We present facilities for computing aggregate functions over sets of tuples and along paths in a database graph.

We show how Datalog can be extended to compute a large class of queries with aggregates without incurring the large expense of a language ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

PODS '90: Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

April 1990

425 pages

ISBN:0897913523

DOI:10.1145/298514

Chairmen:
Daniel J. Rosenkrantz
State Univ. of New York at Albany, Albany
,
Yehoshua Sagiv
Hebrew Univ., Jerusalem, Israel

Copyright © 1990 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 April 1990

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

PODS90

Sponsor:

PODS90: 9th Annual ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

April 2 - 4, 1990

Tennessee, Nashville, USA

Acceptance Rates

Overall Acceptance Rate 642 of 2,707 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

227
Total Citations
View Citations
1,260
Total Downloads

Downloads (Last 12 months)190
Downloads (Last 6 weeks)19

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bergami GFox OMorgan G(2024)Matching and Rewriting Rules in Object-Oriented DatabasesMathematics10.3390/math1217267712:17(2677)Online publication date: 28-Aug-2024
Li GMi HLiu CItoh TWang G(2024)HiRegEx: Interactive Visual Query and Exploration of Multivariate Hierarchical DataIEEE Transactions on Visualization and Computer Graphics10.1109/TVCG.2024.345638931:1(699-709)Online publication date: 10-Sep-2024
Pino EOrejas FMylonakis NPasarella E(2024)A Logical Approach to Graph DatabasesJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2024.100997(100997)Online publication date: Jul-2024
Ding ZDeng YLi CRuan RTang J(2024)Lane detection via disentangled representation network with slope consistency lossEngineering Applications of Artificial Intelligence10.1016/j.engappai.2024.109449138(109449)Online publication date: Dec-2024
Chen CZheng FCui JCao YLiu GWu JZhou J(2024)Survey and open problems in privacy-preserving knowledge graph: merging, query, representation, completion, and applicationsInternational Journal of Machine Learning and Cybernetics10.1007/s13042-024-02106-6Online publication date: 2-Mar-2024
Reznichenko V(2022)60 Years of Databases (part four)PROBLEMS IN PROGRAMMING10.15407/pp2022.02.057(57-95)Online publication date: Jul-2022
Schmid M(2022)Conjunctive Regular Path Queries with Capture GroupsACM Transactions on Database Systems10.1145/351423047:2(1-52)Online publication date: 23-May-2022
Bonifati AFletcher GVoigt HYakovets N(2022)Querying GraphsundefinedOnline publication date: 25-Feb-2022
Reutter JSoto AVrgoč D(2021)Recursion in SPARQLSemantic Web10.3233/SW-20040112:5(711-740)Online publication date: 1-Jan-2021
Wu JChen RXia Y(2021)Fast and Accurate Optimizer for Query Processing over Knowledge GraphsProceedings of the ACM Symposium on Cloud Computing10.1145/3472883.3486991(503-517)Online publication date: 1-Nov-2021
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents