Re: RM VERY STRONG SUGGESTION 4: TRANSITION CONSTRAINTS

From: Erwin <e.smout_at_myonline.be>
Date: Sun, 5 Sep 2010 01:09:20 -0700 (PDT)
Message-ID: <365427ea-1923-467c-a347-5163a552742e_at_i13g2000yqd.googlegroups.com>



> > You are free to think as you like.  But my position (which is
> > also Date's) allows me to use the CWA, and the CWA alone, to determine
> > whether or not some tuple should or should not appear in some relvar.
>
> The CWA has absolutely nothing to do with whether or not some tuple
> should or should not appear in some relvar.  The CWA applies to how
> the tuples that don't appear in a relvar should be interpreted: false,
> or unknown.- Tekst uit oorspronkelijk bericht niet weergeven -

Introduction to Database Systems, 8ed, page 161:

"In fact, the Closed World Assumption says that if an otherwise valid tuple -that is, one that conforms to the relvar heading- does not appear in the relvar body, then we can assume the corresponding proposition is false."

But of course you will then argue that Date oversimplifies. Oversimplifies to 2VL, in this case. Because you obviously seem to insist that (WITHIN DBMS systems) 'unknown' is a needed logical construct distinct from 'false' and 'true'. And since the CWA is so foundational to the RM, in fact you are saying that Date doesn't understand the relational model. You are free to hold that belief. Received on Sun Sep 05 2010 - 03:09:20 CDT

Original text of this message