一类递归查询问题的快速求解算法
来源期刊:控制与决策1999年第2期
论文作者:王家华 金祥意 张宏霞 姚天顺
文章页码:3 - 5
关键词:线性递归逻辑程序;传递闭包;半简洁算法;自顶向下算法;魔集算法;
摘 要:提出一个求解一类扩充递归Datalog逻辑程序的算法,论证其正确性,并讨论了算法的复杂性。该算法结合了自底向上和自顶向下的逻辑程序求解算法的优点,但比魔集算法简单,易于实现。利用它可以解决工程数据管理中常遇到的产品零部件装配关系的递归查询问题。
王家华,金祥意,张宏霞,姚天顺
摘 要:提出一个求解一类扩充递归Datalog逻辑程序的算法,论证其正确性,并讨论了算法的复杂性。该算法结合了自底向上和自顶向下的逻辑程序求解算法的优点,但比魔集算法简单,易于实现。利用它可以解决工程数据管理中常遇到的产品零部件装配关系的递归查询问题。
关键词:线性递归逻辑程序;传递闭包;半简洁算法;自顶向下算法;魔集算法;