PostgreSQLのシーケンスとその関連関数の使い方を深く解読する。

一、概要
シーケンスオブジェクト（シーケンスジェネレータともいう）は、CREATE SEQUEnceで作成された特殊な単一行表である。シーケンスオブジェクトは、通常、行または表のために一意の識別子を生成するために使用される。
二、シーケンスの作成
方法1：直接テーブルにフィールドタイプを指定するのはserialタイプです。

david=# create table tbl_xulie (
david(# id serial,
david(# name text);
NOTICE: CREATE TABLE will create implicit sequence "tbl_xulie_id_seq" for serial column "tbl_xulie.id"
CREATE TABLE
david=#

方法2：まずシリアル名を作成し、新しいテーブルで列の属性を指定してください。この列はintタイプが必要です。
シーケンスを作成する構文:

CREATE [ TEMPORARY | TEMP ] SEQUENCE name [ INCREMENT [ BY ] increment ]
  [ MINVALUE minvalue | NO MINVALUE ] [ MAXVALUE maxvalue | NO MAXVALUE ]
  [ START [ WITH ] start ] [ CACHE cache ] [ [ NO ] CYCLE ]
  [ OWNED BY { table.column | NONE } ]

例:

david=# create sequence tbl_xulie2_id_seq increment by 1 minvalue 1 no maxvalue start with 1;   
CREATE SEQUENCE
david=# 
david=# create table tbl_xulie2 (
david(# id int4 not null default nextval('tbl_xulie2_id_seq'),
david(# name text);
CREATE TABLE
david=# 

三、シーケンスを表示する

david=# \d tbl_xulie
             Table "public.tbl_xulie"
 Column | Type  |            Modifiers            
--------+---------+--------------------------------------------------------
 id   | integer | not null default nextval('tbl_xulie_id_seq'::regclass)
 name  | text  | 

david=# \d tbl_xulie2
             Table "public.tbl_xulie2"
 Column | Type  |            Modifiers            
--------+---------+---------------------------------------------------------
 id   | integer | not null default nextval('tbl_xulie2_id_seq'::regclass)
 name  | text  | 

david=#

シーケンスのプロパティを表示

david=# \d tbl_xulie_id_seq
   

 Sequence "public.tbl_xulie_id_seq"


 Column   | Type  |    Value    
---------------+---------+---------------------
 sequence_name | name  | tbl_xulie_id_seq
 last_value  | bigint | 1
 start_value  | bigint | 1
 increment_by | bigint | 1
 max_value   | bigint | 9223372036854775807
 min_value   | bigint | 1
 cache_value  | bigint | 1
 log_cnt    | bigint | 0
 is_cycled   | boolean | f
 is_called   | boolean | f
Owned by: public.tbl_xulie.id

david=# select * from tbl_xulie2_id_seq;

  sequence_name  | last_value | start_value | increment_by |   max_value   | min_value | cache_value | log_cnt | is_cycled | is_called 
-------------------+------------+-------------+--------------+---------------------+-----------+-------------+---------+-----------+-----------
 tbl_xulie2_id_seq |     1 |      1 |      1 | 9223372036854775807 |     1 |      1 |    0 | f     | f
(1 row)

四、シーケンス応用
4.1 INSERTコマンドでシーケンスを使用する

david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'David');   
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Sandy');
INSERT 0 1
david=# select * from tbl_xulie;

 id | name 
----+-------
 1 | David
 2 | Sandy
(2 rows)

4.2データ移動後のシーケンス更新

david=# truncate tbl_xulie;
TRUNCATE TABLE
david=# 
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Sandy');
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'David');
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Eagle');
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Miles');
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Simon');
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Rock'); 
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Peter');
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Sally');
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Nicole');
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Monica');
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Renee'); 
INSERT 0 1
david=# select * from tbl_xulie;

 

id | name 
----+--------
 15 | Sandy
 16 | David
 17 | Eagle
 18 | Miles
 19 | Simon
 20 | Rock
 21 | Peter
 22 | Sally
 23 | Nicole
 24 | Monica
 25 | Renee
(11 rows)

david=# copy tbl_xulie to '/tmp/tbl_xulie.sql';
COPY 11
david=# truncate tbl_xulie;
TRUNCATE TABLE
david=# alter sequence tbl_xulie_id_seq restart with 100;
ALTER SEQUENCE
david=# select currval('tbl_xulie_id_seq');
 currval 

---------
   25
(1 row)

david=# select nextval('tbl_xulie_id_seq');
 nextval 

---------
   100
(1 row)

david=# select nextval('tbl_xulie_id_seq');

 nextval 
---------
   101
(1 row)

david=# begin;
BEGIN
david=# copy tbl_xulie from '/tmp/tbl_xulie.sql';
COPY 11
david=# select setval('tbl_xulie_id_seq', max(id)) from tbl_xulie;
 setval 

--------
   25
(1 row)

david=# end;
COMMIT
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Flash');
INSERT 0 1
david=# select * from tbl_xulie;

 

id | name 
----+--------
 15 | Sandy
 16 | David
 17 | Eagle
 18 | Miles
 19 | Simon
 20 | Rock
 21 | Peter
 22 | Sally
 23 | Nicole
 24 | Monica
 25 | Renee
 26 | Flash
(12 rows)

david=# select nextval('tbl_xulie_id_seq');
 nextval 

---------
   27
(1 row)

五、シーケンス関数
次のシーケンス関数は、シーケンスオブジェクトから最新のシーケンス値を取得するための簡単かつ同時読み取りの安全な方法を提供します。
5.1次のシーケンス値を表示する

david=# select nextval('tbl_xulie_id_seq');
 nextval 

---------
    3
(1 row)

david=# select nextval('tbl_xulie_id_seq');
 nextval 

---------
    4
(1 row)

5.2シーケンスの最近の使用値を表示する

david=# select nextval('tbl_xulie_id_seq');
 nextval 

---------
    4
(1 row)

david=# select currval('tbl_xulie_id_seq');
 currval 

---------
    4
(1 row)

david=# select currval('tbl_xulie_id_seq');
 currval 

---------
    4
(1 row)

5.3シーケンスをリセットする
方法1：シーケンス関数を使用する

a. setval(regclass, bigint)

david=# truncate tbl_xulie;
TRUNCATE TABLE
david=# select setval('tbl_xulie_id_seq', 1);
 setval 

--------
   1
(1 row)

david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Sandy');         
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'David');   
INSERT 0 1
david=# select * from tbl_xulie;

 id | name 
----+-------
 2 | Sandy
 3 | David
(2 rows)

david=# select currval('tbl_xulie_id_seq');
 currval 

---------
    3
(1 row)

david=# select nextval('tbl_xulie_id_seq');

 nextval 
---------
    4
(1 row)

b. setval(regclass, bigint, boolean)

b.1 setval(regclass, bigint, true)

david=# truncate tbl_xulie;
TRUNCATE TABLE
david=# select setval('tbl_xulie_id_seq', 1, true);
 setval 

--------
   1
(1 row)

david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Sandy');
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'David');
INSERT 0 1
david=# select * from tbl_xulie;

 id | name 
