12.5 SQL中的统计函数