GraphLog: a Visual Formalism for Real Life Recursion.
Mariano P. Consens, Alberto O. Mendelzon:
GraphLog: a Visual Formalism for Real Life Recursion.
PODS 1990: 404-416@inproceedings{DBLP:conf/pods/ConsensM90,
author = {Mariano P. Consens and
Alberto O. Mendelzon},
editor = {Daniel J. Rosenkrantz and
Yehoshua Sagiv},
title = {GraphLog: a Visual Formalism for Real Life Recursion},
booktitle = {Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on
Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee,
USA},
publisher = {ACM Press},
year = {1990},
isbn = {0-89791-352-3},
pages = {404-416},
ee = {http://doi.acm.org/10.1145/298514.298591, db/conf/pods/ConsensM90.html},
crossref = {DBLP:conf/pods/90},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
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.
Copyright © 1990 by the ACM,
Inc., used by permission. Permission to make
digital or hard copies is granted provided that
copies are not made or distributed for profit or
direct commercial advantage, and that copies show
this notice on the first page or initial screen of
a display along with the full citation.
Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98.
and ...
Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings.
and ...
Printed Edition
Daniel J. Rosenkrantz, Yehoshua Sagiv (Eds.):
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, USA.
ACM Press 1990, ISBN 0-89791-352-3
Contents 
References
- [Ada87]
- ...
- [AK89]
- Serge Abiteboul, Paris C. Kanellakis:
Object Identity as a Query Language Primitive.
SIGMOD Conference 1989: 159-173
- [Au79]
- Alfred V. Aho, Jeffrey D. Ullman:
The Universality of Data Retrieval Languages.
POPL 1979: 110-120
- [Bee88]
- Catriel Beeri:
Data Models and Languages for Databases.
ICDT 1988: 19-40
- [CH82]
- Ashok K. Chandra, David Harel:
Structure and Complexity of Relational Queries.
J. Comput. Syst. Sci. 25(1): 99-128(1982)
- [CH85]
- Ashok K. Chandra, David Harel:
Horn Clauses Queries and Generalizations.
J. Log. Program. 2(1): 1-15(1985)
- [CK86]
- Stavros S. Cosmadakis, Paris C. Kanellakis:
Parallel Evaluation of Recursive Rule Queries.
PODS 1986: 280-293
- [CM89]
- Mariano P. Consens, Alberto O. Mendelzon:
Expressing Structural Hypertext Queries in GraphLog.
Hypertext 1989: 269-292
- [CMW88]
- Isabel F. Cruz, Alberto O. Mendelzon, Peter T. Wood:
G+: Recursive Queries Without Recursion.
Expert Database Conf. 1988: 645-666
- [Con89]
- ...
- [DS86]
- Norman M. Delisle, Mayer D. Schwartz:
Neptune: a Hypertext System for CAD Applications.
SIGMOD Conference 1986: 132-143
- [Imm87]
- Neil Immerman:
Languages that Capture Complexity Classes.
SIAM J. Comput. 16(4): 760-778(1987)
- [Imm88a]
- ...
- [Imm88b]
- ...
- [JAN87]
- H. V. Jagadish, Rakesh Agrawal, Linda Ness:
A Study of Transitive Closure As a Recursion Mechanism.
SIGMOD Conference 1987: 331-344
- [Kan87]
- ...
- [Klu82]
- Anthony C. Klug:
Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions.
J. ACM 29(3): 699-717(1982)
- [MW89]
- Alberto O. Mendelzon, Peter T. Wood:
Finding Regular Simple Paths in Graph Databases.
VLDB 1989: 185-193
- [Nau87]
- Jeffrey F. Naughton:
One-Sided Recursions.
PODS 1987: 340-348
- [Shm87]
- Oded Shmueli:
Decidability and Expressiveness of Logic Queries.
PODS 1987: 237-249
- [TZ86]
- Shalom Tsur, Carlo Zaniolo:
LDL: A Logic-Based Data Language.
VLDB 1986: 33-41
- [Ull89]
- Jeffrey D. Ullman:
Principles of Database and Knowledge-Base Systems, Volume II.
Computer Science Press 1989, ISBN 0-7167-8162-X
Contents - [UvG86]
- Jeffrey D. Ullman, Allen Van Gelder:
Parallel Complexity of Logical Query Programs.
FOCS 1986: 438-454
Last update Fri Sep 14 17:28:29 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
