Over on [1], there was a question about why it wasn't possible to
create the following table:

CREATE TABLE foobar(
    id BIGINT NOT NULL PRIMARY KEY,
    baz VARCHAR NULL DEFAULT NULL
) PARTITION BY HASH(my_func(id));

The above is disallowed by 2 checks in DefineIndex().

1. If the partitioned key contains an expression we disallow the
addition of the constraint, per:

/*
* It may be possible to support UNIQUE constraints when partition
* keys are expressions, but is it worth it?  Give up for now.
*/
if (key->partattrs[i] == 0)
    ereport(ERROR,

2. We insist that the primary key / unique constraint contain all of
the columns that the partitioned key does.

We only mention #2 in the docs [2], but we don't mention anything
about if the columns can be part of a function call or expression or
not, per:

"Unique constraints (and hence primary keys) on partitioned tables
must include all the partition key columns. This limitation exists
because the individual indexes making up the constraint can only
directly enforce uniqueness within their own partitions; therefore,
the partition structure itself must guarantee that there are not
duplicates in different partitions."

The attached attempts to clarify these restrictions more accurately
based on the current code's restrictions.

If there's no objections or suggestions for better wording, I'd like
to commit the attached.

David


[1] 
https://www.postgresql.org/message-id/cah7vdhnf0edyzz3glpge3rsjlwwlhek7a_fiks9dpbt3dz_...@mail.gmail.com
[2] https://www.postgresql.org/docs/devel/ddl-partitioning.html
diff --git a/doc/src/sgml/ddl.sgml b/doc/src/sgml/ddl.sgml
index 3717d13fff..3384ba7de4 100644
--- a/doc/src/sgml/ddl.sgml
+++ b/doc/src/sgml/ddl.sgml
@@ -4174,12 +4174,13 @@ ALTER INDEX measurement_city_id_logdate_key
     <itemizedlist>
      <listitem>
       <para>
-       Unique constraints (and hence primary keys) on partitioned tables must
-       include all the partition key columns.  This limitation exists because
-       the individual indexes making up the constraint can only directly
-       enforce uniqueness within their own partitions; therefore, the
-       partition structure itself must guarantee that there are not
-       duplicates in different partitions.
+       To create a unique or primary key constraints on partitioned table, the
+       partition keys must not include any expressions or function calls and
+       the constraint's columns must include all of the partition key columns.
+       This limitation exists because the individual indexes making up the
+       constraint can only directly enforce uniqueness within their own
+       partitions; therefore, the partition structure itself must guarantee
+       that there are not duplicates in different partitions.
       </para>
      </listitem>
 

Reply via email to