Datalog 线性递归程序的自动编译  

Automatic Compilation for Datalog Linear Recursive Program

作　　者：何云 鲁汉榕[1] 

机构地区：[1]武汉空军雷达学院

出　　处：《武汉交通科技大学学报》1998年第6期638-641,共4页Journal of Wuhan University of Technology(Transportation Science & Engineering)

摘　　要：基于ＶＰＣ－扩展图模式，给出了Ｄａｔａｌｏｇ线性递归程序编译式的自动生成算法．研究表明，该算法能有效导出所有复杂类型Ｄａｔａｌｏｇ线性递归程序的编译式．Based on VPC resolution graph model,the algorithm of automatic compilation for Datalog linear recursive program is given.The study shows that the algorithm can efficiently derive compiled forms for all complex datalog linear recursive program.

关 键 词：演绎数据库 编译技巧 图模式 DATALOG程序 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]