HAVING是SQL中用于在GROUP BY子句之后對結果集進行篩選的關鍵字。它可以根據聚合函數的結果來過濾結果集，只保留符合特定條件的行。HAVING可以用于對GROUP BY子句中聚合函數的結果進行篩選，并且它可以使用的操作符包括比較操作符（如等于、大于、小于等）、邏輯操作符（如AND、OR、NOT）以及數學運算符 （如加、減、乘、除）。

在介紹HAVING的用法之前，我們先來了解一下GROUP BY子句的作用。GROUP BY子句用于將結果集按照一個或多個列進行分組，并根據分組后的結果執行聚合函數。聚合函數可以對每個分組生成一個單一的值，如COUNT、SUM、AVG等。

有了GROUP BY子句之后，我們可以使用HAVING對聚合函數的結果進行進一步篩選。HAVING子句可以包含以下幾種形式的表達式：

1. 單個聚合函數的結果，例如：HAVING COUNT(*) > 100，表示只返回滿足條件的行，即滿足條件的分組至少有100行。
2. 多個聚合函數的結果之間的比較操作，例如：HAVING COUNT(*) > AVG(salary)，表示只返回滿足條件的行，即滿足條件的分組的行數大于平均工資。
3. 聚合函數結果和常量之間的比較操作，例如：HAVING SUM(salary) >= 1000000，表示只返回滿足條件的行，即滿足條件的分組的工資總和大于等于1000000。
4. 聚合函數結果和子查詢之間的比較操作，例如：HAVING AVG(salary) > (SELECT AVG(salary) FROM employees WHERE department = 'IT')，表示只返回滿足條件的行，即滿足條件的分組的平均工資大于IT部門的平均工資。

需要注意的是，HAVING子句在執行查詢時是在WHERE子句之后進行的。WHERE子句在查詢中起到了先過濾行的作用，然后根據GROUP BY子句將行進行分組，最后在HAVING子句中對分組后的結果進行過濾。

下面我們通過一個示例來說明HAVING的用法：

假設我們有一個employees表，包含以下列：id、name、department、salary。現在我們想要找出平均工資大于5000的部門，我們可以使用以下SQL語句：

SELECT department, AVG(salary) as avg_salary
FROM employees
GROUP BY department
HAVING AVG(salary) > 5000;

在上述SQL語句中，我們首先根據department列對employees表進行分組，然后計算每個分組的平均工資，并將其命名為avg_salary。最后，我們使用HAVING子句將平均工資大于5000的部門篩選出來。

另外，HAVING子句還可以與其他關鍵字一起使用，如ORDER BY和LIMIT。例如，我們可以根據平均工資降序排列，并只返回前5個部門，可以使用以下SQL語句：

SELECT department, AVG(salary) as avg_salary
FROM employees
GROUP BY department
HAVING AVG(salary) > 5000
ORDER BY avg_salary DESC
LIMIT 5;

在上述SQL語句中，我們首先根據department列分組，并計算每個分組的平均工資。然后，在使用HAVING子句篩選出平均工資大于5000的部門之后，使用ORDER BY子句將結果按照平均工資降序排列，并使用LIMIT子句限制結果集的大小為5。

綜上所述，HAVING是SQL中用于在GROUP BY子句之后對結果集進行篩選的關鍵字。通過使用HAVING子句，我們可以根據聚合函數的結果來過濾結果集，只保留符合特定條件的行。在使用HAVING時，我們可以使用比較操作符、邏輯操作符以及數學運算符來構建表達式。同時，HAVING子句還可以與其他關鍵字一起使用，如ORDER BY和LIMIT，來對結果集進行排序和限制。