Abstract
In this paper we describe an algorithm for the analysis of termination of a large set of triggers in an OODBMS. It is quite clear that, if the trigger mechanism is of sufficient complexity, the problem is undecidable. Yet, by the extensive use of object-oriented concepts, like derived classes, and lattice theory, we are able to give some sufficient conditions for termination which yield satisfying results. Another advantage of our approach is the uniform treatment of generic update operations on the one hand, and methods and abstract data types on the other.
Our algorithms are meant to be incorporated into a design tool which shows the rule designer conflicting subsets of rules. Then the designer can prove that the rules don’t pose a problem for himself, or he can remodel his rules to remove the conflict.
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
A. Aiken, J. Widom, and J.M. Hellerstein. Behavior of database production rules: Termination, confluence and observable determinism. In Proc. ACM-SIGMOD, San Diego, pages 59–68. ACM, May 1992.
E. Baralis and J. Widom. An algebraic approach to rule analysis in expert database systems. In Proceedings of the International Conference on VLDB, 1994.
M. Buchheit, M.A. Jeusfeld, W. Nutt, and M. Staudt. Subsump-tion between queries to object-oriented databases. Information Systems, 19(1):33–54, 1994.
A.P. Buchmann, H. Branding, T. Kudrass, and J. Zimmermann. Reach: A real-time active and heterogeneous mediator system. IEEE Bulletin of the TC on Data Engineering, 15(1-4):44–47, December 1992.
S. Ceri, P. Pratemali, S. Paraboschi, and L. Tanca. Constraint enforcement through production rules: Putting active databases to work. IEEE Bulletin of the TC on Data Engineering, 15(1-4):10–14, December 1992.
S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In Proc. 16. Int. Conf. on Very Large Databases, pages 566–577, August 1990.
S. Chakravarthy and Deepak Mishra. Snoop: An expressive event specification language for active databases. Technical Report UF-CIS-TR-93-007, University of Florida, Gainesville, FL 32611, March 1993.
U. Dayal and A. Buchmann et al. B. Blaustein. The HiPAC Project: Combining Active Databases and Timing Constraints. ACM SIGMOD Record, 17(1):51–70, 1988.
U. Dayal, A. Buchmann, and D. McCarthy. Rules are objects too: A knowledge model for an active object-oriented database system. In Proc. Int. Workshop on Object-Oriented Database Systems, 1988.
U. Dayal and McCarthy D. The architecture of an active database management system. In Proc. ACM-SIGMOD, pages 215–224, 1989.
O. Diaz and P. Gray N. Paton. Rule management in object-oriented databases: A uniform approach. In Proc. 17th International Conf. on Very Large Databases, Barcelona, Spain, September 1991.
S. Gatziu and K.R. Dittrich. Samos: an active object-oriented database system. IEEE Bulletin of the TC on Data Engineering, 15(l-4):23–26, December 1992.
S. Gatziu and K.R. Dittrich. Eine Ereignissprache für das aktive, objektorientierte Datenbanksystem SAMOS. In Proc. BTW ′93, 1993.
S. Gatziu and K.R. Dittrich. Detecting composite events in active database systems using petri nets. In Proc. 4th Int. Workshop on Research Issues in Data Eng.: Active DBS, 1994.
S. Gatziu, A. Geppert, and K.R. Dittrich. Integrating active concepts into an object-oriented database system. In Proc. DBPL-3 workshop, August 1991.
N.H. Gehani and H.V. Jagadish. Active database facilities in ODE. IEEE Bulletin of the TC on Data Engineering, 15(1-4):19–22, December 1992.
M. Gertz. Specifying reactive integrity control for active databases. In Proc. 4th Int. Workshop on Research Issues in Data Eng.: Active DBS, 1994.
A. Heuer, J. Fuchs, and U. Wiebking. OSCAR: An object-oriented database system with a nested relational kernel. In Proc. of the 9th Int. Conf. on Entity-Relationship Approach, Lausanne, pages 95–110. Elsevier, October 1990.
A. Heuer and P. Sander. The LIVING IN A LATTICE rule language. Data and Knowledge Engineering, 9(3):249–286, 1993.
C. Hörner and A. Heuer. EXTREM — The structural part of an object-oriented database model. Informatik-Bericht 91/5, TU Clausthal, October 1991.
A. Karadimce and S.D. Urban. Conditional term rewriting as a formal basis for nalysis of active database rules. In Proceedings of the Fourth International Workshop on Research Issues in Data Engineering: RIDE-ADS, pages 156–162, 1994.
M. Stonebraker, The integration of rule systems and database systems. IEEE Transactions on Knowledge and Data Engineering, 4(5):415–423, October 1992.
M. Stonebraker. et al. On rules, procedures, cashing and views in database systems. In Proc. ACM SIGMOD Conference on Management of Data, pages 281–290. ACM New York, 1990.
J. Van den Bussche and A. Heuer. Using SQL with object-oriented databases. Information Systems, 18(7):461–487, 1993.
Leonie van der Voort and A. Siebes. Termination and confluence of rule execution. Proceedings of the 2nd Int. Conf. on Information and Knowledge Management, November 1993.
J. Widom. The starburst rule system: Language design, implementation, and applications. IEEE Bulletin of the TC on Data Engineering, 15(1-4):15–18, December 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 British Computer Society
About this paper
Cite this paper
Weik, T., Heuer, A. (1996). An Algorithm for the Analysis of Termination of Large Trigger Sets in an OODBMS. In: Berndtsson, M., Hansson, J. (eds) Active and Real-Time Database Systems (ARTDB-95). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3080-2_11
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3080-2_11
Publisher Name: Springer, London
Print ISBN: 978-3-540-19983-0
Online ISBN: 978-1-4471-3080-2
eBook Packages: Springer Book Archive