La transaction est annulée. Mais il utilisera toujours un nombre d'une séquence, sur laquelle sont basées les valeurs qui s'incrémentent automatiquement. C'est par conception et empêche les verrous de longue durée, ce qui tuerait les performances d'exécution parallèle.
Il existe quelques solutions :