Author:
Lee Sin-Yeung,Ling Tok-Wang
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. J. Widom A. Aiken and J.M. Hellerstein. Behavior of database production rules: Termination, conuence, and observable determinism. In SIGMOD, pages 59–68, June 1992. San Diego.
2. S.D. Urban A.P. Karadimce. Refined trigger graphs: A logic-based approach to termination analysis in an active object-oriented database. In ICDE, pages 384–391, 1996. New Orleans.
3. S. Ceri E. Baralis and S. Paraboschi. Improved rule analysis by means of triggering and activation graphs. In RIDS, pages 165–181, 1995.
4. S. Ceri E. Baralis and S. Paraboschi. Run-time detection of non-terminating active rule systems. In DOOD, pages 38–54, 1995. Singapore.
5. S. Ceri E. Baralis and S. Paraboschi. Compile-time and runtime analysis of active behaviors. In IEEE Transactions on Knowledge and Data Engineering, pages 353–370, May/June 1998.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Trigger2B: A Tool Generating Event-B Models from Database Triggers;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2021
2. Modeling and Verifying DML Triggers Using Event-B;Intelligent Information and Database Systems;2013