Efficient Tabling Mechanisms for Transaction Logic Programs