Abstract
Advances in the area of active database management systems require the development of a trigger design theory, which guides the user in the definition off well-behaving trigger based applications. The development of such a theory requires a formal definition of trigger semantics. This paper describes a framework for such a formalisation of triggers. That is, the parameters of trigger execution and the options for setting them are identified and discussed. Furthermore, the development of a trigger design theory is initiated with the formulation of a sufficient condition for trigger independence.
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
R. Agrawal, R. Cochrane, and B. Lindsay. On maintaining priorities an a production rule system. In Proceedings of the 3th International Workshop on DBPL, pages 479-487, 1991.
A. Albano, L. Cardelli, and R. Orsini. Galileo: a strongly typed, interactive conceptual language. In The ACM transactions on database systems, volume 10, 1985.
J.C.M. Baeten and P. Weyland. Process algebra. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1991.
H. Balsters, R.A. de By, and R. Zicari. Sets and constraints in an object-oriented data model. In Technical Report INF90-75 University Twente, The Netherlands, 1990.
C. Beeri and T. Milo. A model for active object oriented database. In Proceedings of the 17th International Conference on VLDB, pages 337-349, 1991.
L. Cardelli. A semantics of multiple inheritance. In Semantics of datatypes, LNCS 173, 1984.
S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In Proceedings of the 16th VLDB conference, pages 566-577, 1990.
S. Ceri and J. Widom. Deriving production rules for incremental view maintenance. In Proceedings of the 17th International Conference on VLDB, pages 577-589, 1991.
D. Cohen. Compiling complex database transition triggers. In SIGMOD RECORD, volume 18, pages 225–234, 1989.
U. Dayal, B. Blaustein, A. Buchmann, U. Chakravarthy, M. Hsu, R. Ledin, D.R. McCarthy, A. Rosenthal, S. Sarin, M.J. Carey, M. Livny, and R. Jauhari. The hipac project: Combining active databases and timing constraints. In SIGMOD RECORD, volume 17, pages 51–71, 1988.
U. Dayal, A. Buchmann, and D.R. McCarthy. Rules are object too: a knowledge model for an active object oriented dbms. In Proceedings of the Second International Workshop on Object-Oriented Database Systems, pages 129-143, 1988.
O. Diaz, N. Paton, and P. Gray. Rule management in object oriented databases a uniform approach. In Proceedings of the 17th International Conference on VLDB, pages 317-326, 1991.
N. Gehani and H.V. Jagadish. Ode as an active database: Constraints and triggers. In Proceedings of the 17th International Conference on VLDB, pages 327-336, 1991.
E.N. Hanson. An initial report on the design of ariel: A dbms with an integrated production rule system. In SIGMOD RECORD, volume 18, pages 12–19, 1989.
R. Hull and D. Jacobs. Language constructs for programming active databases. In Proceedings of the 17th International Conference on VLDB, pages 455-467, 1991.
Y.E. Ioannidis and T.K. Sellis. Conflict resolution of rules assigning values to virtual attributes. In SIGMOD RECORD, volume 18, pages 205–214, 1989.
D. Jacobs and R. Hull. Database programming with delayed updates. In Proceedings of the 3th International Workshop on DBPL, pages 359-371, 1991.
K.M. Kahn and V.A. Saraswat. Actors a special case of concurrent constraint programming. In OOP SLA 90, 1990.
M.L. Kersten. Goblin a dbpl designed for advanced database applications. In DEXA 91, 1991.
A.M. Kotz, K.R. Dittrich, and J.A. Mulle. Supporting semantics rules by a generalized event/trigger mechanism. In EDBT 90, pages 76–91, 1990.
C. Lecluse and P. Richard. The o2 database programming language. In Proceedings of the 15th VLDB conference, pages 411-422, 1989.
B. Nixon, L. Chung, D. Lauzon, A. Borgida, J. MYlopoulos, and M. Stanley. Implementation of a compiler for a semantic data model: Experiences with taxis. In Proceedings of the SIGMOD, pages 118-131, 1987.
A.P.J.M. Siebes, M.H. van der Voort, and C.J.E. Thieme. Independence. Technical report, CWI technical report, 1992.
E. Simon and C. deMaindreville. Deciding whether a production rule is relational computable. In ICDT 88, 1988.
M. Stonebraker, E. Hanson, and C.H. Hong. The design of the postgres rule system. In Readings in Database Systems, pages 556-565, 1988.
M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On rules procedures, caching and views in database systems. In Proceedings of the ACM SIGMOD conference, pages 281-290, 1990.
M.H. van der Voort and M.L. Kersten. Facets of database triggers. Technical report, CWI technical report: CS-R9122, 1991.
J. Widom and S. Fnkelstein. Set-oriented production rules in relational database systems. In Proceedings of the ACM Sigmod conference, pages 259-270, 1990.
Y. Zhou and M. Hsu. A theory for rule triggering systems. In Advances in Database Technology: EDBT 90, pages 407–422, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag/Wien
About this paper
Cite this paper
Siebes, A.P.J.M., van der Voort, M.H., Kersten, M.L. (1992). Towards a design theory for database triggers. In: Tjoa, A., Ramos, I. (eds) Database and Expert Systems Applications. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7557-6_58
Download citation
DOI: https://doi.org/10.1007/978-3-7091-7557-6_58
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82400-9
Online ISBN: 978-3-7091-7557-6
eBook Packages: Springer Book Archive