CLOG: A class-based logic language for object-oriented databases

  • Siu Cheung Hui
  • Angela Goh
  • Jose K. Raphel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 742)


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.


Logic Program Class Person Generalization Hierarchy Database View Label Term 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    H. Ait-Kaci and R. Nasr, ”LOGIN: A logic programming language with built-in inheritance”, J. logic Programming, Oct. 1986, pp. 185–215.Google Scholar
  2. [2]
    A.S. Greco, N. Leone and P. Rullo, ”Complex — An Object-Oriented Logic Programming System". IEEE Trans. On Knowledge and Data Engineering, Aug.1992. pp. 344–359.Google Scholar
  3. [3]
    J. Banerjee et. al, ”Data model issues in object-oriented databases”, ACM OIS, 1987, pp. 3–26.Google Scholar
  4. [4]
    L. Cardelli and P. Wegner, ”On understanding Types, Data Abstraction and Polymorphism”, ACM Comp. Surveys, Dec. 1985, pp. 471–522.Google Scholar
  5. [5]
    S. Ceri, F. Cacace and L. Tanca, ”Object orientation and logic programming for databases: a season's flirt or long-term marriage?”, Int. Nat. Conf. Next Generation Information system Technology, 1990, pp. 124–143.Google Scholar
  6. [6]
    S. Danforth and C. Tomlinson, ”Type theories and Object Oriented Programming”, ACM Comp. Surveys, March 1988, pp. 29–72.Google Scholar
  7. [7]
    F. McCabe, ”Logic and Objects”, Prentice Hall, 1992.Google Scholar
  8. [8]
    M. Kifer and G. Lausen, ”F-Logic: A Higher order Language for Reasoning about Objects, Inheritance and Scheme”, Proc. 1989 ACM SIGMOD, pp. 134–136.Google Scholar
  9. [9]
    M. Kifer, W.Kim, Y.Sagiv, ”Querying Object-Oriented Databases”, Proc. 1992 ACM SIGMOD, pp. 393–402.Google Scholar
  10. [10]
    M. Kifer, G. Lausen, J. Wu, ”Logical Foundations of Object-Oriented and Frame-Based Languages”, TR#90/14, Dept. of Comp. Science, SUNY at stony Brook, Aug. 1990.Google Scholar
  11. [11]
    K. Lee and S. Lee, ”An Object-Oriented Approach to Data/Knowledge Modeling Based on Logic”, Proc. IEEE Conf. on Data Engineering, 1990, pp.289–294.Google Scholar
  12. [12]
    E. Laenens, D. Vermeir and B. Verdonk, ”LOCO, a logic based language for Complex Objects”, ESPRIT, 1989, pp. 604–616.Google Scholar
  13. [13]
    J.W. Lloyd, ”Foundations of Logic Programming”, Springer-Verlag, 1984.Google Scholar
  14. [14]
    Y. Lou and Z.M. Ozsoyoglu, ”LLO: An object-oriented deductive language with methods and method inheritance”, Proc. ACM SIGMOD, 1991, pp. 198–207.Google Scholar
  15. [15]
    W. Kim, ”Introduction to Object-oriented Databases”, The MIT Press, 1990.Google Scholar
  16. [16]
    S.A. Naqvi and S. Tsur, ”A Logic Language for Data and Knowledegebases”, Computer Science Press, Rockville, 1988.Google Scholar
  17. [17]
    D.H.D. Warren, ”An Abstract Prolog Instruction Set”, SRI Technical Note 309, SRI International, Menlo Park, California, Oct. 1983.Google Scholar
  18. [18]
    E. Lamma, P. Mello and A. Natali, ”An Extended Warren Abstract Machine for the Execution of Structured Logic Programs”, Journal of Logic Programming, Vol.14, No.2, pp. 187–222.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Siu Cheung Hui
    • 1
  • Angela Goh
    • 1
  • Jose K. Raphel
    • 1
  1. 1.Division of Computer Technology School of Applied ScienceNanyang Technological UniversitySingapore

Personalised recommendations