結果 : sql aggregate function in having clause