演绎对象语言中的约束表示与求解

来源 :第十四届全国数据库学术会议 | 被引量 : 0次 | 上传用户:zengdf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文讨论了演绎面向对象数据库查询语言中约束的表示及其语义,并以约束求解取代消解合一。
其他文献
目前演化硬件的设计面临着一个很重要的问题是如何在演化速度和硬件结构的硬件结构的复杂度之间寻求平衡,为此该文提出:第一,对个体的编码采用接近问题描述,并且可以简单映射到物
传统的函数优化方法对求解函数的性质有诸多限制,只能对可析处理、不复杂的函数取得较满意的结果,而使用自适应演化算法来进行函数优化,实验结果表明,该算法具有较好的性能。
最近,美国的Longeveron公司在Joumals of Gerontology期刊上发表了一项临床研究报告,报告显示:老年衰弱综合征患者回输年轻的间充质干细胞(来源于发育早期的中胚层,属于多能干细胞)后,许多症状得到了改善,并且未出现不良反应。这项研究结果证明了间充质干细胞的安全性和有效性,同时也表示让老年人老而不衰或许真的可行。  再生源头“干细胞”  细胞生长繁殖的源头在干细胞,它有两个明
期刊
演绎对象库中由于多重继承与属性重载的特点,造成了继承与演绎的复杂性,该文主要系统研究了对象类继承的非单调性问题,提出了带可信度的继承的方法来解决由于继承引起的非单调性
该文研究了约束演绎的面向对象数据库语言-CDOL程序中对否定问题的处理,即采用层迭化的程序对否定问题做出一定限制。层迭化的CDOL程序具有最小不动点语义。
1月10日新华社播发的《“党员干部的子女往后排”》的小通讯,更确切地说应该是一篇比较精采的好特写。它透过哈尔滨热电厂如何安置24名“五大”毕业的职工子女这件事,生动、
厌食是较长期的食欲减退或丧失,是儿科常见的消化功能紊乱症.本文探讨其发病机理以及中医专方论治专药选用和西医病因治疗,饮食调理,药物疗法的治疗问题.