3A.Aiken,J.Hellerstein,J.Widom.Static analysis techniques for predicting the behavior of database production rules.ACM Trans.Database Systems,1995,20(1):3～41
4E.Baralis,S.Ceri,et al.Compile-time and runtime analysis of active behaviors.IEEE Trans.Knowledge and Data Engineering,1998,10(3):353～370
5J.Bailey,Guozhu Dong,et al.On the decidability of the termination problem of active database system.Theoretical Computer Science,2004,311(1/3):389～437
6A.P.Karadimce,S.D.Urban.Refined triggering graph:A logic-based approach to termination analysis in an active objectoriented database.The Int'l Conf.Data Engineering (ICDE),New-Orlean,Louisiana,1996
7S.Y.Lee,T.W.Ling.A path removing technique for detecting trigger termination.The Int' l Conf.Extended Database Technology (EDBT),Valencia,Spain,1998
8E.Baralis,J.Widom.An algebraic approach to static analysis of active database rules.ACM Trans.Database Systems,2000,25(3):269～332
9S.Comai,L.Tanca.Termination and confluence by rule prioritization.IEEE Trans.Knowledge and Data Engineering,2003,15(2):257～270
