Skip to main content
SpringerLink
Log in

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

  • Published:
Journal of Intelligent Information Systems Aims and scope Submit manuscript

Abstract

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 for: (1) the successful unification of one rule's action with another rule's triggering event, and (2) the satisfiability of active rule conditions, asking whether it is possible for the condition of a triggered rule to evaluate to true in the context of the triggering rule's condition. If the analysis can provably demonstrate that one rule cannot trigger another rule, the directed vector connecting the two rules in a basic triggering graph can be removed, thus refining the triggering graph. An important aspect in the implementation of the method is the development of a satisfiability algorithm for CDOL conditions. This paper presents the tool that was developed based on the RTG method, describing how techniques from constraint logic programming are integrated with other techniques for testing the satisfiability of rule triggering conditions. The effectiveness of the approach within the context of a sample application is also addressed.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Aiken, A., Hellerstein, J.M., and Widom, J. (1995). Static Analysis Techniques for Predicting the Behavior of Active Database Rules, ACM Transactions on Database Systems, 20(1), 3–41.

    Google Scholar 

  • Aiken, A., Widom, J., and Hellerstein, J.M. (1992). Behavior of Database Production Rules: Termination, Con-fluence, and Observable Determinism, SIGMOD, 21(2), 59–68.

    Google Scholar 

  • Bailey, J., Crnogorac, L., Ramamohanarao, K., and Sondergaard, H. (1997). Abstract interpretation of active rules and its use in termination analysis. Lecture Notes in Computers Science (1186): Proceedings of the International Conference on Database Theory (pp. 188–202). Delphoi, Greece: Springer-Verlag.

    Google Scholar 

  • Baralis, E., Ceri, S., and Paraboschi, S. (1995a). Improved rule analysis by means of triggering and activation graphs. In '95 (pp. 165–181). Glyfada, Athens, Greece.

  • Baralis, E., Ceri, S., and Paraboschi, S. (1995b). Run-Time Detection of Non-Terminating Active Rule Systems. In T.W. Ling, A.O. Mendelzon, and L. Vieille (Eds.), Deductive and Object-Oriented Databases. '95. Singapore, (pp. 38–54).

  • Baralis, E., Ceri, S., and Widom, J. (1994). Better termination analysis for active databases. In Proceedings of the First International Workshop on Rules in Database Systems (pp. 163–179).

  • Baralis, E. and Widom, J. (1994). An algebraic approach to rule analysis in expert database systems. In Proceedings of the Twentieth International Conference on Very Large Data Bases (pp. 475–486). Santiago, Chile.

  • Baralis, E. and Widom, J. (1995). Better static rule analysis for active database systems. Technical Report, (Dec.). Submitted for journal publication. <ftp://db.stanford.edu/pub/papers/better-static-analysis.ps>

  • Burckert, H.-J. (1991). A Resolution Principle for a Logic with Restricted Quantifiers, (LNCS 568). Springer-Verlag.

  • Cattell, R. (Ed.) (1996). The Object-Oriented Database Standard: ODMG-93, release 1.2, San Francisco: Morgan Kaufmann.

    Google Scholar 

  • Ceri, S., Baralis, E., Fraternali, P., and Paraboschi, S. (1995). Design of active rule applications: Issues and approaches. In '95 (pp. 1–18). Singapore.

  • Ceri, S., Fraternali, P., Paraboschi, S., and Tanca, L. (1996). Active rule management in Chimera. In J. Widom and S. Ceri (Eds.), Active Database Systems: Triggers and Rules for Advanced Database Processing (pp. 151–176). San Francisco: Morgan Kaufmann.

    Google Scholar 

  • Ceri, S. and Widom, J. (1990). Deriving production rules for constraint maintenance. In IBM Research Report RJ 7348 (68829). IBM Research Division, Yorktown Heights, NY.

    Google Scholar 

  • Chan, R., Dietrich, S., and Urban, S. (1997). On control flow testing of active rules in a declarative object-oriented framework. Proceedings of the Rules in Database Systems Conference. Skovde, Sweden.

  • Dietrich, S.W., Fan, C., and Cortes-Rello, E. (1996). An Application of Fragmentation Transparency in a Distributed Database System: A Case Study. Journal of Systems and Software, 35(3), 185–197.

    Google Scholar 

  • Fraternali, P., Paraboschi, S., and Tanca, L. (1992). Automatic Rule Generation for Constraint Enforcement in Active Databases. In U.W. Lipeck and B. Thalheim (Eds.), Modelling Database Dynamics. London: Springer-Verlag, 1993. Selected Papers from the Fourth InternationalWorkshop on Foundations of Models and Languages for Data and Objects, pp. 153–173.

    Google Scholar 

  • Guo, S., Sun, W., and Weiss, M.A. (1996). Solving Satisfiability and Implication Problems in Database Systems, ACM Transactions on Database Systems, 21(2), 270–293.

    Google Scholar 

  • Haridi, S. and Sahlin, D. (1984). Efficient Implementation of Unification of Cyclic Structures. In J.A. Campbell (Ed.), Implementations of PROLOG. Chichester: Ellis Horwood Limited, pp. 234–249.

    Google Scholar 

  • Jähne, A., Urban, S.D., and Dietrich, S.W. (1996). PEARD: A Prototype Environment for Active Rule Debugging, Journal of Intelligent Information Systems, 7(2), 111–128.

    Google Scholar 

  • Karadimce, A.P. (1997). Termination and Confluence Analysis in an Active Object-Oriented Database. Ph.D. Dissertation, Department of Computer Science and Engineering, Arizona State University.

  • Karadimce, A.P. and Urban, S.D. (1991). Diagnosing anomalous rule behavior in databases with integrity maintenance production rules. In Proceedings of the Third International Workshop on Foundations of Models and Languages for Data and Objects (pp. 77–102). Aigen Austria.

  • Karadimce, A.P. and Urban, S.D. (1996). Proving termination of active rules in object-oriented databases. In Proceedings of the International Conference on Data Engineering (pp. 384–391). New Orleans, LA.

  • Lee, S.Y. and Ling, T.W. (1998). A path removing technique for detecting trigger termination. In Lecture Notes in Computer Science (#1377): Proceedings of the International Conference on Extending Database Technology (pp. 341–355). Valencia, Spain: Springer-Verlag.

    Google Scholar 

  • Montesi, D. and Torlone, R. (1995).Atransaction transformation approach to active rule processing. In Proceedings of the Eleventh International Conference on Data Engineering (pp. 109–116). Taipei, Taiwan.

  • Rosenkrantz, D. and Hunt, H.B., III (1980). Processing conjunctive predicates and queries. In Proceedings of the Sixth International Conference on Very Large Data Bases (pp. 64–72). Montréal, Canada.

  • Sundermier, A., Abdellatif, T., Dietrich, S., and Urban, S. (1997). Object deltas in an active database development environment. In Proceedings of the International Conference on Deductive and Object-Oriented Databases, Lecture Notes in Computer Science (pp. 211–228). Switzerland.

  • Tschudi, M.K. (1997). Static Analysis of Active Database Rules: Evaluating Tools for Termination Analysis, M.S. Thesis, Department of Computer Science and Engineering, Arizona State University.

  • Tschudi, M.K., Urban, S.D., and Dietrich, S.W. (1997). The implementation and evaluation of the refined triggering graph approach to rule termination analysis. In Proceedings of the Rules in Database Systems Conference (pp. 133–148). Skovde, Sweden.

  • Urban, S.D., Karadimce, A.P., Dietrich, S.W., Ben Abdellatif, T., and Chan, H.W.R. (1997). CDOL: A Comprehensive Declarative Object Language. To appear in Data & Knowledge Engineering.

  • Weik, T. and Heuer, A. (1995). An algorithm for the analysis of termination of large trigger sets in OODBMS. In Proceedings of the Workshop on Active and Real-Time Databases (ARTDB) (pp. 170–189).

  • Widom, J. (1992). The Starburst rule system: Language design, implementation, and applications, IEEE Data Engineering Bulletin, Special Issue on Active Databases, 15(4), 15–18.

    Google Scholar 

  • Widom, J. (1996). The Starburst rule system. In J. Widom and S. Ceri (Eds.), Active Database Systems: Triggers and Rules for Advanced Database Processing. San Francisco: Morgan Kaufmann, pp. 87–109.

    Google Scholar 

  • Widom, J. and Ceri, S. (1996). Active Database Systems: Triggers and Rules for Advanced Database Processing, San Fancisco: Morgan Kaufmann.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Arizona State University, Tempe, AZ, 85287-5406

    Susan D. Urban, Michael K. Tschudi, Suzanne W. Dietrich & Anton P. Karadimce

Authors
  1. Susan D. Urban
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael K. Tschudi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Suzanne W. Dietrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Anton P. Karadimce
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Urban, S.D., Tschudi, M.K., Dietrich, S.W. et al. Active Rule Termination Analysis: An Implementation and Evaluation of the Refined Triggering Graph Method. Journal of Intelligent Information Systems 12, 27–60 (1999). https://doi.org/10.1023/A:1026430919467

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1026430919467

Search

Navigation