Please use this identifier to cite or link to this item:
DC FieldValue
dc.titleClass based contextual logic for DOOD
dc.contributor.authorRaphel, J.K.
dc.contributor.authorHui, S.C.
dc.contributor.authorGoh, A.
dc.identifier.citationRaphel, 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.
dc.description.abstractContextual 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.
dc.subjectClass semantics
dc.subjectClass-based deduction
dc.subjectContextual logic
dc.subjectDeductive object-oriented databases
dc.subjectObject-oriented logic
dc.contributor.departmentINSTITUTE OF SYSTEMS SCIENCE
dc.description.sourcetitleJournal of Computer Science and Technology
Appears in Collections:Staff Publications

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

Page view(s)

checked on Dec 2, 2021

Google ScholarTM


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