DOL:一个演绎对象库语言

演绎对象数据库是对象数据模型和演绎数据库集合的产物．它集成演绎数据库的查询能力和对象数据库的强大建模能力．ＤＯＬ（ｄｅｄｕｃｔｉｖｅｏｂｊｅｃｔｂａｓｅｌａｎｇｕａｇｅ）是作者设计的一种演绎对象库语言，它支持类、类层次、继承、集合、部分集、方法及重载和否定．文章着重研究继承、重载和复杂结构化值的交互关系．定义了压缩操作子和重载操作子．基于这两个操作子，定义了与经典逻辑程序类似的直接后承操作子，并研究其不定点性质．

演绎对象库语言DOL的求值技术

ＤＯＬ语言是文中设计的一个演绎对象库语言，通过引入重载操作子，处理继承与重载的关系．文中讨论ＤＯＬ语言的基于程序重写的求值技术．研究表明：由于ＤＯＬ引入对象角色概念，程序重写技术具有简单性．

对象数据库中内涵对象的演绎实现

为提高对象数据库的表达能力,该文提出了一种新的对象概念——内涵对象(IODB)。它是从演绎库的IDB的概念发展而来的,井称为IODB。IODB用演绎对象数据库语言FLOOR实现,不仅丰富了面向对象数据库的表达能力,而且对减少演绎对象库的程序搜索空间、提高运算效率也有明显的作用。

DODM: 演绎型对象数据模型

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

演绎的面向对象数据库中集合的实现

演绎的面向对象数据库把演绎与面向对象技术结合起来 ,形成一种新的数据库系统 .基于复杂对象的演绎技术及其实现一直是该领域研究中的热点 ,讨论演绎对象库系统 FLOORS中集合的语义。