да, все верно. Поведение эквивалентно последовательностям(sequence) в терминах баз данных и это дает 100% гарантию от повторения идентификаторов вводимых записей