SQLにおいて `HAVING` 句の条件が評価されるタイミングはいつか。

GROUP BYによるグループ化と集計計算が行われた後。