线性递归DataLog程序优化算法

被引：3

作者：

王家华

曹路

金祥意

姚天顺

机构：

[1] 东北大学信息科学与工程学院!沈阳,东北大学信息科学与工程学院!沈阳,东北大学信息科学与工程学院!沈阳,东北大学信息科学与工程学院!沈阳

来源：

关键词：

DataLog逻辑程序; EDB谓词; IDB谓词; 魔集算法; 线性齐次逻辑程序;

D O I：

暂无

中图分类号：

TP311.13 [];

学科分类号：

摘要：

提出了线性齐次ＤａｔａＬｏｇ逻辑程序的概念，并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性ＤａｔａＬｏｇ程序的优化算法。该算法利用带有约束条件的递归调用方法，将线性ＤａｔａＬｏｇ程序求解问题变换成齐次程序求解问题。算法简单，易于实现，可应用于任何线性Ｄａｔａ－Ｌｏｇ程序的求解

引用

页码：59 / 62

页数：4