Aggregation functions in theory and in practice.