魔集转换相关论文
在演绎数据库领域中，魔集转换是一种自顶向下和自底向上相结合的计算策略，它使逻辑程序的计算始终限制在与查询相关的数据中。但是随......
研究了一种求解包含一个IDB谓词线性递归程序的算法,该算法由规则间的相关性对逻辑程序进行分解,减少IDB谓词项的个数,然后再对分......
