Visualization of path expressions in a visual object-oriented database query language

Path expressions have been accepted for concisely manipulating the nested structures in complex object-oriented query expressions. However, previous visual query languages hardly represent such query expressions in a concise and intuitive way partly due to improper visual representation of path expressions and partly due to lack of well-defined system and semantics of languages. In this paper, we present visual modeling of path expressions in a visual object-oriented database query language called Visual Object-Oriented Query Language (VOQL) which has excellent expressive pourer for sets, simple and intuitive syntax, and well-defined semantics. This is enabled by explicitly specifying the semantics of multi-valued path expressions based on the visual notation capable of representing set relationships in addition to functional relationships. The basic visual constructs called blobs and nested blobs denote sets of objects that path expressions represent while the constructs called binding edges and flattening edges visually simulate the notions of variable binding and dot functions in path expressions respectively. Based on the constructs, the grammar of VOQL defines the syntactic components while the semantics of query expressions are provided by syntax-directed translation to the counterparts in the extended relational calculus. Also, the visual constructs allow modeling of restricted universal quantification with a visual scoping box and effectively represent nested quantification and recursive queries without semantic ambiguities.

[1]  Michael Kifer,et al.  A logic for object-oriented logic programming , 1989, PODS '89.

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

[3]  Georg Lausen,et al.  Access to Objects by Path Expressions and Rules , 1994, VLDB.

[4]  Guido Moerkotte,et al.  Object-Oriented Database Management: Applications in Engineering and Computer Science , 1994 .

[5]  Elisa Bertino,et al.  Object-Oriented Query Languages: The Notion and the Issues , 1992, IEEE Trans. Knowl. Data Eng..

[6]  Alberto O. Mendelzon,et al.  A graphical query language supporting recursion , 1987, SIGMOD '87.

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

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

[9]  David Jordan,et al.  The Object Database Standard: ODMG 2.0 , 1997 .

[10]  Takao Miura Nesting Quantification in a Visual Data Manipulation Language , 1994, Data Knowl. Eng..

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

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

[13]  Peter T. Wood,et al.  Towards an ODMG-Compliant Visual Object Query Language , 1997, VLDB.

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

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

[16]  J. Barwise,et al.  The language of first-order logic , 1991 .

[17]  Catriel Beeri,et al.  Formal Models for Object Oriented Databases , 1989, DOOD.

[18]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[19]  Setrag Khoshafian,et al.  Object identity , 1986, OOPLSA '86.

[20]  Setrag Khoshafian,et al.  Object identity , 1986, OOPSLA 1986.

[21]  Kyu-Young Whang,et al.  GRAQULA: A Graphical Query Language for Entity-Relationship or Relational Databases , 1993, Data Knowl. Eng..

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

[23]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

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

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

[26]  Key-Sun Choi,et al.  Two-Dimensional Specification of Universal Quantification in a Graphical Database Query Language , 1992, IEEE Trans. Software Eng..

[27]  Michael Kifer,et al.  A logic for object-oriented logic programming , 1989, PODS.

[28]  Gultekin Özsoyoglu,et al.  Towards a unified visual database access , 1993, SIGMOD '93.

[29]  Michael Kifer,et al.  Querying object-oriented databases , 1992, SIGMOD '92.

[30]  Rangasami L. Kashyap,et al.  A Visual Query Language for Graphical Interaction with Schema-Intensive Databases , 1993, IEEE Trans. Knowl. Data Eng..