Abstract
In this paper, we propose new methods for the compile-time analysis of the behavior of active rules, based on the distinction between mutual triggering and mutual activation of rules. This distinction motivates the introduction of two graphs defining rule interaction, called triggering and activation graphs respectively. Analysis techniques presented in this paper are focused on the problem of termination; results provide a systematic identification of reactive behaviors which can be guaranteed to terminate and reactive behaviors which may lead to infinite rule processing.
Research presented in this paper is supported by Esprit project P6333 IDEA, and by ENEL contract “VDS 1/94: Integrity Constraint Management”
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. Aiken, J. Widom, and J. M. Hellerstein. Behavior of database production rules: Termination, confluence, and observable determinism. In M. Stonebraker, editor, Proc. ACM SIGMOD Int'l Conf. on Management of Data, pages 59–68, San Diego, California, May 1992.
E. Baralis, S. Ceri, and S. Paraboschi. Modularization techniques for active rules design. Technical Report IDEA.WP2.22P.002.01, ESPRIT Project n. 6333 IDEA, Nov. 1994.
E. Baralis, S. Ceri, and J. Widom. Better termination analysis for active databases. In N. W. Paton and M. H. Williams, editors, Proc. of First Workshop on Rules in Database Systems, WICS, pages 163–179, Edinburgh, Scotland, Aug. 1993. Springer-Verlag, Berlin.
E. Baralis and J. Widom. An algebraic approach to rule analysis in expert database systems. In Proc. Twentieth Int'l Conf. on Very Large Data Bases, pages 475–486, Santiago, Chile, Sept. 1994.
L. Brownston, R. Farrell, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, 1985.
S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic generation of production rules for integrity maintenance. ACM Transactions on Database Systems, 19(3):367–422, Sept. 1994.
S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In D. McLeod, R. Sacks-Davis, and H. Schek, editors, Proc. Sixteenth Int'l Conf. on Very Large Data Bases, pages 566–577, Brisbane, Australia, Aug. 1990.
S. Ceri and J. Widom. Managing semantic heterogeneity with production rules and persistent queues. In R. Agrawal, S. Baker, and D. Bell, editors, Proc. Nineteenth Int'l Conf. on Very Large Data Bases, pages 108–119, Dublin, Ireland, Aug. 1993.
S. Ceri and J. Widom. Deriving incremental production rules for deductive data. Information Systems, 19(6):467–490, Nov. 1994.
U. Dayal, M. Hsu, and R. Ladin. Organizing long-running activities with triggers and transactions. In H. Garcia-Molina and H. V. Jagadish, editors, Proc. ACM SIGMOD Int'l Conf. on Management of Data, pages 204–214, Atlantic City, New Jersey, May 1990.
J. Gray and A. Reuter. Transaction Processing Concepts and Techniques. Morgan Kaufmann Publishers, 1993.
A. P. Karadimce and S. D. Urban. Conditional term rewriting as a formal basis for analysis of active database rules. In Proc. Fourth International Workshop on Research Issues in Data Engineering RIDE-ADS '94, Houston, Texas, Feb. 1994.
H. Tsai and A. M. K. Cheng. Termination analysis of OPS5 expert systems. In Proc. of the AAAI National Conference on Artificial Intelligence, Seattle, Washington, 1994.
L. van der Voort and A. Siebes. Termination and confluence of rule execution. In Proc. of the Second International Conference on Information and Knowledge Management, Washington DC, Nov. 1993.
J. Widom. Research issues in active database systems: Report from the closing panel at RIDE-ADS '94. SIGMOD Record, 23(3):41–43, Sept. 1994.
J. Widom and S. Ceri. Active Database Systems. Morgan-Kaufmann, San Mateo, California, Aug. 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baralis, E., Ceri, S., Paraboschi, S. (1995). Improved rule analysis by means of triggering and activation graphs. In: Sellis, T. (eds) Rules in Database Systems. RIDS 1995. Lecture Notes in Computer Science, vol 985. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60365-4_126
Download citation
DOI: https://doi.org/10.1007/3-540-60365-4_126
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60365-8
Online ISBN: 978-3-540-45137-2
eBook Packages: Springer Book Archive