亚瑟·德尔彻;西蒙·卡西夫 关于在并行逻辑程序中利用数据依赖的复杂性的一些结果。 （英语） Zbl 0684.68024号 J.逻辑程序。 6，第3期，229-241（1989）. 摘要：我们考虑了在逻辑程序的and并行执行中与维护和分析数据流依赖相关的几个问题。几个与并行执行的最优文本选择相关的问题被确定为棘手的（NP-完全）。最重要的是，即使逻辑程序中谓词的arity被限制为一个小常数，我们也建立了难解性。这种情况代表了实践中使用的PROLOG程序。随后，我们讨论了当文本中的变量被实例化时，维护程序执行期间发生的数据依赖性更改的复杂性。针对这个问题，我们提出了一种简单有效的数据结构，以在程序执行期间维护文本之间的数据流依赖性。然后，智能控件可以使用这些依赖关系来最小化回溯。 引用于2文件 MSC公司： 68号01 软件理论的一般主题 65年第68季度 算法和问题复杂性分析 68第05页 数据结构 68T99型 人工智能 68N99型 软件理论 关键词：数据流分析;并行逻辑程序;文字的最佳选择;PROLOG公司;维护数据依赖性更改的复杂性 PDF格式BibTeX公司 XML格式引用 \textit{A.Delcher}和\textit{S.Kasif}，J.Log。程序。6，第3号，229--241（1989；Zbl 0684.68024） 全文： 内政部