首页 | 本学科首页   官方微博 | 高级检索  
     检索      

Datalog线性递归程序的自动编译
引用本文:何云,鲁汉榕.Datalog线性递归程序的自动编译[J].武汉理工大学学报(交通科学与工程版),1998,22(6):638-641.
作者姓名:何云  鲁汉榕
摘    要:基于VPC-扩展图模式,给出了Datalog线性递归程序编译式的自动生成算法,研究表明,该算法能有效导出所有复杂类型Datalog线性递归程序的编译式。

关 键 词:演绎数据库  编译技巧  图模式  Datalog程序
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号