Есть запрос в котором второй аргумент парсится по разному, в

Question

Есть запрос в котором второй аргумент парсится по разному, в

зависимости от первого аргумента. Проблема в том, что, насколько я понял, планировщик лезет вперед паровоза и пытается заинлайнить иммутабельные выражения. Если завернуть аргументы в volatile или хотя бы stable функцию, то запрос работает. Есть ли какое-то более семантичное решение проблемы?

prepare b(text, text) as
select ($2)::int4::text
where $1 = 'num'

union all
select ($2)::bool::text
where $1 = 'bool'
;

execute b('num', '-1');
execute b('bool', 'f');

#backend #devops #pgsql #programming #russian

0

05.09.2023

4 ответов

3 просмотра

Yaroslav Schekin

Проблема, на самом деле, в том, что Вы не знаете SQL хотя бы на среднем уровне. ;( > Есть ли какое-то более семантичное решение проблемы? Да, есть. Нужно осознать и запомнить, что любой планировщик, в любой СУБД имеет право (и, зачастую, будет) вычислять весь запрос в произвольном порядке, при этом считая, что ни одно выражение не может вернуть ошибку. И в дальнейшем это необходимо использовать при написании запросов. Т.е. (по аналогии с undefined behavior в C) написание корректного SQL с учётом этого — Ваша проблема. Что касается этого конкретного запроса — почему бы Вам не сделать что-то вроде: PREPARE b(text, text) AS SELECT COALESCE((CASE $1 WHEN 'bool' THEN $2 END)::bool::text, (CASE $1 WHEN 'num' THEN $2 END)::int4::text); ?

0

8 месяцев назад

Vladislav Nezhutin Автор вопроса

Yaroslav Schekin
Проблема, на самом деле, в том, что Вы не знаете S...

Каким образом предложеный запрос удовлетворяет вашему утверждению, что ни одно выражение не может вернуть ошибку?

0

8 месяцев назад

Yaroslav Schekin

Vladislav Nezhutin
Каким образом предложеный запрос удовлетворяет ваш...

А Вы подумайте. Естественно, ошибки при CAST там могут быть, как и в Вашем оригинальном запросе — я так понял, что так и было нужно, нет?

0

8 месяцев назад

Petr · Accepted Answer

Petr

Ну, можно сделать через CTE MATERIALIZED, примерно так (сохраняя ваш code style): prepare b(text, text) as with x as materialized ( select $2 v where $1 = 'num' ), y as materialized ( select $2 v where $1 = 'bool' ) select v::int4::text from x union all select v::bool::text from y ; Только зачем...

0

8 месяцев назад

172 похожих чатов

Есть запрос в котором второй аргумент парсится по разному, в

4 ответов

Похожие вопросы