Re: No exceptions?
Date: Sat, 01 Jul 2006 19:35:58 +0200
J M Davitt wrote:
> I think I got it. Am I correct in understanding that JH said,
> "If an empty candidate key is declared, any other keys are
That's what I mean, yes.
> think the idea has some merit - everyone seems to understand the
> uniqueness of key values and his terminology neatly distinguishes
> keys which are and are not irreducible.
I believe this is standard terminology. I may misremember or be
confused; I'll check when I get back to my books on Monday.
> Using JH's definitions: if an empty key is declared, any other keys
> are superkeys. This would be the case if one presumes that the "no
> attribute" is also a component of all those superkeys, right?
> I don't understand why that must be so. Once a key without
> attributes is declared, the relation value can hold no more than one
> tuple - but I don't see why every other attribute cannot also be a
(An attribute is never a key; a key is a set of attributes, even if that set has cardinality one.) A set of attributes that satisfies the uniqueness property is a superkey; it is also a key if no proper subset of it also is a superkey. In a relation where the empty set is key, any non-empty set (including singleton sets) cannot be a key, because there is always a proper subset of it (namely the empty set) that is also a superkey.
> On other words, I don't understand why "[i]t follows that such a
> relvar can have no other keys."
It can, however, have other superkeys. In fact, any combination of any number of attributes is a superkey.
-- JonReceived on Sat Jul 01 2006 - 19:35:58 CEST