Re: Key joins

From: Arne Roland <arne(dot)roland(at)malkut(dot)net>
To: Joel Jacobson <joel(at)compiler(dot)org>, Tomas Vondra <tomas(at)vondra(dot)me>, Laurenz Albe <laurenz(dot)albe(at)cybertec(dot)at>, pgsql-hackers <pgsql-hackers(at)postgresql(dot)org>
Cc: Anders Granlund <anders(dot)granlund(dot)0(at)gmail(dot)com>, Andreas Karlsson <andreas(at)proxel(dot)se>, Vik Fearing <vik(at)chouppes(dot)com>
Subject: Re: Key joins
Date: 2026-07-14 04:55:26
Message-ID: cb01993a-c540-4c6c-9607-3788fa74e40a@malkut.net
Views: Whole Thread | Raw Message | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

Hi hackers,

the attached patch breaks up the stored element of the patch series. The
main commit only adds view support now, functions and policies come
later. Those follow up commits are fairly small, but I still prefer them
reading that after the massive store commit separately. It remains one
of our three big members of the series. Those are the base feature,
derived tables (RTE et al) and the store (view) commit.

I rebased the patch series to make it apply cleanly onto master. I
touched isolation tests, since we can't reply on latches the same way
anymore (cf.
https://www.postgresql.org/message-id/flat/aher0VsjJ8xeNgLq%40paquier.xyz)

Joel found a collation issue which is now fixed here too.

Regards
Arne

On 2026-07-11 11:52 PM, Joel Jacobson wrote:
> Nice. I've looked at all ten patches, and I like how you've broken it
> up.
>
> I note that src/backend/parser/parse_key_join.c is now "just" 1487 loc
> in 0001.
>
> /Joel

Attachment Content-Type Size
v14-0001-Add-FOR-KEY-join-clause-and-parse-time-proof.patch.gz application/gzip 56.1 KB
v14-0002-Add-error-details-to-FOR-KEY-join-rejections.patch.gz application/gzip 7.9 KB
v14-0003-Prove-FOR-KEY-joins-over-derived-inputs.patch.gz application/gzip 38.8 KB
v14-0004-Derive-key-join-proof-facts-from-GROUP-BY-and-DI.patch.gz application/gzip 17.0 KB
v14-0005-Add-a-join-local-FILTER-WHERE-.-clause.patch.gz application/gzip 7.1 KB
v14-0006-Prove-FOR-KEY-joins-whose-referenced-input-is-fi.patch.gz application/gzip 40.4 KB
v14-0007-Serialize-concurrent-routine-definition-changes.patch.gz application/gzip 1.7 KB
v14-0008-Record-and-revalidate-FOR-KEY-proof-dependencies.patch.gz application/gzip 79.0 KB
v14-0009-Extend-stored-FOR-KEY-proofs-to-SQL-routine-bodi.patch.gz application/gzip 7.8 KB
v14-0010-Extend-stored-FOR-KEY-proofs-to-row-level-securi.patch.gz application/gzip 6.1 KB
v14-0011-Add-information_schema.view_constraint_usage.patch.gz application/gzip 2.9 KB
v14-0012-Add-psql-tab-completion-for-FOR-KEY-joins.patch.gz application/gzip 11.5 KB

In response to

Browse pgsql-hackers by date

  From Date Subject
Previous Message Amit Kapila 2026-07-14 04:54:54 Re: sequencesync worker race with REFRESH SEQUENCES