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');
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
\. Tanter, J. Noyé, D. Caromel, and P. Cointe. Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-oriented Programing, Systems, Languages, and Applications, page 27--46. ACM, (October 2003)
E. Candes, M. Rudelson, T. Tao, and R. Vershynin. Foundations of Computer Science, 2005. FOCS 2005. 46th Annual IEEE Symposium on, page 668--681. IEEE, (2005)
J. Paakki. Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages: papers presented at the Symposium:
Portland, Oregon, January 17--21, 1994, page 361--374. New York, NY, USA, ACM Press, (1994)
L. Schröder, and T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), volume 2422 of Lecture Notes in Computer Science, page 99--116. Springer; Berlin; http://www.springer.de, (2002)
M. Fukumi, S. Omatu, and Y. Nishikawa. Proceedings of the IEEE International joint Conference on Neural
Networks 1995, IJCNN'95, 4, page 1834--1838. IEEE Computer Society, (November 1995)
D. Howard, and S. Roberts. Proceedings of the 2000 Congress on Evolutionary
Computation CEC00, page 1297--1303. La Jolla Marriott Hotel La Jolla, California, USA, IEEE Press, (6-9 July 2000)