Hyperlog: A Graph-Based System for Database Browsing, Querying, and Update

Hyperlog is a declarative, graph based language that supports database querying and update. It visualizes schema information, data, and query output as sets of nested graphs, which can be stored, browsed, and queried in a uniform way. Thus, the user need only be familiar with a very small set of syntactic constructs. Hyperlog queries consist of a set of graphs that are matched against the database. Database updates are supported by means of programs consisting of a set of rules. The paper discusses the formulation, evaluation, expressiveness, and optimization of Hyperlog queries and programs. We also describe a prototype implementation of the language and we compare and contrast our approach with work in a number of related areas, including visual database languages, graph based data models, database update languages, and production rule systems.

[1]  Alberto O. Mendelzon,et al.  Architecture and Applications of the Hy+ Visualization System , 1994, IBM Syst. J..

[2]  Robert L. Griffith,et al.  Three principles of representation for semantic networks , 1982, TODS.

[3]  Daniel P. Miranker,et al.  The Organization and Performance of a TREAT-Based Production System Compiler , 1991, IEEE Trans. Knowl. Data Eng..

[4]  Alexandra Poulovassilis,et al.  Implementing Hyperlog, a Graph-Based Database Language , 1996, J. Vis. Lang. Comput..

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

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

[7]  Mark Levene,et al.  An object-oriented data model formalised through hypergraphs , 1991, Data Knowl. Eng..

[8]  Frank Wm. Tompa.  A data model for flexible hypertext database systems , 1989, TOIS.

[9]  Mark Levene,et al.  The hypernode model and its associated query language , 1990, Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.

[10]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.

[11]  Jan Van den Bussche,et al.  A Graph-Oriented Object Database Model , 1994, IEEE Trans. Knowl. Data Eng..

[12]  Katherine A. Morris,et al.  An algorithm for ordering subgoals in NAIL? , 1988, PODS.

[13]  Yishai A. Feldman,et al.  Algorithmics: The Spirit of Computing , 1987 .

[14]  Serge Abiteboul,et al.  Procedural and declarative database update languages , 1988, PODS '88.

[15]  Stanley B. Zdonik,et al.  ISIS: interface for a semantic information system , 1985, SIGMOD Conference.

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

[17]  Tiziana Catarci,et al.  QBD*: A Graphical Query Language with Recursion , 1989, IEEE Trans. Software Eng..

[18]  Alberto O. Mendelzon,et al.  G+: Recursive Queries Without Recursion , 1988, Expert Database Conf..

[19]  Tiziana Catarci,et al.  Visual metaphors for interacting with databases , 1995, SGCH.

[20]  Patrick Saint-Dizier,et al.  Review of Prolog and natural-language analysis: CSLI lecture notes 10 by Fernando C. N. Pereira and Stuart M. Shieber. Center for the Study of Language and Information 1987. , 1988 .

[21]  Alexandra Poulovassilis,et al.  A Functional Programming Approach to Deductive Databases , 1991, VLDB.

[22]  Ramez Elmasri,et al.  A graphical data manipulation language for an extended entity-relationship model , 1990, Computer.

[23]  Catriel Beeri,et al.  On the power of magic , 1987, J. Log. Program..

[24]  David Harel,et al.  On visual formalisms , 1988, CACM.

[25]  Moshé M. Zloof.  Query-by-Example: A Data Base Language , 1977, IBM Syst. J..

[26]  Letizia Tanca,et al.  G-Log: A Declarative Graphical Query Language , 1991, DOOD.

[27]  David Harel,et al.  Computable Queries for Relational Data Bases , 1980, J. Comput. Syst. Sci..

[28]  Alexandra Poulovassilis,et al.  Semi-Naive Evaluation for Hyperlog, a Graph-Based Language for Complex Objects , 1993, Rules in Database Systems.

[29]  Mark Levene,et al.  A nested-graph model for the representation and manipulation of complex objects , 1994, TOIS.

[30]  Tiziana Catarci,et al.  A Hypergraph-based Framework for Visual Interaction with Databases , 1995, J. Vis. Lang. Comput..

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

[32]  Michael A. Shepherd,et al.  A transient hypergraph-based model for data access , 1990, TOIS.

[33]  Alberto O. Mendelzon,et al.  Hy+: a Hygraph-based query and visualization system , 1993, SIGMOD '93.