DOOL程序语义等价转换为Datalog程序的转换规则

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:Ares_Stray
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的,因此该文提出了应用一些转换规则来将DOOL程序转换为Datalog,通过规则转换,能求出DOOL程序的最小不动点(即程序值),从而使得系统的查询操作全都由SD—DDBS最终得出结果。文中详细介绍了转换规则的具体内容。
其他文献
网络仿真是一种利用数学建模和统计分析的方法模拟网络行为,从而获取特定的网络特性参数的技术。该文使用网络仿真软件进行网络性能仿真,通过仿真测试网络利用率、丢包率及阻塞
海洋工程中钢筋锈蚀问题已引起众多关注,纤维增强复合材料(Fiber Reinforced Polymer,FRP)是一种拥有轻质高强、耐腐蚀性能优越、良好的低磁性、抗疲劳性能等优良性能的新型
以CFD分析软件为工具,对大型商贸建筑中庭的室内自然通风效果、热环境等方面进行综合分析,提出中庭采光顶遮阳、通风及建筑立面开口的优化建议,从而优化室内通风效果,提高空
在传统的ART(AdaptiveResonanceTheory)网络结构中忽略了样本属性重要性的不同对分类结果产生的影响。然而实际应用中,需要在网络预测阶段对此予以重视。该文提出了基于冲量权值的ART网络IFWART(ImpulseForceWeightbasedAdaptiveResonanceTheory)。它引入冲量权值表示属性的重要性,通过进化算法的优胜劣汰机制优化冲量权值,并将量化的权值