Access to Objects by Path Expressions and Rules

Object oriented databases provide rich structuring capabilities to organize the objects being relevant for a given application. Due to the possible complexity of object structures, path expressions have become accepted as a concise syntactical means to reference objects. Even though known approaches to path expressions provide quite elegant access to objects, there seems to be still a need to extend the applicability of path expressions. The rule-language PathLog proposed in the current paper generalizes path expressions in several ways. PathLog adds a second dimension to path expressions which makes it possible to use only one path in situations where known one-dimensional path expressions require a conjunction of several paths. In addition, a path expression can also be used to reference virtual objects. This general use of path expressions gives rise to many interesting semantic implications.

[1]  François Bancilhon,et al.  A query language for O 2 , 1992 .

[2]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[3]  Ming-Chien Shan,et al.  Iris: An Object-Oriented Database Management System , 1989, ACM Trans. Inf. Syst..

[4]  Gottfried Vossen,et al.  An Extension of Path Expressions to Simplify Navigation in Object-Oriented Queries , 1993, DOOD.

[5]  François Bancilhon,et al.  Building an Object-Oriented Database System, The Story of O2 , 1992 .

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

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

[8]  Michael Kifer,et al.  HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs , 1989, NACLP.

[9]  Matthias Jarke,et al.  20th VLDB Conference, September 12-15, 1994, Santiago-Chile : proceedings of the 20th International Conference on Very Large Data Bases , 1994 .

[10]  Won Kim,et al.  A Model of Queries for Object-Oriented Databases , 1989, VLDB.

[11]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[12]  Serge Abiteboul,et al.  Objects and views , 1991, SIGMOD '91.

[13]  Carlo Zaniolo,et al.  The database language GEM , 1983, SIGMOD '83.

[14]  Michael Kifer,et al.  A Logic Programming with Complex Objects , 1993, J. Comput. Syst. Sci..

[15]  Patrick Valduriez,et al.  ESQL2: an object-oriented SQL with F-Logic semantics , 1992, [1992] Eighth International Conference on Data Engineering.