DODM：演绎型对象数据模型

演绎型对象数据库是演绎数据库和对象数据库结合的产物，它集成了演绎数据库的查询推理能力和对象数据库的强大建模能力。文中在已有的研究基础上较系统地研究演绎环境下对象数据模型，提出将类作为对象逻辑标识的集体和构造子；关系和集合为一类类构造子，体现了实体关系数据模型的思想；将型作为性质的集体，显式地区分类和型。引入型间偏相似关系来刻画继承语义，使得单继承、多继承和单调继承、非单调继承统一于型间偏相似关系，

DODM: A DEDUCTIVE OBJECT DATA MODEL

Integration of deductive database and object database results in deductive object database which has powerful modeling and deductive capacities. An object data model is described under the logic environment. In the model described, class is collection and constructor of object logic identifiers, relation and set are class constructors, and type is collection of properties. Class and type are distinguished explicitly. Inheritance is supported by partial similarity relation between types, which unifies single and multiple inheritance as well as monotonous and non monotonous inheritance. In addition, the notion of database schema and its test algorithm are also presented.