Michael Gertz Specifying Reactive Integrity Control for Active Databases. 62-70 1994 RIDE-ADS db/conf/ride/ride94.html#Gertz94