FENG Ling, FENG Yucai. A Formal Model for a Deductive Object-Oriented Database Management SystemJ. Journal of Computer Research and Development, 1993, 30(7): 13-17,66.
Citation:
FENG Ling, FENG Yucai. A Formal Model for a Deductive Object-Oriented Database Management SystemJ. Journal of Computer Research and Development, 1993, 30(7): 13-17,66.
FENG Ling, FENG Yucai. A Formal Model for a Deductive Object-Oriented Database Management SystemJ. Journal of Computer Research and Development, 1993, 30(7): 13-17,66.
Citation:
FENG Ling, FENG Yucai. A Formal Model for a Deductive Object-Oriented Database Management SystemJ. Journal of Computer Research and Development, 1993, 30(7): 13-17,66.
A Formal Model for a Deductive Object-Oriented Database Management System
This paper presents a theoretical basis for a Deductive Object-Oriented Database Management System（DOODBMS）.The introduction of knowledge,the formal description and the operation in a DOODBMS are discussed in detail.Thus,the system can both achieve the functions of general OODBMS and perform deduction in the database.
DownLoad: