Abstract
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.
Similar content being viewed by others
References
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.
Ait-Kaci H, Nasr R. LOGIN: A logic programming language with built-in inheritance.J of Logic Programming, 1986, (Oct.): 185–215.
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.
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.
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.
Monterio L, Porto A. Contextual logic programming. InProc. of 6th ICLP, Lisbon, 1989. pp. 284–299.
Lloyd J W. Foundations of Logic Programming. 2nd extended edition, Springer-Verlag, 1987.
Author information
Authors and Affiliations
Corresponding author
Additional information
Jose K. Raphel is a Software Engineer in the Institute of Systems Science at the National University of Singapore. He received his Ph.D. degree in computer science from Nanyang Technological University, Singapore. He worked as an Assistant Professor at University of Pune, India, and Senior Systems Analyst at Tata Consultancy Services, India. His current research interests include object-oriented databases, visual query languages and internet interfaces to databases.
Angela Goh is a Senior Lecturer in the Division of Software Systems at the Nanyang Technological University, Singapore. She received her doctorate in Computation from the University of Manchester Institute of Science and Technology (UMIST), UK. She has worked as a Computer Consultant and in various institutions of higher learning. Her current research interests include active database systems and product data exchange. She is a Fellow of the British Computer Society and a Member of the ACM.
Dr. Hui Siu Cheung is a Senior Lecturer in the Division of System Software at the Nanyang Technological University, Singapore. He received his B.Sc. degree in Mathematics in 1983 and D. Phil degree in Computer Science in 1987 both from the University of Sussex, UK. He worked in IBM China/Hong Kong Corporation as a System Engineer from 1987 to 1990. His current research interests include object-oriented databases, multimedia systems and query languages.
Rights and permissions
About this article
Cite this article
Raphel, J.K., Cheung, H.S. & Goh, A. Class based contextual logic for DOOD. J. of Comput. Sci. & Technol. 11, 161–170 (1996). https://doi.org/10.1007/BF02943531
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02943531