Termination and integrity correctness of trigger rules - Lee, Joseph Sin Yeung (2000)