Active Rule Termination Analysis: An Implementation and Evaluation of the Refined Triggering Graph Method

@article{Urban1999ActiveRT,
  title={Active Rule Termination Analysis: An Implementation and Evaluation of the Refined Triggering Graph Method},
  author={Susan Darling Urban and Michael K. Tschudi and Suzanne W. Dietrich and Anton P. Karadimce},
  journal={Journal of Intelligent Information Systems},
  year={1999},
  volume={12},
  pages={27-60}
}
This paper describes the implementation of the Refined Triggering Graph (RTG) method for active rule termination analysis and provides an evaluation of the approach based on the application of the method to a sample active application. The RTG method has been defined in the context of an active-deductive, object-oriented database language known as CDOL (Comprehensive, Declarative, Object Language). The RTG method studies the contents of rule pairs and rule cycles in a triggering graph and tests… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 11 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 30 references

Proving termination of active rules in object-oriented databases

  • S. D. Urban
  • In Proceedings of the International Conference on…
  • 1996
Highly Influential
6 Excerpts

Deriving production rules for constraint maintenance

  • J. Widom
  • IBM Research Report RJ
  • 1990
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…