James Xu created SPARK-56898:
--------------------------------
Summary: Add pre-pass rule to canonicalize COUNT(DISTINCT
IF(cond, col, NULL)) into COUNT(DISTINCT col) FILTER
Key: SPARK-56898
URL: https://issues.apache.org/jira/browse/SPARK-56898
Project: Spark
Issue Type: Improvement
Components: Optimizer
Affects Versions: 4.2.0
Reporter: James Xu
*Problem:*
When a query contains many COUNT(DISTINCT IF(cond_i, col, NULL)) expressions
over the same base column, RewriteDistinctAggregates treats each unique IF(...)
expression as a distinct group. N conditions → N distinct groups → N× Expand
amplification. In production workloads with 25–60 such expressions, this
produces multi-terabyte shuffles and hour-long runtimes.
*Root cause:*
RewriteDistinctAggregates groups distinct aggregates by their unfoldable child
sets. For COUNT(DISTINCT IF(cond1, col, NULL)), the child set is \{IF(cond1,
col, NULL)} — each unique condition forms its own group, even though all
conditions apply to the same base column.
*Solution:*
Add a pre-pass optimizer rule (before RewriteDistinctAggregates) that
canonicalizes:
COUNT(DISTINCT IF(cond, col, NULL)) → COUNT(DISTINCT col) FILTER (WHERE
cond)
This identity is exact: COUNT DISTINCT ignores NULLs, so nulling rows where
!cond is semantically identical to filtering them. After the rewrite, all
expressions share the same unfoldable child set \{col}, collapsing to 1
distinct group and 1× Expand regardless of condition count.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]