HAVING Filters Step by Step

A compact HAVING-filter book for readers who need exact finite group-filter behavior: base rows, WHERE before grouping, GROUP BY buckets, COUNT and SUM facts per group, HAVING TRUE/FALSE/UNKNOWN group results, TRUE-only grouped output, deterministic display order, and guarded expected facts.