Re: Pathify RHS unique-ification for semijoin planning

Richard Guo <guofenglinux@gmail.com>

From: Richard Guo <guofenglinux@gmail.com>

To: Alexandra Wang <alexandra.wang.oss@gmail.com>

Cc: Álvaro Herrera <alvherre@kurilemu.de>, PostgreSQL-development <pgsql-hackers@postgresql.org>, Tom Lane <tgl@sss.pgh.pa.us>, Andy Fan <zhihuifan1213@163.com>, wenhui qiu <qiuwenhuifx@gmail.com>

Date: 2025-08-04T02:08:08Z

Lists: pgsql-hackers

Commits

Same data as JSON: GET /api/v1/messages/:b64id/commits the thread's linked commits as JSON, with link sources. API reference →

Simplify relation_has_unique_index_for()
- bf9ee294e567 19 (unreleased) landed
Pathify RHS unique-ification for semijoin planning
- 24225ad9aafc 19 (unreleased) landed
Convert varatt.h access macros to static inline functions.
- e035863c9a04 19 (unreleased) cited
Re-export a few of createplan.c's make_xxx() functions.
- 570be1f73f38 9.6.0 cited

Attachments

v6-0001-Pathify-RHS-unique-ification-for-semijoin-plannin.patch (application/octet-stream) patch v6-0001
v6-0002-Simplify-relation_has_unique_index_for.patch (application/octet-stream) patch v6-0002

The v5 patch does not apply anymore, and here is a new rebase.  There
are two main changes in v6:

* I choose to use the check I proposed earlier to determine whether a
relation has been unique-ified in costsize.c.

* Now that the only call to relation_has_unique_index_for() that
supplied an exprlist and oprlist has been removed, the loop handling
those lists is effectively dead code.  0002 removes that loop and
simplifies the function accordingly.

Thanks
Richard