第一次循环后，第二次循环，再到第三次循环，计算值的过程是如何进行的呢？从上面的分析可以看出，使用关系代数来表示固定点的方程式相当复杂，但如果用关系逻辑来表示，则显得容易得多。

前面提到的先修课的方程式，其实可以用以下两个规则来表示：

  1. 每一行的值也是本行的值。这一规则对应于关系代数的方程式中的并集第一项。

  2. 某课程的先修课的先修课是该课程的间接先修课。

求先修课的方程式，实际上就是在用这两个规则表示同一件事情。所以，根据这两个规则计算出来的值是一样的。一般来说，我们可以用没有求反子目标的规则来定义关系，再从所有关系为空开始，逐步通过重复应用规则和以前的关系值来计算最终的关系逻辑。

如果您想深入了解这些内容，可以参考以下相关文档：