WANG Yunming, SUN Yongyu, SHI Bole. CANONICAL TRANSFORMATION OF DATALOG PROGRAMS AND ITS IMPLEMENTATIONJ. Journal of Computer Research and Development, 1998, 35(6).
Citation:
WANG Yunming, SUN Yongyu, SHI Bole. CANONICAL TRANSFORMATION OF DATALOG PROGRAMS AND ITS IMPLEMENTATIONJ. Journal of Computer Research and Development, 1998, 35(6).
WANG Yunming, SUN Yongyu, SHI Bole. CANONICAL TRANSFORMATION OF DATALOG PROGRAMS AND ITS IMPLEMENTATIONJ. Journal of Computer Research and Development, 1998, 35(6).
Citation:
WANG Yunming, SUN Yongyu, SHI Bole. CANONICAL TRANSFORMATION OF DATALOG PROGRAMS AND ITS IMPLEMENTATIONJ. Journal of Computer Research and Development, 1998, 35(6).
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.
DownLoad: