DOL:一个演绎对象库语言

来源 :软件学报 | 被引量 : 0次 | 上传用户:liyuwei9999
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
演绎对象数据库是对象数据模型和演绎数据库集合的产物,它集成演绎数据库的查询能力和对象数据库的强大建模能力。DOL是作者设计的一种演绎对象库语言,它支持类,类层次,继承,集合,部分集,方法及重载和否定。
其他文献
本文叙述了两类并行文件系统中disk cache一致性的维护方法,并基于release一致性模型,给出了其正确性证明。
本文给出了求解NP困难问题的完备策略的概念,在此基础上提出了一个求解集合覆盖问题的启发函数法SCHF(set-coveringheuristicfunction)文中对该算法的合理性,时间复杂性以及解的精度进行了分析,本文的主要创新点是用已
文章介绍了作者在过去5年中微内核技术上所做的工作。给出了3个算法。①通过将任务调度和线程调度算法相结合的方法,来解决单纯以线程为单位的调度系统的效率和公平性问题;②一个
文章对多媒体数据流间存在的时序问题和时序关系进行介绍,对现有研究情况进行分析。结合一个多媒体数据模型,基于PETRI网,提出了一个同步模型,以表达媒体数据之间存在的同步关系。根据
“教育部”正以“校中有校”的突破性观念,规划技职教育体系。除了办学绩优高职可以附设专科的构想外,其他的构想还
超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑,它可作为在不完全与不协调知识下常识推理形式化,给出了命题LPc的计算复杂性结果和算法实现,指出LPc是NP完全问题,并给出了
在自然语言理解中,时间一个重要的语境因素,本文提出一种独立于句子表层形式的多层次时间语义结构,浅层语义结构是时间描述的最化语义表示,深层语义结构描述事件的动态属性和存在
随着"全民阅读"时代的到来,高校阅读推广活动正如火如荼地进行着。大学生既是阅读推广的对象,又是阅读推广的主体,同时他们之间又存在着天然的群体效应和朋辈效应。西安工程大
说起创造发明,有人会认为那是一种高深莫测而可望而不可及的高层领域。不可否认,要搞创造发明需要有广泛的知识面、深厚扎实的理论基础和善于观察分析的能力。但不等于说创造
面对知识经济飞速发展的新挑战,培养学生终生学习能力的终身教育已成为素质教育的核心之一。本文结合多年教学实践,从创设学习机会、调整课程结构及改革学习方法等方面入手,寻求