Why & when you should use PostgreSQL deferred uniqueness constraints

Learn a trick that will allow you to manage item order in Postgres tables easier & faster.
When you want to ensure that a certain column in a table has unique values, what you usually do is create a UNIQUE constraint for the column (or e.g. for a pair of columns, when you want the uniqueness to apply to pairs of values in each tuple).
postgres=# CREATE TABLE numbers (number INTEGER, UNIQUE (number));
CREATE TABLE
postgres=# INSERT INTO numbers VALUES (0), (1), (2);
INSERT 0 3
Suppose that the number column represents an ordering, and you want all (or a subset of) tuples' index to be shifted by 1 to make way for a new item at a given index. Your first guess is probably this:
postgres=# UPDATE numbers SET number = number + 1;
ERROR: duplicate key value violates unique constraint "numbers_number_key"
DETAIL: Key (number)=(1) already exists.
Why did it fail? Because even though conceptually it would lead to the column's values of (1), (2), (3) - which would not violate the uniquenes constraing - the uniqueness constraint is checked immediately after updating each row. So, transitively, the column is briefly in a state of (1), (1), (2), which creates the error.
To make it work, we have to instruct the database to enforce this constraint at transaction commit time. Here's how to create the table with such setting default for this constraint:
postgres=# CREATE TABLE numbers (number INTEGER, UNIQUE (number) DEFERRABLE INITIALLY DEFERRED);
CREATE TABLE
postgres=# INSERT INTO numbers VALUES (0), (1), (2);
INSERT 0 3
postgres=# UPDATE numbers SET number = number + 1;
UPDATE 3
Clearly, it's working now. Read more on how to control the constraint's enforcing strategy on a per-transaction basis.
Related posts
Dive deeper into this topic with these related posts
You might also like
Discover more content from this category
Today's Advent of Code puzzle inspired me to create this TIL. It may sound trivial, but in fact, it's tricky if you are unfamiliar with the nuances of guards' functioning.
So you don’t know what’s the type of struct you’re passing somewhere? Maybe it can be one of few types and you have to distinguish them? Or any other reason… But it’s about checking the struct type. Just use one of the coolest Elixir features - pattern matching!
Hey! Have you ever wondered about tests running inside the IEx shell? For a long time, I was convinced that it’s not really possible. And as it turns out - that’s not really straightforward. You won’t easily find information about that in the documentation.
