A Graph-Based Data Model and its Ramifications

Currently, database researchers are investigating new data models in order to remedy the deficiencies of the flat relational model when applied to nonbusiness applications. Herein we concentrate on a recent graph based data model called the hypernode model. The single underlying data structure of this model is the hypernode which is a digraph with a unique defining label. We present in detail the three components of the model, namely its data structure, the hypernode, its query and update language, called HNQL, and its provision for enforcing integrity constraints. We first demonstrate that the said data model is a natural candidate for formalising hypertext. We then compare it with other graph based data models and with set based data models. We also investigate the expressive power of HNQL. Finally, using the hypernode model as a paradigm for graph based data modelling, we show how to bridge the gap between graph based and set based data models, and at what computational cost this can be done. >

[1]  Niklaus Wirth,et al.  Pascal User Manual and Report , 1991, Springer New York.

[2]  Grant E. Weddell,et al.  Reasoning about functional dependencies generalized for semantic data models , 1992, TODS.

[3]  Jeffrey D. Ullman,et al.  A Comparison between Deductive and Object-Oriented Database Systems , 1991, DOOD.

[4]  Jeff Conklin,et al.  Hypertext: An Introduction and Survey , 1987, Computer.

[5]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[6]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[7]  Gabriel M. Kuper,et al.  A new approach to database logic , 1984, PODS.

[8]  Shalom Tsur,et al.  Deductive databases in action , 1991, PODS '91.

[9]  Ashok K. Chandra.  Theory of database queries , 1988, PODS '88.

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

[11]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

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

[13]  David Maier,et al.  On the foundations of the universal relation model , 1984, TODS.

[14]  E. F. CODD,et al.  A relational model of data for large shared data banks , 1970, CACM.

[15]  Masatoshi Yoshikawa,et al.  ILOG: Declarative Creation and Manipulation of Object Identifiers , 1990, VLDB.

[16]  Frank Harary,et al.  Distance in graphs , 1990 .

[17]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[18]  G. Halasz Frank,et al.  Reflections on NoteCards: seven issues for the next generation of hypermedia systems , 1987, CACM.

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

[20]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[21]  Patrick C. Fischer,et al.  Multilevel Nested Relational Structures , 1988, J. Comput. Syst. Sci..

[22]  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'.

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

[24]  Y. Edmund Lien,et al.  On the Equivalence of Database Models , 1982, JACM.

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

[26]  Patrick C. Fischer,et al.  Nested Relational Structures , 1986, Adv. Comput. Res..

[27]  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 .

[28]  Peter P. Chen.  The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[29]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

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

[31]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[32]  Marc Gyssens,et al.  The Structure of the Relational Database Model , 1989, EATCS Monographs on Theoretical Computer Science.

[33]  Victor Vianu,et al.  Procedural Languages for Database Queries and Updates , 1990, J. Comput. Syst. Sci..

[34]  Mark Levene,et al.  A Storage Manager for the Hypernode Model , 1992, BNCOD.

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

[36]  Jakob Nielsen,et al.  Hypertext and hypermedia , 1990 .

[37]  Mark Levene,et al.  The Nested Universal Relation Database Model , 1992, Lecture Notes in Computer Science.

[38]  Frank G. Halasz,et al.  Reflections on NoteCards: seven issues for the next generation of hypermedia systems , 1987, CACM.

[39]  Jianwen Su,et al.  On the expressive power of database queries with intermediate types , 1988, PODS '88.

[40]  Joel E. Richardson,et al.  Aspects: extending objects to support multiple, independent roles , 1991, SIGMOD '91.

[41]  David H. Jonassen,et al.  HyperText/Hypermedia , 1989 .

[42]  Won Kim,et al.  Introduction to Object-Oriented Databases , 1991, Computer systems.

[43]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.

[44]  Grant E. Weddell,et al.  Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies , 1991, DOOD.

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

[46]  Alberto O. Mendelzon,et al.  Expressing structural hypertext queries in graphlog , 1989, Hypertext.

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

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

[49]  Giora Slutzki,et al.  Agreement Graph Dependencies , 1991, Bull. EATCS.

[50]  Steven J. DeRose,et al.  Expanding the notion of links , 1989, Hypertext.