Re: Key joins - Mailing list pgsql-hackers
Attachment
- v15-0004-Derive-key-join-proof-facts-from-GROUP-BY-and-DI.patch.gz
- v15-0003-Prove-FOR-KEY-joins-over-derived-inputs.patch.gz
- v15-0005-Prove-FOR-KEY-joins-whose-referenced-input-is-fi.patch.gz
- v15-0011-Add-psql-tab-completion-for-FOR-KEY-joins.patch.gz
- v15-0008-Extend-stored-FOR-KEY-proofs-to-SQL-routine-bodi.patch.gz
- v15-0006-Serialize-concurrent-routine-definition-changes.patch.gz
- v15-0007-Record-and-revalidate-FOR-KEY-proof-dependencies.patch.gz
- v15-0010-Add-information_schema.view_constraint_usage.patch.gz
- v15-0001-Add-FOR-KEY-join-clause-and-parse-time-proof.patch.gz
- v15-0002-Add-error-details-to-FOR-KEY-join-rejections.patch.gz
- v15-0009-Extend-stored-FOR-KEY-proofs-to-row-level-securi.patch.gz
pgsql-hackers by date: