أرسل هذا في رسالة قصيرة: Termination and integrity correctness of trigger rules /