查询平均成绩高于80分的学生

可以使用以下 SQL 语句来查询平均成绩高于80分的学生：

SELECT student_name, AVG(score) AS avg_score
FROM student
GROUP BY student_name
HAVING AVG(score) > 80;

其中，`AVG(score)` 表示对 `score` 字段求平均值，`AS avg_score` 则给平均值起了一个别名 `avg_score`，方便后续使用。

`GROUP BY` 子句用于按照指定字段进行分组，这里指定了 `student_name` 字段，表示按照学生姓名进行分组。

`HAVING` 子句用于对分组后的数据进行筛选，这里指定了 `AVG(score) > 80`，表示只查询平均成绩高于80分的学生。

执行以上 SQL 语句后，就可以得到平均成绩高于80分的学生的姓名和平均成绩。