摘要
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.
