public inbox for [email protected]  

help / color / mirror / Atom feed

From: Joel Jacobson <[email protected]>
To: pgsql-hackers <[email protected]>
Cc: Arne Roland <[email protected]>
Cc: Anders Granlund <[email protected]>
Cc: Andreas Karlsson <[email protected]>
Cc: Vik Fearing <[email protected]>
Subject: Re: Key joins
Date: Fri, 29 May 2026 07:08:47 +0200
Message-ID: <[email protected]> (raw)
In-Reply-To: <[email protected]>
References: <[email protected]>
	<[email protected]>

On Fri, May 29, 2026, at 00:13, Joel Jacobson wrote:
> On Thu, May 28, 2026, at 20:47, Joel Jacobson wrote:
>> Hi hackers,
>>
>> This patch implements a new SQL language feature, that we intent to
>> submit as a Change Proposal to the WG 3 SQL committee for the next
>> meeting in Stockholm in June.  We would greatly appreciate any feedback
>> from the community.
...
>> The attached Discussion paper has also been published at https://keyjoin.org
>> with all examples in the paper runnable in the browser using a patched PGLite.

v3 is mostly a rebase over recent master changes.

0001: Serialize routine definition changes with dependency recording
0002: Implement FOR KEY join support
0003: Add information_schema.view_constraint_usage

Changes from v2:

* 0001 was reworked after 2fbb211 added generic dependency locking to
  master.  The patch now only keeps CREATE OR REPLACE FUNCTION /
  ALTER FUNCTION serialization with dependency recording.  This also
  matches the wording change from e2b3573.

* 0002 race tests now expect the generic dependency-locking error path,
  handle stale dependency lookups during proof revalidation, and avoid
  timing-dependent deadlock/injection-point output in the function and
  operator prelock tests.

* cfbot showed the ICU-dependent nondeterministic-collation tests in v2
  failed when such collations were unavailable. Moved to a separate guarded
  key_join_icu test.

* 0003 is unchanged.

/Joel

Attachments:

  [application/x-gzip] v3-0003-Add-information_schema.view_constraint_usage.patch.gz (2.9K, ../[email protected]/2-v3-0003-Add-information_schema.view_constraint_usage.patch.gz)
  download

  [application/x-gzip] v3-0002-Implement-FOR-KEY-join-support.patch.gz (175.0K, ../[email protected]/3-v3-0002-Implement-FOR-KEY-join-support.patch.gz)
  download

  [application/x-gzip] v3-0001-Serialize-routine-definition-changes-with-depende.patch.gz (1.9K, ../[email protected]/4-v3-0001-Serialize-routine-definition-changes-with-depende.patch.gz)
  download

view thread (26+ messages)  latest in thread

reply

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: [email protected]
  Cc: [email protected], [email protected], [email protected], [email protected], [email protected]
  Subject: Re: Key joins
  In-Reply-To: <[email protected]>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox