演绎型面向对象数据库管理系统形式模型研究
A Formal Model for a Deductive Object-Oriented Database Management System
-
摘要: 本文提出了一种研制演绎型面向对象数据库管理系统(DOODBMS)的理论基础,具体讨论了DOODBMS 的形式化描述、操作以及知识引入等问题,使得一方面,实现一般面向对象数据库管理系统(OODBMS)的功能,另一方面,又可获得OODBMS 的推理智能Abstract: 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.
下载: