La transacción se retrotrae. Pero aún utilizará un número de una secuencia, en la que se basan los valores que se incrementan automáticamente. Esto es por diseño y evita bloqueos de larga duración, lo que mataría el rendimiento de la ejecución en paralelo.
Hay algunas soluciones: