From: Tom Lane <tgl@sss.pgh.pa.us>
To: Holger Jakobs <holger@jakobs.com>
Cc: [PGSQL-ADMIN-LIST] <pgsql-admin@postgresql.org>
Subject: Re: Domain checks not always working when used in compound type
Date: Fri, 29 Dec 2023 14:49:26 -0500
Message-ID: <3236280.1703879366@sss.pgh.pa.us> (raw)
In-Reply-To: <d2d319cd-ddb9-a94a-7e2a-1879a6c52e64@jakobs.com>
References: <d2d319cd-ddb9-a94a-7e2a-1879a6c52e64@jakobs.com>
Holger Jakobs <holger@jakobs.com> writes:
> -- Using the domain within a compound type. The NOT NULL constraint
> should be
> -- inherited from the domain, therefore not repeated here for column a.
> CREATE TYPE compound_ab AS (
> a domain_a,
> b varchar(10)
> );
You are assuming in effect that a simple NULL value for a composite
type is the same thing as ROW(NULL, NULL). They are not quite the
same, and one way in which they are not is that we don't consider
field-level constraints when deciding if a simple NULL value is legal
for the composite -- it always is. Thus
regression=# select null::compound_ab;
compound_ab
-------------
(1 row)
regression=# select row(null, null)::compound_ab;
ERROR: domain domain_a does not allow null values
The SQL spec itself is pretty schizophrenic about whether ROW(NULL, NULL)
is equivalent to bare NULL. This is how we've chosen to interpret it.
I'll freely admit that there's some implementation considerations
involved in that choice, but we're unlikely to revisit it.
If you don't want things to work like this, you could attach a NOT
NULL constraint to the test1.ab column (as well as having the domain
constraint).
regards, tom lane
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: pgsql-admin@postgresql.org
Cc: tgl@sss.pgh.pa.us, holger@jakobs.com
Subject: Re: Domain checks not always working when used in compound type
In-Reply-To: <3236280.1703879366@sss.pgh.pa.us>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox