Use functional dependencies to estimate ScalarArrayOpExpr
authorTomas Vondra <[email protected]>
Sat, 14 Mar 2020 13:55:59 +0000 (14:55 +0100)
committerTomas Vondra <[email protected]>
Sat, 14 Mar 2020 15:12:41 +0000 (16:12 +0100)
commit8f321bd16cdb11307f17007eb3c55b65d7d323ef
tree0e344405ec07595d72156a2b7eff0e7d8255efa1
parentdbf95c843a3d66cf9a692f5937a1bec4f2261035
Use functional dependencies to estimate ScalarArrayOpExpr

Until now functional dependencies supported only simple equality clauses
and clauses that can be trivially translated to equalities. This commit
allows estimation of some ScalarArrayOpExpr (IN/ANY) clauses.

For IN clauses we can do this thanks to using operator with equality
semantics, which means an IN clause

    WHERE c IN (1, 2, ..., N)

can be translated to

    WHERE (c = 1 OR c = 2 OR ... OR c = N)

IN clauses are now considered compatible with functional dependencies,
and rely on the same assumption of consistency of queries with data
(which is an assumption we already used for simple equality clauses).
This applies also to ALL clauses with an equality operator, which can be
considered equivalent to IN clause.

ALL clauses are still considered incompatible, although there's some
discussion about maybe relaxing this in the future.

Author: Pierre Ducroquet
Reviewed-by: Tomas Vondra, Dean Rasheed
Discussion: https://www.postgresql.org/message-id/flat/13902317.Eha0YfKkKy%40pierred-pdoc
doc/src/sgml/perform.sgml
src/backend/statistics/dependencies.c
src/test/regress/expected/stats_ext.out
src/test/regress/sql/stats_ext.sql