Chitta Baral Jorge Lobo Formal Characterization of Active Databases. 175-195 1996 conf/lid/1996 Logic in Databases db/conf/lid/lid96.html#BaralL96