Assumptions Aggregate function must be monotonic Denote by and by Example: sum, max Lists of scores of all objects for every is available List for is of the form Total size is Even ranked (sorted) lists are available