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