%0 Journal Article
%T DOL: 一个演绎对象库语言
%A 孙永强
%A 王修伦
%J -
%D 1998
%X 演绎对象数据库是对象数据模型和演绎数据库集合的产物.它集成演绎数据库的查询能力和对象数据库的强大建模能力.DOL(deductive object base language)是作者设计的一种演绎对象库语言,它支持类、类层次、继承、集合、部分集、方法及重载和否定.文章着重研究继承、重载和复杂结构化值的交互关系.定义了压缩操作子和重载操作子.基于这两个操作子,定义了与经典逻辑程序类似的直接后承操作子,并研究其不定点性质
%K 演绎对象库语言
%K 部分集
%K 压缩操作子
%K 重载操作子
%K 描述型语义.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19981009&flag=1