The question arose yesterday of whether and where Microsoft document what a candidate key is. The following definition published by Microsoft seems like a perfectly OK one (with one possible quibble that in the relational model keys are supposed to be irreducible as well as uniquely...