9.16. Функции для работы с последовательностями
В этом разделе описаны функции для работы с объектами, представляющими последовательности. Такие объекты (также называемыми генераторами последовательностей или просто последовательностями) являются специальными таблицами из одной строки и создаются командой CREATE SEQUENCE. Используются они обычно для получения уникальных идентификаторов строк таблицы. Функции, перечисленные в Таблице 9.47, предоставляют простые и безопасные для параллельного использования методы получения очередных значений таких последовательностей.
Таблица 9.47. Функции для работы с последовательностями
| Функция | Тип результата | Описание |
|---|---|---|
| bigint | Выдаёт значение заданной последовательности, которое было возвращено при последнем вызове функции nextval |
| bigint | Выдаёт значение любой последовательности, которое было возвращено при последнем вызове функции nextval |
| bigint | Продвигает последовательность к следующему значению и возвращает его |
| bigint | Устанавливает текущее значение последовательности |
| bigint | Устанавливает текущее значение последовательности и флаг is_called, указывающий на то, что это значение использовалось |
Последовательность, к которой будет обращаться одна из этих функций, определяется аргументом regclass, задающим просто OID последовательности в системном каталоге pg_class. Вычислять этот OID вручную не нужно, так как процедура ввода данных regclass автоматически выполнит эту работу за вас. Просто запишите имя последовательности в апострофах, чтобы оно выглядело как строковая константа. Для совместимости с обычными именами SQL эта строка будет переведена в нижний регистр, если только она не заключена в кавычки. Например:
nextval('foo') обращается к последовательности foo
nextval('FOO') обращается к последовательности foo
nextval('"Foo"') обращается к последовательности FooПри необходимости имя последовательности можно дополнить именем схемы:
nextval('myschema.foo') обращается к myschema.foo
nextval('"myschema".foo') то же самое
nextval('foo') ищет foo в пути поиска Подробнее тип regclass описан в Разделе 8.18.
Примечание
В PostgreSQL до версии 8.1 аргументы этих функций имели тип text, а не regclass, и поэтому описанное выше преобразование текстовой строки в OID имело место при каждом вызове функции. Это поведение сохраняется и сейчас для обратной совместимости, но сейчас оно реализовано как неявное приведение типа text к типу regclass перед вызовом функции.
Когда вы записываете аргумент функции, работающей с последовательностью, как текстовую строку в чистом виде, она становится константой типа regclass. Так как фактически это будет просто значение OID, оно будет привязано к изначально идентифицированной последовательности, несмотря на то, что она может быть переименована, перенесена в другую схему и т. д. Такое «раннее связывание» обычно желательно для ссылок на последовательности в значениях столбцов по умолчанию и представлениях. Но иногда возникает необходимость в «позднем связывании», когда ссылки на последовательности распознаются в процессе выполнения. Чтобы получить такое поведение, нужно принудительно изменить тип константы с regclass на text:
nextval('foo'::text) foo распознаётся во время выполненияЗаметьте, что версии PostgreSQL до 8.1 поддерживали только позднее связывание, так что это может быть полезно и для совместимости со старыми приложениями.
Конечно же, аргументом таких функций может быть не только константа, но и выражение. Если это выражение текстового типа, неявное приведение типов повлечёт разрешение имени во время выполнения.
Ниже описаны все функции, предназначенные для работы с последовательностями:
nextvalПродвигает последовательность к следующему значению и возвращает его. Это атомарная операция: если
nextvalвызывается одновременно в нескольких сеансах, в результате каждого вызова будут гарантированно получены разные значения.Если последовательность создаётся с параметрами по умолчанию, успешные вызовы
nextvalполучают очередные значения по возрастанию, начиная с 1. Другое поведение можно получить с помощью специальных параметров в команде CREATE SEQUENCE; подробнее это описано на странице описания команды.Этой функции требуется право
USAGEилиUPDATEдля последовательности.currvalВозвращает значение, выданное при последнем вызове
nextvalдля этой последовательности в текущем сеансе. (Если в данном сеансеnextvalни разу не вызывалась для данной последовательности, возвращается ошибка.) Так как это значение ограничено рамками сеанса, эта функция выдаёт предсказуемый результат вне зависимости от того, вызвалась ли впоследствииnextvalв других сеансах или нет.Этой функции требуется право
USAGEилиSELECTдля последовательности.lastvalВозвращает значение, выданное при последнем вызове
nextvalв текущем сеансе. Эта функция подобнаcurrval, но она не принимает в параметрах имя последовательности, а обращается к той последовательности, для которой вызываласьnextvalв последний раз в текущем сеансе. Если в текущем сеансе функцияnextvalещё не вызывалась, при вызовеlastvalпроизойдёт ошибка.Этой функции требуется право
USAGEилиSELECTдля последней использованной последовательности.setvalСбрасывает счётчик последовательности. В форме с двумя параметрами устанавливает для последовательности заданное значение поля
last_valueи значениеtrueдля флагаis_called, показывающего, что при следующем вызовеnextvalпоследовательность должна сначала продвинуться к очередному значению, которое будет возвращено. При этомcurrvalтакже возвратит заданное значение. В форме с тремя параметрами флагуis_calledможно присвоитьtrueилиfalse. Со значениемtrueона действует так же, как и форма с двумя параметрами. Если же присвоить этому флагу значениеfalse, первый вызовnextvalпосле этого вернёт именно заданное значение, а продвижение последовательности произойдёт при последующем вызовеnextval. Кроме того, значение, возвращаемоеcurrvalв этом случае, не меняется. Например,SELECT setval('foo', 42); Следующий вызовnextvalвернёт 43 SELECT setval('foo', 42, true); То же самое SELECT setval('foo', 42, false); Следующий вызовnextvalвернёт 42Результатом самой функции
setvalбудет просто значение её второго аргумента.Этой функции требуется право
UPDATEдля последовательности.
Внимание
Во избежание блокирования параллельных транзакций, пытающихся получить значения одной последовательности, значение, выданное функцией nextval, не высвобождается для повторного использования, если вызывающая транзакция впоследствии прерывается. Это означает, что в случае сбоев базы данных или прерывания транзакций в последовательности задействованных значений могут появляться пропуски. Пропуски могут появиться и без прерывания транзакции. Например, команда INSERT с предложением ON CONFLICT вычислит кортеж, претендующий на добавление, произведя все требуемые вызовы nextval, прежде чем выявит конфликты, которые могут привести к отработке правил ON CONFLICT вместо добавления. Таким образом, объекты последовательностей PostgreSQL не годятся для получения непрерывных последовательностей.
В том же ключе изменения состояния последовательности, произведённые функцией setval, сразу же становятся видимыми для других транзакций и не отменяются при откате транзакции, вызвавшей эту функцию.
Если кластер базы прерывает работу до фиксации транзакции, содержащей вызов функции nextval или setval, изменение состояния последовательности может не попасть в постоянное хранилище, поэтому неизвестно, какое состояние будет иметь последовательность после перезапуска кластера: исходное или изменённое. Это не создаёт проблем при использовании последовательности внутри базы данных, так как другие изменения незафиксированных транзакций также не будут видны. Однако если значение последовательности будет сохраняться и использоваться вне базы данных, следует предварительно убедиться в том, что вызов функции nextval успешно зафиксирован.
9.16. Sequence Manipulation Functions
This section describes functions for operating on sequence objects, also called sequence generators or just sequences. Sequence objects are special single-row tables created with CREATE SEQUENCE. Sequence objects are commonly used to generate unique identifiers for rows of a table. The sequence functions, listed in Table 9.47, provide simple, multiuser-safe methods for obtaining successive sequence values from sequence objects.
Table 9.47. Sequence Functions
| Function | Return Type | Description |
|---|---|---|
| bigint | Return value most recently obtained with nextval for specified sequence |
| bigint | Return value most recently obtained with nextval for any sequence |
| bigint | Advance sequence and return new value |
| bigint | Set sequence's current value |
| bigint | Set sequence's current value and is_called flag |
The sequence to be operated on by a sequence function is specified by a regclass argument, which is simply the OID of the sequence in the pg_class system catalog. You do not have to look up the OID by hand, however, since the regclass data type's input converter will do the work for you. Just write the sequence name enclosed in single quotes so that it looks like a literal constant. For compatibility with the handling of ordinary SQL names, the string will be converted to lower case unless it contains double quotes around the sequence name. Thus:
nextval('foo') operates on sequence foo
nextval('FOO') operates on sequence foo
nextval('"Foo"') operates on sequence Foo
The sequence name can be schema-qualified if necessary:
nextval('myschema.foo') operates on myschema.foo
nextval('"myschema".foo') same as above
nextval('foo') searches search path for foo
See Section 8.18 for more information about regclass.
Note
Before PostgreSQL 8.1, the arguments of the sequence functions were of type text, not regclass, and the above-described conversion from a text string to an OID value would happen at run time during each call. For backward compatibility, this facility still exists, but internally it is now handled as an implicit coercion from text to regclass before the function is invoked.
When you write the argument of a sequence function as an unadorned literal string, it becomes a constant of type regclass. Since this is really just an OID, it will track the originally identified sequence despite later renaming, schema reassignment, etc. This “early binding” behavior is usually desirable for sequence references in column defaults and views. But sometimes you might want “late binding” where the sequence reference is resolved at run time. To get late-binding behavior, force the constant to be stored as a text constant instead of regclass:
nextval('foo'::text) foo is looked up at runtime
Note that late binding was the only behavior supported in PostgreSQL releases before 8.1, so you might need to do this to preserve the semantics of old applications.
Of course, the argument of a sequence function can be an expression as well as a constant. If it is a text expression then the implicit coercion will result in a run-time lookup.
The available sequence functions are:
nextvalAdvance the sequence object to its next value and return that value. This is done atomically: even if multiple sessions execute
nextvalconcurrently, each will safely receive a distinct sequence value.If a sequence object has been created with default parameters, successive
nextvalcalls will return successive values beginning with 1. Other behaviors can be obtained by using special parameters in the CREATE SEQUENCE command; see its command reference page for more information.This function requires
USAGEorUPDATEprivilege on the sequence.currvalReturn the value most recently obtained by
nextvalfor this sequence in the current session. (An error is reported ifnextvalhas never been called for this sequence in this session.) Because this is returning a session-local value, it gives a predictable answer whether or not other sessions have executednextvalsince the current session did.This function requires
USAGEorSELECTprivilege on the sequence.lastvalReturn the value most recently returned by
nextvalin the current session. This function is identical tocurrval, except that instead of taking the sequence name as an argument it refers to whichever sequencenextvalwas most recently applied to in the current session. It is an error to calllastvalifnextvalhas not yet been called in the current session.This function requires
USAGEorSELECTprivilege on the last used sequence.setvalReset the sequence object's counter value. The two-parameter form sets the sequence's
last_valuefield to the specified value and sets itsis_calledfield totrue, meaning that the nextnextvalwill advance the sequence before returning a value. The value reported bycurrvalis also set to the specified value. In the three-parameter form,is_calledcan be set to eithertrueorfalse.truehas the same effect as the two-parameter form. If it is set tofalse, the nextnextvalwill return exactly the specified value, and sequence advancement commences with the followingnextval. Furthermore, the value reported bycurrvalis not changed in this case. For example,SELECT setval('foo', 42); Nextnextvalwill return 43 SELECT setval('foo', 42, true); Same as above SELECT setval('foo', 42, false); Nextnextvalwill return 42The result returned by
setvalis just the value of its second argument.This function requires
UPDATEprivilege on the sequence.
Caution
To avoid blocking concurrent transactions that obtain numbers from the same sequence, the value obtained by nextval is not reclaimed for re-use if the calling transaction later aborts. This means that transaction aborts or database crashes can result in gaps in the sequence of assigned values. That can happen without a transaction abort, too. For example an INSERT with an ON CONFLICT clause will compute the to-be-inserted tuple, including doing any required nextval calls, before detecting any conflict that would cause it to follow the ON CONFLICT rule instead. Thus, PostgreSQL sequence objects cannot be used to obtain “gapless” sequences.
Likewise, sequence state changes made by setval are immediately visible to other transactions, and are not undone if the calling transaction rolls back.
If the database cluster crashes before committing a transaction containing a nextval or setval call, the sequence state change might not have made its way to persistent storage, so that it is uncertain whether the sequence will have its original or updated state after the cluster restarts. This is harmless for usage of the sequence within the database, since other effects of uncommitted transactions will not be visible either. However, if you wish to use a sequence value for persistent outside-the-database purposes, make sure that the nextval call has been committed before doing so.