简介概要

一类递归查询问题的快速求解算法

来源期刊:控制与决策1999年第2期

论文作者:王家华 金祥意 张宏霞 姚天顺

文章页码:3 - 5

关键词:线性递归逻辑程序;传递闭包;半简洁算法;自顶向下算法;魔集算法;

摘    要:提出一个求解一类扩充递归Datalog逻辑程序的算法,论证其正确性,并讨论了算法的复杂性。该算法结合了自底向上和自顶向下的逻辑程序求解算法的优点,但比魔集算法简单,易于实现。利用它可以解决工程数据管理中常遇到的产品零部件装配关系的递归查询问题。

详情信息展示

一类递归查询问题的快速求解算法

王家华,金祥意,张宏霞,姚天顺

摘 要:提出一个求解一类扩充递归Datalog逻辑程序的算法,论证其正确性,并讨论了算法的复杂性。该算法结合了自底向上和自顶向下的逻辑程序求解算法的优点,但比魔集算法简单,易于实现。利用它可以解决工程数据管理中常遇到的产品零部件装配关系的递归查询问题。

关键词:线性递归逻辑程序;传递闭包;半简洁算法;自顶向下算法;魔集算法;

<上一页 1 下一页 >

有色金属在线官网  |   会议  |   在线投稿  |   购买纸书  |   科技图书馆

中南大学出版社 技术支持 版权声明   电话:0731-88830515 88830516   传真:0731-88710482   Email:administrator@cnnmol.com

互联网出版许可证:(署)网出证(京)字第342号   京ICP备17050991号-6      京公网安备11010802042557号