Abstract
The powerful functionality that active mechanisms add to database management systems presents, besides many advantages, a number of problems related to the control of their behavior. This paper deals with one of these problems: the termination of rule execution. We explain the termination aspect and the aim of termination analysis. Then, we present our approach to investigating the termination of rule execution. In contrast to others, this approach also addresses expressive rule languages as they have been proposed for various recent active database management system prototypes.
Preview
Unable to display preview. Download preview PDF.
References
Aiken A., Widom J., Hellerstein J.M.; Behaviour of Database Production Rules: Termination, Confluence and Observable Determinism; Proc. of the ACM SIG-MOD Intl. Conf. on Management of Data, San Diego, June 92.
Baralis E., Widom J.; An Algebraic Approach to Rule Analysis in Expert Database Systems; Proc. of the 20th VLDB Conf., Santiago, Chile 94.
Baralis E., Ceri S., Paraboschi S.; Improved Rule Analysis by Means of Triggering and Activation Graphs; Proc. of 2nd Intl. Workshop on Rules in Database Systems, RIDS `95, Athens, Greece, September 95.
Baralis E., Ceri S., Paraboschi S.; Run-Time Detection of Non-Terminating Active Rule Systems; Proc. of the 4th Intl. Conf on Deductive and Object-Oriented Databases, DOOD'95, Singapore, December 95.
Buchmann A.P, Blakeley J., Zimmermann J.A., Wells D.L.: Building an Integrated Active OODBMS: Requirements, Architecture, and Design Decisions; Proc. of the 11th Intl. Conf. on Data Engineering, Taipei, Taiwan, March 95.
Chakravarthy S., Krishnaprasad V, Tamizuddin Z., Badani R.H.; ECA Rule Integration into an OODBMS: Architecture and Implementation; Proc. of the 11th Intl. Conf. on Data Engineering, Taipei, Taiwan, March 95.
Collet C., Coupaye T., Svensen T.; NAOS: Efficient and Modular Reactive Capabilities in an Object-Oriented Database System; Proc. of the 20th VLDB Conf., Santiago, Chile, September 94.
Dayal U.; Active Database Management Systems; Proc. of the 3rd Intl. Conf. on Data and Knowledge Bases, Jerusalem, 88.
Gatziu S., Dittrich K.R; Events in an Active Object-Oriented Database System; Proc. of the 1st Intl. Workshop on Rules in Database Systems, Edinburgh, 93.
Gehani N.H., Jagadish H.V; Ode as an Active Database: Constraints and Triggers; Proc. 17th Intl. Conf. on Very Large Data Bases, Barcelona, September 91.
Karadimce A.P, Urban S.D.; Refined Triggering Graphs: A Logic Based Approach to Termination Analysis in an Active Object-Oriented Database; Proc. of the 12th Intl. Conf, on Data Engineering, ICDE 96, New Orleans, Louisiana, February 96.
Stonebraker M.L., Kemnithz G.; The POSTGRES Next-Generation Database Management System; Communications of the ACM, 34(10), October 91.
Tschudi M., Urban S., Dietrich S., Karadimce A.; An Implementation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis; Proc. of the 3rd Intl. Workshop on Rules in Database Systems, Skoevde, Sweden, June 97.
Van Assche F., Moulin B., Rolland C.; Object Oriented Approach in Information Systems; Proc. of the IFIP TC81WG8.1 Conf. on the Object Oriented Approach in Information Systems, Quebec City, Canada, October 91.
Widom J., Ceri S.; Active Database Systems: Triggers and Rules for Advanced Database Processing, Morgan-Kaufmann, San Francisco, California, 96.
Weik, T., Heuer, A.; An Algorithm for the Analysis of Termination of Large Trigger Sets in an OODBMS; Proc. of the 1st Intl. Workshop on Active and Real-Time Database Systems, Skoevde, Sweden, June 95.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vaduva, A., Gatziu, S., Dittrich, K.R. (1997). Investigating termination in active database systems with expressive rule languages. In: Geppert, A., Berndtsson, M. (eds) Rules in Database Systems. RIDS 1997. Lecture Notes in Computer Science, vol 1312. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63516-5_23
Download citation
DOI: https://doi.org/10.1007/3-540-63516-5_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63516-1
Online ISBN: 978-3-540-69588-2
eBook Packages: Springer Book Archive