Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/111153
Title: Class based contextual logic for DOOD
Authors: Raphel, J.K. 
Hui, S.C.
Goh, A.
Keywords: Class semantics
Class-based deduction
Contextual logic
Deductive object-oriented databases
Object-oriented logic
Issue Date: 1996
Citation: Raphel, J.K.,Hui, S.C.,Goh, A. (1996). Class based contextual logic for DOOD. Journal of Computer Science and Technology 11 (2) : X6-170. ScholarBank@NUS Repository.
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.
Source Title: Journal of Computer Science and Technology
URI: http://scholarbank.nus.edu.sg/handle/10635/111153
ISSN: 10009000
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

98
checked on Oct 14, 2021

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.