搜索筛选:
搜索耗时2.5269秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
类      型:
[期刊论文] 作者:王家华,金祥意, 来源:控制与决策 年份:1998
为满足大型企业中产品零部件数据管理的需要,解决关系数据库所不能解决的递归查询问题,为微机关系数据库设计并实现了一个递归查询接口,该接口能够计算了Datalog逻辑程序,通过允许规划头......
[期刊论文] 作者:王家华,金祥意, 来源:控制与决策 年份:1999
提出一个求解一类扩充递归Datalog逻辑程序的算法,论证其正确性,并讨论了算法的复杂性。该算法结合了自底向上和自顶向下的逻辑程序求解算法的优点,但比魔集算法简单,易于实现。利用宁可......
[期刊论文] 作者:王家华,曹路,金祥意,姚天顺,, 来源:控制与决策 年份:2000
提出了线性齐次DataLog逻辑程序的概念,并为该类程序设计了一个优化的求解算法.在此基础上提出了求解一般线性DataLog程序的优化算法.该算法利用带有约束条件的递归调用方法,...
相关搜索: