Преграда формальная: какой у вас указан уровень volatility
функции? Результат VOLATILE
функции по своему определению не может быть использован вторично, её необходимо вызвать.
Впрочем, планировщик не анализирует в такой мере запрос. Проверить можно
melkij=> create or replace function get_tree(i int, f bool) returns setof int as $$
begin
raise notice 'called % %', i, f;
end
$$ language plpgsql immutable;
CREATE FUNCTION
melkij=> explain (analyze,buffers) select id, CASE
WHEN EXISTS(SELECT 1 FROM get_tree(id, false) HAVING COUNT(*) = 1) AND EXISTS(SELECT 1 FROM get_tree(id, true) HAVING COUNT(*) = 1) THEN 0
WHEN EXISTS(SELECT 1 FROM get_tree(id, false) HAVING COUNT(*) = 1) AND EXISTS(SELECT 1 FROM get_tree(id, true) HAVING COUNT(*) > 1) THEN 1
WHEN EXISTS(SELECT 1 FROM get_tree(id, false) HAVING COUNT(*) > 1) AND EXISTS(SELECT 1 FROM get_tree(id, true) HAVING COUNT(*) = 1) THEN 2
WHEN EXISTS(SELECT 1 FROM get_tree(id, false) HAVING COUNT(*) > 1) AND EXISTS(SELECT 1 FROM get_tree(id, true) HAVING COUNT(*) > 1) THEN 3
ELSE null
END AS result
from (select 1 as id) dummydata;
NOTICE: called 1 f
NOTICE: called 1 f
NOTICE: called 1 f
NOTICE: called 1 f
QUERY PLAN
------------------------------------------------------------------------------------------------------------------------------------
Result (cost=102.10..102.11 rows=1 width=8) (actual time=0.101..0.103 rows=1 loops=1)
InitPlan 1 (returns $0)
-> Aggregate (cost=12.75..12.76 rows=1 width=4) (actual time=0.068..0.068 rows=0 loops=1)
Filter: (count(*) = 1)
Rows Removed by Filter: 1
-> Function Scan on get_tree (cost=0.25..10.25 rows=1000 width=0) (actual time=0.065..0.065 rows=0 loops=1)
InitPlan 2 (returns $1)
-> Aggregate (cost=12.75..12.76 rows=1 width=4) (never executed)
Filter: (count(*) = 1)
-> Function Scan on get_tree get_tree_1 (cost=0.25..10.25 rows=1000 width=0) (never executed)
InitPlan 3 (returns $2)
-> Aggregate (cost=12.75..12.76 rows=1 width=4) (actual time=0.010..0.010 rows=0 loops=1)
Filter: (count(*) = 1)
Rows Removed by Filter: 1
-> Function Scan on get_tree get_tree_2 (cost=0.25..10.25 rows=1000 width=0) (actual time=0.009..0.009 rows=0 loops=1)
InitPlan 4 (returns $3)
-> Aggregate (cost=12.75..12.76 rows=1 width=4) (never executed)
Filter: (count(*) > 1)
-> Function Scan on get_tree get_tree_3 (cost=0.25..10.25 rows=1000 width=0) (never executed)
InitPlan 5 (returns $4)
-> Aggregate (cost=12.75..12.76 rows=1 width=4) (actual time=0.010..0.010 rows=0 loops=1)
Filter: (count(*) > 1)
Rows Removed by Filter: 1
-> Function Scan on get_tree get_tree_4 (cost=0.25..10.25 rows=1000 width=0) (actual time=0.009..0.009 rows=0 loops=1)
InitPlan 6 (returns $5)
-> Aggregate (cost=12.75..12.76 rows=1 width=4) (never executed)
Filter: (count(*) = 1)
-> Function Scan on get_tree get_tree_5 (cost=0.25..10.25 rows=1000 width=0) (never executed)
InitPlan 7 (returns $6)
-> Aggregate (cost=12.75..12.76 rows=1 width=4) (actual time=0.009..0.009 rows=0 loops=1)
Filter: (count(*) > 1)
Rows Removed by Filter: 1
-> Function Scan on get_tree get_tree_6 (cost=0.25..10.25 rows=1000 width=0) (actual time=0.008..0.008 rows=0 loops=1)
InitPlan 8 (returns $7)
-> Aggregate (cost=12.75..12.76 rows=1 width=4) (never executed)
Filter: (count(*) > 1)
-> Function Scan on get_tree get_tree_7 (cost=0.25..10.25 rows=1000 width=0) (never executed)
Planning Time: 0.139 ms
Execution Time: 0.179 ms
(39 rows)
4 вызова функции для получения null в case.
Проблема почему планировщик не делает такую оптимизацию, как обычно, проста - для этого нужно тратить ресурсы (CPU, время) на анализ запроса. То есть замедлять в некоторой мере абсолютно каждый запрос к базе. Посмотрите, даже здесь в синтетическом примере с функцией-заглушкой время планирования запроса едва ли не превышает время выполнения. Возможно усложнить планировщик так, чтобы он переписывал самостоятельно всякие разные запросы, но будет ли это действительно лучше, если каждый из самых простейших запросов будет планироваться не меньше десятков миллисекунд?
select id, CASE
WHEN (get_tree_false = 1) AND (get_tree_true = 1) THEN 0
WHEN (get_tree_false = 1) AND (get_tree_true > 1) THEN 1
WHEN (get_tree_false > 1) AND (get_tree_true = 1) THEN 2
WHEN (get_tree_false > 1) AND (get_tree_true > 1) THEN 3
ELSE null
END AS result
from data_t
join lateral (
select count(*) as get_tree_true from get_tree(id, false)
) get_tree_false_rs on true
join lateral (
select count(*) as get_tree_false from get_tree(id, true)
) get_tree_true_rs on true
limit 10;
Поскольку если limit в запросе (добавьте какой-то order by для детерминированности), то нет нужны вычислять get_tree для всех строк таблицы, чтобы отбросить большинство. Для этих целей lateral join куда уместнее.