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.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Widom, J. and Ceri, S. (1996). Active Database Systems: Triggers and Rules for Advanced Database Processing, San Fancisco: Morgan Kaufmann.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1026430919467