Tracking: Short-circuit evaluation in expressions

[TennyZhuang]

Some expressions can be evaluated with short-circuit optimization.

Semantic guaranteed in SQL:

• short-circuit optimization for CASE WHEN expression #6580
• short-circuit optimization for COALESCE expression #6203

Implementation detail without semantic guarantee.

• short-circuit optimization for AND expression #6380
• short-circuit optimization for OR expression #6260

select * from a, b where a1 > b1*b1 and 3 / a1 < 5;

Optimizer is allowed to filter with 3 / a1 < 5 before join on a1 > b1*b1.
This can lead to division by zero error not observed if semantic guarantee was provided.

PostgreSQL:

• https://www.postgresql.org/docs/15/sql-expressions.html#SYNTAX-EXPRESS-EVAL

[soundOfDestiny]

It should be automatically closed when task list items are all done 😢