datalog程序的组及其应用

为了提高datalog程序自底向上计值的效率，本文提出了把datalog规则分成若干个组，对这些组可以给出一个拓扑序列，而对同一个组内的各个规则可以给出一个激发序列，以此来有效地控制datalog程序自底向上计值时对规则的调度，从而提高计算效率．这一技术可以应用于传统的各种自底向上计算方法，本文绘出了半朴质（semi-naove）算法和良基模型（well-founded）的交替不动点算法（alternatingfixpoint）的改进．改进后的算法比原算法在时间和空间效率上都有较大的提高．