论文部分内容阅读
为了提高ＤＡＴＡＬＯＧ程序自底向上计值的效率，本文提出了把ＤＡＴＡＬＯＧ规则分为若干个组，对这此组可以给出一个拓扑序列，而对同一个组内的各个规则可以给出一激发序列，以此来有效地控制ＤＡＴＡＬＯＧ程序自底向上计值时对规则的调度，从而提高计算效率。这一技术可以应用于传统的各种自底向上计算方法，本文给出了半朴质（Ｓｅｍｉ－Ｎａｉｖｅ）算法和良基模型（Ｗｅｌｌ－Ｆｏｕｎｄｅｄ）的交替不动点算法（Ａｌｔｅｒ