----+-------
 2 | Sandy
 3 | David
(2 rows)

効果は同じa.setval(regclass，bigint)

b.2 setval(regclass, bigint, false)

david=# truncate tbl_xulie;
TRUNCATE TABLE
david=# select setval('tbl_xulie_id_seq', 1, false);
 setval 

--------
   1
(1 row)

david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Sandy');
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'David');
INSERT 0 1
david=# select * from tbl_xulie;

 id | name 
----+-------
 1 | Sandy
 2 | David
(2 rows)

方法二：シーケンスの変更
シーケンスの構文を変更する:

ALTER SEQUENCE name [ INCREMENT [ BY ] increment ]
  [ MINVALUE minvalue | NO MINVALUE ] [ MAXVALUE maxvalue | NO MAXVALUE ]
  [ START [ WITH ] start ]
  [ RESTART [ [ WITH ] restart ] ]
  [ CACHE cache ] [ [ NO ] CYCLE ]
  [ OWNED BY { table.column | NONE } ]
ALTER SEQUENCE name OWNER TO new_owner
ALTER SEQUENCE name RENAME TO new_name
ALTER SEQUENCE name SET SCHEMA new_schema

例:

david=# truncate tbl_xulie;
TRUNCATE TABLE
david=# alter sequence tbl_xulie_id_seq restart with 0;
ERROR: RESTART value (0) cannot be less than MINVALUE (1)
david=# alter sequence tbl_xulie_id_seq restart with 1;
ALTER SEQUENCE
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'David');
INSERT 0 1
david=# insert into tbl_xulie values (nextval('tbl_xulie_id_seq'), 'Sandy');
INSERT 0 1
david=# select * from tbl_xulie;

 

id | name 
----+-------
 1 | David
 2 | Sandy
(2 rows)

david=# select nextval('tbl_xulie_id_seq');
 nextval 

---------
    3
(1 row)

六、シーケンスの削除
構文:

DROP SEQUENCE [ IF EXISTS ] name [, ...] [ CASCADE | RESTRICT ]

テーブルフィールドがPGシーケンスに使用されている場合、直接削除できません。

david=# drop sequence tbl_xulie2_id_seq;
ERROR: cannot drop sequence tbl_xulie2_id_seq because other objects depend on it
DETAIL: default for table tbl_xulie2 column id depends on sequence tbl_xulie2_id_seq
HINT: Use DROP ... CASCADE to drop the dependent objects too.
david=# drop table tbl_xulie2;
DROP TABLE
david=# drop sequence tbl_xulie2_id_seq;
DROP SEQUENCE
david=# 

説明：シーケンスはテーブルを作る時にserialを指定して作成されます。この表を削除すると、対応するシーケンスも削除されます。
七、その他の説明
a.currvalは現在のセッションのシーケンス値を取得し、現在のセッションではその値は他のセッションがnextvalを取ったためには変化しない。変化するのは全体のラストです。value値は、現在のセッションでnextval値を読んだことがない場合、そのままcurrvalを読むとエラーが発生します。
b.シーケンスは表作成時にserialを指定して作成した場合、その表を削除すると、対応するシーケンスも削除されます。
c.表の主キーデータは表に関するシーケンスを使ってもいいし、他のシーケンスを使ってもいいですが、推奨されていません。PGのデフォルトは間違いないです。
d.複数のユーザに同じシーケンスの値を送信しても重複しないようにnextvalはrollbackではないが、setvalでリセットできます。
デフォルトのパラメータを持って作成されたシーケンスオブジェクトの場合、nextvalを呼び出すと、1から後の値を返します。他の挙動はCREATE SEQUEnceコマンド内の特殊パラメータを使用して取得できます。コマンド参照ページを参照して、より多くの情報を取得します。
e.同じシーケンスから数値を取得する現在のトランザクションがブロックされることを避けるために、nextvalは決してロールバックしません。つまり、一度数値が取られたら、それはもう使ったと考えられています。nextvalを呼び出した事務の後に退出しても同じです。これは、終了したトランザクションが、シーケンスに与えられた数値の中に「空洞」を残すことを意味する。setval操作も決して転ばない。