Message-ID: <020101c3b7b2$a1a913e0$7201a8c0@mst1x5r347kymb>
From: "Iain" <iain@mst.co.jp>
To: "Burr, Colin" <CBurr@herald.com>, <pgsql-sql@postgresql.org>
References: <7D8D2AE3E5A9DB4C8D78DE0F950ABB510BDC3F56@miaxch01.herald.com>
Subject: Re: Bug: Sequence generator insert
Date: Mon, 1 Dec 2003 11:27:13 +0900
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit

Hi Colin,

You have done a nice job of demonstrating the documented behaviour of
sequences.

Sequences are designed for speed and high concurrency. They do not guarantee
contiguous numbers and are not included in any transaction as I understand
it.

regards
Iain
----- Original Message ----- 
From: "Burr, Colin" <CBurr@herald.com>
To: <pgsql-sql@postgresql.org>
Sent: Wednesday, November 26, 2003 8:37 AM
Subject: [SQL] Bug: Sequence generator insert


> Dear Sir,
> I found a sequence generator software bug associated with duplicate key
> inserts that may be of interest to you.
>
> I first created a table with a primary key based on a sequence generator.
> The following script provides an example.
>
> CREATE SEQUENCE "id_seq" start 1 increment 1 maxvalue 2147483647 minvalue
1
> cache 1;
> REVOKE ALL on "id_seq" from PUBLIC;
> GRANT ALL on "id_seq" to "administrator";
>
> CREATE TABLE "example" (
>         "id" integer DEFAULT nextval('id_seq'::text) NOT NULL,
>         "colum_name" character varying(15) NOT NULL,
>         Constraint "ex_pkey" Primary Key ("id")
> );
> REVOKE ALL on "example" from PUBLIC;
> GRANT ALL on "example" to "administrator";
>
> When I tried to insert a record into the table where a duplicate record
> already exists, predictably, the insert fails and the following error is
> generated:
>
>           'ERROR:  Cannot insert a duplicate key into unique index
ex_pkey'
>
> However, even though the new record failed to be inserted into the table,
> the sequence generator was still updated.
>
> The sequence generator should only be updated if the record is
successfully
> inserted into the table, and should not be updated if the insert fails.
>
>
> Sincerely yours,
>
> Colin Burr
>
>
> ---------------------------(end of broadcast)---------------------------
> TIP 7: don't forget to increase your free space map settings