Abstract
Rules in active database systems can be very difficult to program, due to the unstructured and unpredictable nature of rule processing. In this chapter static analysis techniques for predicting useful properties for active rule sets are described. In particular, we focus on methods to determine at compile- time whether a given rule set is guaranteed to terminate, and whether rule execution is confluent (guaranteed to have a unique final state).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alexander Aiken, Joseph M. Hellerstein, and Jennifer Widom. Static Analysis Techniques for Predicting the Behavior of Active Database Rules. A CM Transactions on Database Systems, 20(1):3–41, March 1995.
Elena Baralis, Stefano Ceri, and Stefano Paraboschi. ARACHNE: A Tool for the Analysis of Active Rules. In Proc. of the Second Int. Conf. on Applications of Databases-ADB’95, Santa Clara, California, December 1995.
Elena Baralis, Stefano Ceri, and Stefano Paraboschi. Improved Rule Analysis by Means of Triggering and Activation Graphs. In Timos Sellis, editor, Proc. of the Second Workshop on Rules in Database Systems, LNCS 985, pages 165–181, Athens, Greece, September 1995.
Elena Baralis, Stefano Ceri, and Stefano Paraboschi. Run-Time Detection of Non-Terminating Active Rule Systems. In Proc. of the Conf. on Deductive and Object-Oriented Databases, DOOD’ 95, LNCS 1013, pages 38–54, Singapore, December 1995.
Elena Baralis, Stefano Ceri, and Stefano Paraboschi. Modularization Techniques for Active Rules Design. ACM Transactions on Database Systems, 21(1):1–29, March 1996.
Elena Baralis, Stefano Ceri, and Jennifer 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, August 1993. Springer-Verlag, Berlin.
Emmanuel Benazet, Hervé Guehl, and Mokrane Bouzeghoub. VITAL: a Visual Tool for Analysis of Rules Behavior in Active Databases. In Timos Sellis, editor, Proc. of the Second Workshop on Rules in Databases Systems, LNCS 985, pages 182–196, Athens, Greece, September 1995.
Elena Baralis and Jennifer Widom. Better Static Analysis for Active Database Systems. Submitted for publication.
Elena Baralis and Jennifer Widom. An Algebraic Approach to Rule Analysis in Expert Database Systems. In Proc. Twentieth Intl. Conf. on Very Large Data Bases, pages 475–486, Santiago, Chile, September 1994.
Stefano Ceri and Jennifer Widom. Deriving Production Rules for Constraint Maintenance. In Dennis McLeod, Ron Sacks-Davis, and Hans Schek, editors, Proc. Sixteenth Int’l Conf. on Very Large Data Bases, pages 566–577, Brisbane, Australia, August 1990.
ISO-ANSI Working Draft: Database Language/SQL Foundation, August 1994. Document DBL:RIO-004 and X3H2-94-329.
A.P. Karadimce and Susan D. Urban. Diagnosing Anomalous Rule Behavior in Databases with Integrity Maintenance Production Rules. In Proc. Third Int. Workshop on Foundations of Models and Languages for Data and Objects, pages 77–102, Aigen, Austria, September 1991. Technische Universitaat Clausthal.
A.P. Karadimce and Susan 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, pages 156–162, Houston, Texas, February 1994.
A.P. Karadimce and Susan D. Urban. Refined Triggering Graphs: A Logic-Based Approach to Termination Analysis in an Object-Oriented Database. In Proc. Twelfth Intl. Conference on Data Engineering, pages 384–391, New Orleans, Louisiana, February 1996.
Oracle Corporation, 500 Oracle Parkway, Redwood City CA 94065. Oracle 7 Server SQL Language Reference Manual, December 1992. Part Number 778-70.
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, November 1993.
T. Weik and A. Heuer. An Algorithm for the Analysis of Termination of Large Trigger Sets in an OODBMS. In Proceedings of the International Workshop on Active and Real-Time Databases Systems, Skövde, Sweden, June 1995.
Y. Zhou and M. Hsu. A Theory for Rule Triggering Systems. In Francois Bancilhon, Costantino Thanos, and Dennis Tsichritzis, editors, Proc. Second Intl. Conf. on Extending Database Technology, volume 416, pages 407–421, Venice, Italy, March 1990. Lecture Notes in Computer Science.
Detlef Zimmer, Axel Meckenstock, and Rainer Unland. Using Petri Nets for Rule Termination Analysis. In Proc. of Workshop on Databases: Active and Real-Time, Rockville, Maryland, November 1996.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Baralis, E. (1999). Rule Analysis. In: Paton, N.W. (eds) Active Rules in Database Systems. Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-8656-6_3
Download citation
DOI: https://doi.org/10.1007/978-1-4419-8656-6_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-6448-4
Online ISBN: 978-1-4419-8656-6
eBook Packages: Springer Book Archive