public inbox for [email protected]  

help / color / mirror / Atom feed

From: Arne Roland <[email protected]>
To: Tomas Vondra <[email protected]>
To: Joel Jacobson <[email protected]>
To: Laurenz Albe <[email protected]>
To: pgsql-hackers <[email protected]>
Cc: Anders Granlund <[email protected]>
Cc: Andreas Karlsson <[email protected]>
Cc: Vik Fearing <[email protected]>
Subject: Re: Key joins
Date: Wed, 8 Jul 2026 02:19:30 +0200
Message-ID: <[email protected]> (raw)
In-Reply-To: <[email protected]>
References: <[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>

Hi,

the attached patch set is my attempt to break it up in a granular way. I 
will think about this further, but attached is my current patch, since 
it seems much easier to read.

The difference to before is that the base commit is further broken up 
into a series of it's own:

 1. Only prove FOR KEY joins between two base tables
 2. Mechanics for advanced error messages
 3. Derived tables
 4. GROUP BY and DISTINCT
 5. FILTER (WHERE ...)
 6. Tracking of referenced and referencing filter clauses

The later commits have only minor comment adjustments. The series should 
be easier to read now, since the individual steps with very different 
concerns are added one at a time. Please let me know, what you think.

Regards
Arne

On 2026-06-28 1:05 AM, Arne Roland wrote:
> Hello together,
>
> the main reason I'm re-positing is to fix a psql issue with the test 
> tty layout, to keep CF bot happy. The code itself wasn't altered there.
>
> I also did some rewording in some comments and altered the way how to 
> lock against concurrent inheritance schema changes in the 0003 patch.
>
> Regards
> Arne
>

Attachments:

  [application/gzip] v13-0010-Add-psql-tab-completion-for-FOR-KEY-joins.patch.gz (11.5K, ../[email protected]/3-v13-0010-Add-psql-tab-completion-for-FOR-KEY-joins.patch.gz)
  download

  [application/gzip] v13-0002-Add-error-details-to-FOR-KEY-join-rejections.patch.gz (7.9K, ../[email protected]/4-v13-0002-Add-error-details-to-FOR-KEY-join-rejections.patch.gz)
  download

  [application/gzip] v13-0004-Derive-key-join-proof-facts-from-GROUP-BY-and-DI.patch.gz (17.0K, ../[email protected]/5-v13-0004-Derive-key-join-proof-facts-from-GROUP-BY-and-DI.patch.gz)
  download

  [application/gzip] v13-0005-Add-a-join-local-FILTER-WHERE-.-clause.patch.gz (7.0K, ../[email protected]/6-v13-0005-Add-a-join-local-FILTER-WHERE-.-clause.patch.gz)
  download

  [application/gzip] v13-0008-Record-and-revalidate-FOR-KEY-proof-dependencies.patch.gz (79.1K, ../[email protected]/7-v13-0008-Record-and-revalidate-FOR-KEY-proof-dependencies.patch.gz)
  download

  [application/gzip] v13-0006-Prove-FOR-KEY-joins-whose-referenced-input-is-fi.patch.gz (40.4K, ../[email protected]/8-v13-0006-Prove-FOR-KEY-joins-whose-referenced-input-is-fi.patch.gz)
  download

  [application/gzip] v13-0009-Add-information_schema.view_constraint_usage.patch.gz (2.9K, ../[email protected]/9-v13-0009-Add-information_schema.view_constraint_usage.patch.gz)
  download

  [application/gzip] v13-0007-Serialize-concurrent-routine-definition-changes.patch.gz (1.7K, ../[email protected]/10-v13-0007-Serialize-concurrent-routine-definition-changes.patch.gz)
  download

  [application/gzip] v13-0003-Prove-FOR-KEY-joins-over-derived-inputs.patch.gz (38.8K, ../[email protected]/11-v13-0003-Prove-FOR-KEY-joins-over-derived-inputs.patch.gz)
  download

  [application/gzip] v13-0001-Add-FOR-KEY-join-clause-and-parse-time-proof.patch.gz (56.2K, ../[email protected]/12-v13-0001-Add-FOR-KEY-join-clause-and-parse-time-proof.patch.gz)
  download

view thread (26+ messages)

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], [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