DATALOG程序

作品数：5被引量：4H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：施伯乐王云明金祥意姚天顺王家华更多>>
相关机构：复旦大学东北大学山西大学中国人民解放军空军雷达学院更多>>
相关期刊：《计算机研究与发展》《软件学报》《计算机工程与应用》《控制与决策》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
DOOL程序语义等价转换为Datalog程序的转换规则
《计算机工程与应用》2005年第8期176-179,共4页原锦辉 陶世群 
演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的...
关键词：演绎对象数据库 DOOL程序 语义等价转换 DATALOG程序 程序转换规则 演绎数据库 面向对象数据库 
线性递归DataLog程序优化算法被引量：3
《控制与决策》2000年第1期59-62,共4页王家华 曹路 金祥意 姚天顺 
提出了线性齐次ＤａｔａＬｏｇ 逻辑程序的概念，并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性ＤａｔａＬｏｇ 程序的优化算法。该算法利用带有约束条件的递归调用方法，将线性ＤａｔａＬｏｇ 程序求解问题变...
关键词：逻辑程序 DATALOG程序 程序设计 优化算法 
Datalog 线性递归程序的自动编译
《武汉交通科技大学学报》1998年第6期638-641,共4页何云 鲁汉榕 
基于ＶＰＣ－扩展图模式，给出了Ｄａｔａｌｏｇ线性递归程序编译式的自动生成算法．研究表明，该算法能有效导出所有复杂类型Ｄａｔａｌｏｇ线性递归程序的编译式．
关键词：演绎数据库 编译技巧 图模式 DATALOG程序 
Datalog程序的正规变换及其实现
《计算机研究与发展》1998年第6期481-485,共5页王云明 孙永玉 施伯乐 
"863"高科技项目;国家自然科学基金
文中提出了Ｄａｔａｌｏｇ程序的正规变换，并构造了Ｄａｔａｌｏｇ程序的约束模型图，从而把正规变换的求解转化为对约束模式图的搜索．约束模式图搜索算法与经典的ＡＯ＊搜索算法及相关文献中的算法相比具有更高的效率．
关键词：DATALOG程序 程序变换 正规变换 
DATALOG程序的组及其应用被引量：1
《软件学报》1997年第9期641-646,共6页王云明 施伯乐 
国家自然科学基金;国家863高科技项目
为了提高DATALOG程序自底向上计值的效率，本文提出了把DATALOG规则分成若干个组，对这些组可以给出一个拓扑序列，而对同一个组内的各个规则可以给出一个激发序列，以此来有效地控制DATALOG程序自底向上计值时对规则的调度，从而提高...
关键词：DATALOG程序 组 拓扑序列 激发序列 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部