Class based contextual logic for DOOD
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.
KeywordsObject-oriented logic contextual logic class-based deduction deductive object-oriented databases class semantics
Unable to display preview. Download preview PDF.
- Ceri S, Cacace F, Tanca L. Object orientation and logic programming for databases: A season's flirt or long-term marriage?. InInt. Conf. on Next Generation Information System Technology, 1990, pp. 124–143.Google Scholar
- Kifer M, Lausen G. F-Logic: A higher order language for reasoning about objects, inheritance and scheme. InProc. of 1989 ACM SIGMOD, pp. 134–136.Google Scholar
- Kifer M, Lausen G, Wu J. Logical foundations of object-oriented frame-based languages. TR#90/14, Dept. of Comp. Science, SUNY at Stony Brook, Aug., 1990.Google Scholar
- Chen Q, Chu W W. HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases. InDeductive and Object-Oriented Databases, Kim Wet al. (eds.), North-Holland, 1990, pp. 431–472.Google Scholar
- Monterio L, Porto A. Contextual logic programming. InProc. of 6th ICLP, Lisbon, 1989. pp. 284–299.Google Scholar
- Lloyd J W. Foundations of Logic Programming. 2nd extended edition, Springer-Verlag, 1987.Google Scholar