Verify updating trigger correctness

6Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.
Get full text

Abstract

One of the major applications of trigger rules is to maintain database integrity. However, since trigger rules, like computer programs, may not be written correctly, it is important to have tools to verify the correctness. Generally, this is an undecidable problem. Only few works exist on this problem. However, most of these works either depend on human inspection, or incur a run-time overhead. In this paper, we introduce a new approach which does not depend on any human judgment nor any run-time monitoring. The trigger rules we are checking are those trigger rules which update object properties but do not insert any new object nor destroy an existing object. The constraints in our paper do not have any existential quantifier. If our method returns "yes", we can guarantee that the set of trigger rules are written correctly to enforce the given constraint.

Cite

CITATION STYLE

APA

Lee, S. Y., & Ling, T. W. (1999). Verify updating trigger correctness. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1677, pp. 382–391). Springer Verlag. https://doi.org/10.1007/3-540-48309-8_36

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free