A transação é revertida. Mas ainda usará um número de uma sequência, na qual se baseiam os valores de incremento automático. Isso ocorre por design e evita bloqueios duradouros, o que mataria o desempenho da execução paralela.
Existem algumas soluções alternativas:
