一种Datalog递归程序系统优化方法,刘颖,何云,普遍认为MagicSets改写结合SemiNaive是最有效率的Datalog递归程序查询演算方法。而我们的研究表明可以用新的途径对它进行进一步优化,为