Есть таблица связей
tbl (
main_id int8,
rel_id int8,
flag bool)
Есть покрывающие индексы
mr_idx (main_id, rel_id) и
rfm_idx (rel_id, flag, main_id)
Выполняем запрос:
1.
2.
3.
4.
5.
6.
7.
EXPLAIN(ANALYSE) SELECT rel_id FROM tbl WHERE (main_id = 31524);
Index Only Scan using mr_idx on tbl (cost=0.28..2.50 rows=1 width=4) (actual time=0.022..0.025 rows=2 loops=1)
Index Cond: (main_id = 31524)
Heap Fetches: 2
Planning Time: 0.085 ms
Execution Time: 0.045 ms
Здесь всё нормально: используется только индекс
mr_idx , записи не читаются.
Выполняем противоположный запрос с задействованием поля "flag":
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
EXPLAIN(ANALYSE) SELECT main_id FROM tbl WHERE (rel_id = 13612) AND flag;
Bitmap Heap Scan on tbl (cost=1.41..4.67 rows=3 width=4) (actual time=0.026..0.032 rows=3 loops=1)
Recheck Cond: (rel_id = 13612)
Filter: flag
Heap Blocks: exact=3
-> Bitmap Index Scan on rfm_idx (cost=0.00..1.41 rows=3 width=0) (actual time=0.018..0.018 rows=3 loops=1)
Index Cond: ((rel_id = 13612) AND (flag = true))
Planning Time: 0.114 ms
Execution Time: 0.057 ms
А вот здесь PostgreSQL почему-то лезет в Heap, хотя индекс
rfm_idx тоже покрывающий.
Вопросы :
1) Если в Heap он лезет из-за необходимости перепроверки условия, то почему возникает необходимость перепроверки ?
Как видно из плана,
heap blocks lossy = 0 .
2) Если перепроверка условия не выполняется, тогда зачем он лезет в Heap ?
