Datalog程序的正规变换及其实现

CANONICAL TRANSFORMATION OF DATALOG PROGRAMS AND ITS IMPLEMENTATION

文中提出了Ｄａｔａｌｏｇ程序的正规变换，并构造了Ｄａｔａｌｏｇ程序的约束模型图，从而把正规变换的求解转化为对约束模式图的搜索．约束模式图搜索算法与经典的ＡＯ＊搜索算法及相关文献中的算法相比具有更高的效率．

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.