With all that scope for reasonable disagreement, is there anything we can all agree on? How much of the hierarchy in the medal table is indisputable, and how much depends on your point of view? So we want to say that one country has done strictly better than another if the medal score of the latter can be transformed into the former by a sequence of medal additions and medal upgrades. A bit of thought shows that this is exactly equivalent to defining a partial order on triples of medals, in which a triple (G,S,B) is considered at least as good as another triple (g,s,b) if and only if it satisfies the three conditions * G ≥ g * G + S ≥ g + s * G + S + B ≥ g + s + b
Partial Indexes
A partial index is an index built over a subset of a table; the subset is defined by a conditional expression (called the predicate of the partial index). The index contains entries for only those table rows that satisfy the predicate.
CREATE INDEX access_log_client_ip_ix ON access_log (client_ip)
WHERE NOT (client_ip > inet '192.168.100.0' AND client_ip < inet '192.168.100.255');
C. Martınez. Proc. 6th ACMSIAM Workshop on Algorithm Engineering and Experiments and 1st ACM-SIAM Workshop on Analytic Algorithmics and Combinatorics, page 224--228. (2004)