Abstract
Based on the approach implementing a deductive object-oriented database system through the underlying relational database, this paper presents an object reasoning language O-Datalog, which is the extension of Datalog in form and can deal with object-oriented data. For any O-Datalog program, an equivalent Datalog program can be built to help evaluate the original program. This paper focuses on the syntax, semantics and evaluation of O-Datalog.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Barja M Let al. An effective deductive object-oriented database through language integration. InProc. 20th VLDB, 1994, pp.463–474.
Greco S, Leone N, Rullo P. COMPLEX: An object-oriented logic programming system.IEEE Trans. Knowledge and Data Engineering, 1992, 4(4): 344–359.
Ullman J D. Principles of Database and Knowledge-base Systems. Vol II, Rockville, Computer Science Press, 1989.
Kim W. Object-oriented database systems: Promises, reality, and future. InProc. 19th VLDB, 1993, pp.676–687.
Shi Baile, Zhang Chenghong, Zhou Aoying. FOOD: An object-oriented database system.Computer Applications and Software, 1994, 11(6): 47–53.
Kifer M, Lausen G. F-logic: A higher-order language for reasoning about objects, inheritance and schema. InProc. ACM SIGMOD, 1989, pp.134–146.
Frohn J, Lausen G, Uphoff H. Access to objects by path expressions and rules. InProc. 20th VLDB, 1994, pp.273–284.
Srivastava Det al. Coral++: Adding object-orientation to a logic database language. InProc. 19th VLDB, 1993, pp.158–170.
Author information
Authors and Affiliations
Additional information
Supported by the National ‘863’ Hi-Tech Program of China.
Zhang Chenghong received his B.S. and Ph.D. degrees, both in computer science, from Fudan University, in 1990 and 1996, respectively. He is currently a Lecturer in the Department of Management Science, Fudan University. His main research interests are deductive databases, object-oriented databases, and management information systems.
Hu Yunfa graduated from Fudan University in 1964. He is currently a Professor in the Department of Computer Science, Fudan University. He is a standing Committee member of AI Institute of China. His research interests lie in the areas of logic programming, database and knowledge base and AI.
Shi Baile graduated from Peking University in 1957. He is currently a Professor in the Department of Computer Science, and the Director of the Computer Science Institute, Fudan University. At present, he is the Vice President of Shanghai Computer Society and a member of the council of Chinese Computer Federation. The areas of his research cover distributed databases, knowledge-bases, object-oriented databases, multimedia databases, and GIS.
Rights and permissions
About this article
Cite this article
Zhang, C., Hu, Y. & Shi, B. A reasoning mechanism for deductive object-oriented databases. J. of Comput. Sci. & Technol. 12, 337–345 (1997). https://doi.org/10.1007/BF02943153
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02943153