摘要
为了满足知识信息处理的要求,需要研究逻辑程序的并行处理技术,逻辑程序的并行性来源主要有AND和OR并行。而AND并行性的开发遇到变量约束冲突(即数据相关性)问题,OR并行的开发面临着存贮冲突问题(即多约束环境)。本文主要给出限制的AND/OR模型RAP/LOP-WAM(Restricted And-Parallelism and Limited or-Parallelism)中的存贮管理方法以解决OR并行的存贮冲突问题。
出处
《小型微型计算机系统》
CSCD
北大核心
1989年第9期15-20,26,共7页
Journal of Chinese Computer Systems
基金
自然科学基金
霍英东教育基金
