如何在Erlang Mnesia中生成自动增量Id

mnesia:create_table(id_table, [{attributes, record_info(fields, id_record)}, {disc_copies, [node()]}, {type, set}])

get_next_id() ->
    case mnesia:transaction(fun() ->
                                case mnesia:read(id_table, id_record, name) of
                                    [] ->
                                        mnesia:write(#id_record{name = name, value = 1});
                                    [{id_record, _, _, _, Value}] ->
                                        mnesia:write(#id_record{name = name, value = Value + 1})
                                end
                            end) of
        {atomic, _} ->
            {ok, Value} = mnesia:read(id_table, id_record, name),
            Value
    end.

Id = get_next_id()