發送短信 : Termination and integrity correctness of trigger rules /