| Datalog程序的正规变换及其实现 |
| |
| 引用本文： | 王云明,孙永玉.Datalog程序的正规变换及其实现[J].计算机研究与发展,1998,35(6):481-485. |
| |
| 作者姓名： | 王云明 孙永玉 |
| |
| 作者单位： | 复旦大学计算机科学系 |
| |
| 基金项目： | “863”高科技项目,国家自然科学基金 |
| |
| 摘 要： | 文中提出了Ｄａｔａｌｏｇ程序的正规变换，并构造了Ｄａｔａｌｏｇ程序的约束模型图，从而把正规变换的求解转化为对约束模式图的搜索。约束模式图搜索算法与经典的ＡＯ＾＊搜索算法及相关文献中的算法相比具有更高的效率。
|
| 关 键 词： | Datalog程序 程序变换 正规变换 |
CANONICAL TRANSFORMATION OF DATALOG PROGRAMS AND ITS IMPLEMENTATION |
| |
| Wang Yunming,Sun Yongyu,and Shi Bole.CANONICAL TRANSFORMATION OF DATALOG PROGRAMS AND ITS IMPLEMENTATION[J].Journal of Computer Research and Development,1998,35(6):481-485. |
| |
| Authors: | Wang Yunming Sun Yongyu and Shi Bole |
| |
| Abstract: | A Datalog transformation called canonical transformation is proposed.Also constructed is the binding pattern graph(BPG) of Datalog programs.The implementation of canonical transformation is solved through searching the BPG.The algorithm of BPG searching is more efficient compared with AO * and some other related algorithms. |
| |
| Keywords: | Datalog program program transformation canonical transformation binding pattern graph |
| 本文献已被 CNKI 维普 等数据库收录！ |
