Advertisement

Journal of Computer Science and Technology

, Volume 11, Issue 2, pp 161–170 | Cite as

Class based contextual logic for DOOD

  • Jose K. RaphelEmail author
  • Hui Siu Cheung
  • Angela Goh
Article

Abstract

Contextual logic provides a mechanism to reason about modules. In this paper, this theory of modules is extended to a context theory of classes where class is in the true spirit of object-oriented databases. The logic, referred to as CLOG, is class-based. CLOG supports class, object identity, multiple role of object, monotonic and non-monotonic inheritance of data and method, method factoring, views, derived and query classes. Views and derived classes are queries in themselves. Objects are pure data terms representing the ground instances of facts in the class. Object identity is a first class term in the logic. Inheritance is handled through delegation.

Keywords

Object-oriented logic contextual logic class-based deduction deductive object-oriented databases class semantics 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Ceri S, Cacace F, Tanca L. Object orientation and logic programming for databases: A season's flirt or long-term marriage?. InInt. Conf. on Next Generation Information System Technology, 1990, pp. 124–143.Google Scholar
  2. [2]
    Ait-Kaci H, Nasr R. LOGIN: A logic programming language with built-in inheritance.J of Logic Programming, 1986, (Oct.): 185–215.CrossRefGoogle Scholar
  3. [3]
    Kifer M, Lausen G. F-Logic: A higher order language for reasoning about objects, inheritance and scheme. InProc. of 1989 ACM SIGMOD, pp. 134–136.Google Scholar
  4. [4]
    Kifer M, Lausen G, Wu J. Logical foundations of object-oriented frame-based languages. TR#90/14, Dept. of Comp. Science, SUNY at Stony Brook, Aug., 1990.Google Scholar
  5. [5]
    Chen Q, Chu W W. HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases. InDeductive and Object-Oriented Databases, Kim Wet al. (eds.), North-Holland, 1990, pp. 431–472.Google Scholar
  6. [6]
    Monterio L, Porto A. Contextual logic programming. InProc. of 6th ICLP, Lisbon, 1989. pp. 284–299.Google Scholar
  7. [7]
    Lloyd J W. Foundations of Logic Programming. 2nd extended edition, Springer-Verlag, 1987.Google Scholar

Copyright information

© Science Press, Beijing China and Allerton Press Inc. 1996

Authors and Affiliations

  1. 1.Institute of Systems ScienceNational University of SingaporeSingapore
  2. 2.Division of Software SystemsNanyang Technological UniversitySingapore

Personalised recommendations