Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/111153
DC FieldValue
dc.titleClass based contextual logic for DOOD
dc.contributor.authorRaphel, J.K.
dc.contributor.authorHui, S.C.
dc.contributor.authorGoh, A.
dc.date.accessioned2014-11-27T09:45:09Z
dc.date.available2014-11-27T09:45:09Z
dc.date.issued1996
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.identifier.issn10009000
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/111153
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.sourceScopus
dc.subjectClass semantics
dc.subjectClass-based deduction
dc.subjectContextual logic
dc.subjectDeductive object-oriented databases
dc.subjectObject-oriented logic
dc.typeArticle
dc.contributor.departmentINSTITUTE OF SYSTEMS SCIENCE
dc.description.sourcetitleJournal of Computer Science and Technology
dc.description.volume11
dc.description.issue2
dc.description.pageX6-170
dc.description.codenJCTEE
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

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

Page view(s)

99
checked on Dec 2, 2021

Google ScholarTM

Check


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