CLOG: A Class-Based Logic Language for Object-Oriented Databases

In this paper a class-based logic language for object-oriented databases which is called CLOG is described. CLOG is based on many sorted horn clauses with concept of classes, objects, object identity, multiple class membership of objects and non-monotonic inheritance. The database view of a class is maintained as a collection of objects and a type. Class is a collection of many sorted horn clauses and functions which define the structural and behavioral aspects of an object. Generic classes give parametrized types. Queries are class-based. Support for view and derived classes are inherent.

[1]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

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

[3]  Jay Banerjee,et al.  Data model issues for object-oriented applications , 1987, TOIS.

[4]  Scott Danforth,et al.  Type theories and object-oriented programmimg , 1988, CSUR.

[5]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

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

[7]  Dirk Vermeir,et al.  Loco, a Logic-based Language for Complex Objects , 1989 .

[8]  Sergio Greco,et al.  COMPLEX: An Object-Oriented Logic Programming System , 1992, IEEE Trans. Knowl. Data Eng..

[9]  Evelina Lamma,et al.  An Extended Warren Abstract Machine for the Execution of Structured Logic Programs , 1992, J. Log. Program..

[10]  Francis G. McCabe,et al.  Logic and objects , 1992, Prentice Hall International Series in Computer Science.

[11]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

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

[13]  Z. Meral Özsoyoglu,et al.  LLO: an object-oriented deductive language with methods and method inheritance , 1991, SIGMOD '91.

[14]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[15]  Sukho Lee,et al.  An object-oriented approach to data/knowledge modeling based on logic , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[16]  Letizia Tanca,et al.  Object Orientation and Logic Programming for Databases: A Season's Flirt or Long-Term Marriage? , 1990, East/West Database Workshop.