Teach bitmap path generation about transforming OR-clauses to SAOP's
authorAlexander Korotkov <akorotkov@postgresql.org>
Sat, 23 Nov 2024 23:41:45 +0000 (01:41 +0200)
committerAlexander Korotkov <akorotkov@postgresql.org>
Sat, 23 Nov 2024 23:41:45 +0000 (01:41 +0200)
commitae4569161a27823793ca24825bbabce2a91a0bc9
tree59d2131807aed4b471ad48e0d7a0e55bfa213ff9
parentd4378c0005e61b1bb78e88097ea6efcdddbe2d6e
Teach bitmap path generation about transforming OR-clauses to SAOP's

When optimizer generates bitmap paths, it considers breaking OR-clause
arguments one-by-one.  But now, a group of similar OR-clauses can be
transformed into SAOP during index matching.  So, bitmap paths should
keep up.

This commit teaches bitmap paths generation machinery to group similar
OR-clauses into dedicated RestrictInfos.  Those RestrictInfos are considered
both to match index as a whole (as SAOP), or to match as a set of individual
OR-clause argument one-by-one (the old way).

Therefore, bitmap path generation will takes advantage of OR-clauses to SAOP's
transformation.  The old way of handling them is also considered.  So, there
shouldn't be planning regression.

Discussion: https://postgr.es/m/CAPpHfdu5iQOjF93vGbjidsQkhHvY2NSm29duENYH_cbhC6x%2BMg%40mail.gmail.com
Author: Alexander Korotkov, Andrey Lepikhov
Reviewed-by: Alena Rybakina, Andrei Lepikhov, Jian he, Robert Haas
Reviewed-by: Peter Geoghegan
src/backend/optimizer/path/indxpath.c
src/backend/optimizer/util/restrictinfo.c
src/include/optimizer/restrictinfo.h
src/test/regress/expected/create_index.out
src/test/regress/expected/join.out
src/test/regress/sql/create_index.sql
src/tools/pgindent/typedefs.list