Towards a design theory for Database triggers.
Arno P. J. M. Siebes, M. H. van der Voort, Martin L. Kersten · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1992
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 wellbehaving 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.