Class Based Contextual Logic for DOOD  

作　　者：JoseK.Raphel SiuCheungHui 等 

机构地区：[1]InstituteofSystemsScience,NationalUniversityofSingapore,Singapore0511 [2]DivisionofSoftwareSystems,Nanya

出　　处：《Journal of Computer Science & Technology》1996年第2期161-170,共10页计算机科学技术学报（英文版）

摘　　要：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 a-nd method, method factor-ing, 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.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 a-nd method, method factor-ing, 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.

关 键 词：Object-oriented logic contextual logic class-based deduction deductive object-oriented databases class semantics 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]