排序方式: 共有3条查询结果,搜索用时 0 毫秒
1.
提出了线性齐次DataLog逻辑程序的概念,并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性DataLog程序的优化算法,该算法利用带有的约束条件的递归调用方法,将线性DataLog程序求解问题变换成齐次程序的求解问题。算法简单,易于实现,可应用于任何线性DataLog程序的求解。
相似文献
2.
为满足大型企业中产品零部件数据管理的需要,解决关系数据库所不能解决的递归查询问题,为微机关系数据库设计并实现了一个递归查询接口,该接口能够计算了Datalog逻辑程序,通过允许规划头部包含函数符号,使规则增加了数值计算能力。
相似文献
3.
提出一个求解一类扩充递归Datalog逻辑程序的算法,论证其正确性,并讨论了算法的复杂性。该算法结合了自底向上和自顶向下的逻辑程序求解算法的优点,但比魔集算法简单,易于实现。利用宁可以解决工程数据管理中常遇到的产品零部件装配关系的递归查询问题。
相似文献