Typing Graph-Manipulation Operations

We present a graph-based data model called GDM where database instances and database schemas are described by certain types of labeled graphs called instance graphs and schema graphs. For this data model we introduce two graph-manipulation operations, an addition and a deletion, that are based on pattern matching and can be represented in a graphical way. For these operations it is investigated if they can be typed such that it is guaranteed for well-typed operations that the result belongs to a certain database schema graph, and what the complexity of deciding this well-typedness is.

[1]  W. Shipman David,et al.  The functional data model and the data language DAPLEX , 1988 .

[2]  David W. Shipman,et al.  The functional data model and the data languages DAPLEX , 1981, TODS.

[3]  Hans-Jörg Schek,et al.  Remarks on the algebra of non first normal form relations , 1982, PODS.

[4]  Serge Abiteboul,et al.  IFO: a formal semantic database model , 1987, TODS.

[5]  Jan Van den Bussche,et al.  On the completeness of object-creating database transformation languages , 1997, JACM.

[6]  Ajh Jan Hidders,et al.  A graph-based update language for object-oriented data models , 2001 .

[7]  Gabriel M. Kuper,et al.  The logical data model , 1993, TODS.

[8]  Jan Paredaens,et al.  Graph-based languages in dbms , 1996 .

[9]  Jan Paredaens,et al.  Advances in database systems : implementations and applications , 1994 .

[10]  G. M. Nijssen,et al.  Conceptual schema and relational database design - a fact oriented approach , 1989 .

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

[12]  Alexandra Poulovassilis,et al.  Hyperlog: A Graph-Based System for Database Browsing, Querying, and Update , 2001, IEEE Trans. Knowl. Data Eng..

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

[14]  Jan Paredaens,et al.  An Object-Oriented Pattern Matching Language , 1993, ISOTAS.

[15]  Dan Suciu,et al.  An overview of semistructured data , 1998, SIGA.

[16]  Richard Hull,et al.  The Format Model: A Theory of database Organization , 1984, J. ACM.

[17]  Jan Van den Bussche,et al.  On the completeness of object-creating query languages , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.

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

[19]  Jan Hidders,et al.  GOAL, A Graph-Based Object and Association Language , 1993, CISM - Advances in Database Systems.

[20]  Catriel Beeri,et al.  A Formal Approach to Object-Oriented Databases , 1990, Data Knowl. Eng..

[21]  Berthold Hoffmann,et al.  Hierarchical Graph Transformation , 2000, J. Comput. Syst. Sci..

[22]  Serge Abiteboul,et al.  Querying Semi-Structured Data , 1997, Encyclopedia of Database Systems.

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