关系知识库系统中一类递归运算的优化算法

摘要

本文讨论关系知识库系统ＲＫＢＳ－１中求解形如Ｒ：＝ＡＲ的正同递归运算的两类优化算法，波前算法和δ－波前算法。算法的核心在于如何减少Ｒ：＝ＡＲ递归运算的直接迭代求解过程中的重复工作。波前算法中把驱发子和收容器区分开来，从而减少了由于基本算法中把两者混用使得同一驱发子多次驱发所带来一重复工作。δ－波前算法在此基础上做了进一步改进。