On 09.04.2018 20:05, Teodor Sigaev wrote:
Hi!
12 years ago I proposed patch to which could "union" OR clauses into
one range clause if it's possible. In that time pgsql could not use IS
NULL as index clause, so patch doesn't support that
https://www.postgresql.org/message-id/flat/45742C51.9020602%40sigaev.ru
option number 4), all other are already committed.
It seems to be slightly different optimization.
Attached please find small patch which extends simplify_and_arguments in
clauses.c to eliminated redundant checks.
It doesn't perform complete constrains propagation and not using
predicate_implied_by/predicate_refuted_by because them seems to be too
expensive and essentially increase
query optimization time. Instead of it it just strict match comparison
of predicates with some extra logic for handling negators.
With this patch constructed query plans are optimal:
postgres=# create table foo(x integer primary key, y integer);
CREATE TABLE
postgres=# insert into foo (x) values (generate_series(1,10));
INSERT 0 10
postgres=# insert into foo (x,y) values (generate_series(11,20), 1);
INSERT 0 10
postgres=# vacuum analyze foo;
VACUUM
postgres=# explain select * from foo where not (x < 9 and y is not
null) and (x <= 11 and y is not null);
QUERY PLAN
Index Scan using foo_pkey on foo (cost=0.42..8.48 rows=2 width=8)
Index Cond: ((x <= 11) AND (x >= 9))
Filter: (y IS NOT NULL)
(3 rows)
postgres=# explain select * from foo where x <= 11 and y is not
null and not (x < 9 and y is not null);
QUERY PLAN
Index Scan using foo_pkey on foo (cost=0.42..8.48 rows=2 width=8)
Index Cond: ((x <= 11) AND (x >= 9))
Filter: (y IS NOT NULL)
(3 rows)
Konstantin Knizhnik wrote:
Hi hackers,
Postgres optimizer is not able to build efficient execution plan for
the following query:
explain select * from people_raw where not ("ID"<2068113880 AND
"INN" is not null) and "ID"<=2068629726 AND "INN" is not null;
QUERY PLAN
Bitmap Heap Scan on people_raw (cost=74937803.72..210449640.49
rows=121521030 width=336)
Recheck Cond: ("ID" <= 2068629726)
Filter: (("INN" IS NOT NULL) AND (("ID" >= 2068113880) OR ("INN"
IS NULL)))
-> Bitmap Index Scan on "People_pkey" (cost=0.00..74907423.47
rows=2077021718 width=0)
Index Cond: ("ID" <= 2068629726)
(5 rows)
Here the table is very large, but query effects only relatively small
number of rows located in the range: [2068113880,2068629726]
But unfortunately optimizer doesn't take it into the account.
Moreover, using "is not null" and "not null" is both operands of AND
is not smart:
(("INN" IS NOT NULL) AND (("ID" >= 2068113880) OR ("INN" IS
NULL)))
If I remove "is not null" condition, then plan is perfect:
explain select * from people_raw where not ("ID"<2068113880) and
"ID"<=2068629726;
QUERY PLAN
Index Scan using "People_pkey" on people_raw (cost=0.58..196745.57
rows=586160 width=336)
Index Cond: (("ID" >= 2068113880) AND ("ID" <= 2068629726))
(2 rows)
Before starting investigation of the problem, I will like to know
opinion and may be some advise of people familiar with optimizer:
how difficult will be to handle this case and where to look.
Thanks in advance,
--
Konstantin Knizhnik
Postgres Professional: http://www.postgrespro.com
The Russian Postgres Company
diff --git a/src/backend/optimizer/util/clauses.c b/src/backend/optimizer/util/clauses.c
index ed6b680..488d0e6 100644
--- a/src/backend/optimizer/util/clauses.c
+++ b/src/backend/optimizer/util/clauses.c
@@ -322,6 +322,133 @@ and_clause(Node *clause)
}
/*
+ * Returns t iff its argument is an 'true' constant
+ */
+static bool
+is_true(Node *clause)
+{
+ return IsA(clause, Const) &&
+ !((Const *) clause)->constisnull &&
+ DatumGetBool(((Const *) clause)->constvalue);
+}
+
+/*
+ * Returns t iff its argument is an 'not' clause: (NOT { expr }).
+ */
+static bool
+is_not(Node *clause)
+{
+ return IsA(clause, BoolExpr) &&
+ ((BoolExpr *) clause)->boolop == NOT_EXPR;
+}
+
+static bool is_negator(Node *c1, Node *c2);
+
+
+/*
+ * Returns t iff two expressions are the same or one of them is 'not' clause is it's argument is negator of other expression
+ */
+static bool
+is_equal(Node *c1, Node *c2)
+{
+ if (equal(c1, c2))
+ return true;
+
+ if ((is_not(c1) && is_negator(linitial(((BoolExpr*)c1)->args), c2)) ||
+ (is_not(c2) && is_negator(linitial(((BoolExpr*)c2)->args), c1)))
+ return true;
+
+ return false;
+}
+
+/*
+