✨ Push filters (HAVING) into aggregates

[joocer]

Combining Filters and Aggregation:

If possible, combine the COUNT(*) > 100000 filter with the aggregation step to minimize intermediate results.

SELECT CounterID, AVG(length(URL)) AS l, COUNT(*) AS c FROM hits WHERE URL <> '' GROUP BY CounterID HAVING COUNT(*) > 100000 ORDER BY l DESC LIMIT 25;

   └─ HEAP SORT (LIMIT 25, ORDER BY l DESC)
      └─ FILTER (COUNT(*) > 100000)
         └─ PROJECT (AVG(LENGTH(URL)), COUNT(*), CounterID)
            └─ AGGREGATE (AVG(LENGTH(URL)), COUNT(*)) GROUP BY (CounterID) [!!!FILTER HERE!!!]
               └─ READ (hits) [CounterID, URL] (URL != '')