WHERE vs HAVING Step by Step

A compact WHERE-vs-HAVING book for readers who need exact finite row-filter and group-filter behavior: base rows, WHERE before grouping, groups after WHERE, aggregate facts per remaining group, HAVING after aggregation, moved-condition contrasts, UNKNOWN at both boundaries, and guarded expected facts.

WHERE vs HAVING

Base Rows
WHERE Filters Rows
Groups After WHERE
Aggregates per Group
HAVING Filters Groups
Moving a Condition Changes the Result
UNKNOWN Is Not TRUE
Honest by Construction