6.2 域聚合函数的应用