摘要
基于ＶＰＣ－扩展图模式，给出了Ｄａｔａｌｏｇ线性递归程序编译式的自动生成算法．研究表明，该算法能有效导出所有复杂类型Ｄａｔａｌｏｇ线性递归程序的编译式．
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.
出处
《武汉交通科技大学学报》
1998年第6期638-641,共4页
Journal of Wuhan University of Technology(Transportation Science & Engineering)
关键词
演绎数据库
编译技巧
图模式
DATALOG程序
deductive databases
compilation techniques
graph model,recursive query evaluation
datalog program
