Re: Guessing?
From: paul c <toledobysea_at_ac.ooyah>
Date: Wed, 28 May 2008 00:58:29 GMT
Message-ID: <V62%j.172211$Cj7.105689_at_pd7urf2no>
>
> Here's a snippit from page 436, /Databases, Types and the Relational Model,
> The Third Manifesto/:
>
> <<<<
>
> As applied to 1-tuples, the strong form of orthogonality is effectively
> saying that the database should not permit the same thing to have more than
> one "property" (a term used by some logicians to characterize monadic
> predicates). Consider, for example, the predicates "Employee E is on
> vacation" and "Employee E is awaiting phone number allocation." What more
> natural way is there of representing those than defining two unary relvars
> with those very predicates?
Date: Wed, 28 May 2008 00:58:29 GMT
Message-ID: <V62%j.172211$Cj7.105689_at_pd7urf2no>
Brian Selzer wrote:
> "paul c" <toledobysea_at_ac.ooyah> wrote in message
> news:13V_j.168060$rd2.163010_at_pd7urf3no...
>> Brian Selzer wrote: >> ... >>> In TTM, Darwin raises objections to such a strict form of orthogonality, >>> and I agree: it's a problem to disallow more than one relationship >>> between things, and in the case of unary relations, it's a problem to >>> disallow something from having more than one property. (Page 436 if >>> you're interested.) >>> ... >> >> Anything Hugh DarwEn says is likely to be important or at least >> provocative, but how does POOD disallow multiple relationships or >> properties?
>
> Here's a snippit from page 436, /Databases, Types and the Relational Model,
> The Third Manifesto/:
>
> <<<<
>
> As applied to 1-tuples, the strong form of orthogonality is effectively
> saying that the database should not permit the same thing to have more than
> one "property" (a term used by some logicians to characterize monadic
> predicates). Consider, for example, the predicates "Employee E is on
> vacation" and "Employee E is awaiting phone number allocation." What more
> natural way is there of representing those than defining two unary relvars
> with those very predicates?
If somebody wants to insist that those base predicates are natural, then presumably they would call inserting to both base relations 'unnatural'. But I would have a hard time agreeing with a prohibition against a consistent logic on the grounds that it is thought to be 'unnatural'! Now, 'useless' is quite another matter. Received on Wed May 28 2008 - 02:58:29 CEST