Re: more on delete from join
From: paul c <toledobythesea_at_oohay.ac>
Date: Tue, 25 Aug 2009 15:01:08 GMT
Message-ID: <U0Tkm.40612$Db2.23627_at_edtnps83>
>
> I don't think this is right. It assumes that a delete from J translates
> into a delete from both A and B, when a delete from either A or B would
> suffice. The predicate of a join view is the conjunction of the predicates
> of the tables being joined. For there to be a row in J requires that there
> be a row in both A and B, so the fact represented by a row in J is the
> conjunction of the facts represented by the corresponding rows in A and B.
> Denial of at least one of the facts represented in A or B denies the fact
> represented in J; conversely, denial of the fact represented in J denies at
> least one of the facts represented in A or B, but not necessarily both.
> ...
Date: Tue, 25 Aug 2009 15:01:08 GMT
Message-ID: <U0Tkm.40612$Db2.23627_at_edtnps83>
Mr. Scott wrote:
> "paul c" <toledobythesea_at_oohay.ac> wrote in message
> news:IPWjm.40275$Db2.30224_at_edtnps83...
...
>> If A' and B' stand for the resulting values of the base relvars, >> >> A' = (J MINUS D} {hA} UNION (A MINUS J{hA}) >> B' = {J MINUS D} {hB} UNION (B MINUS J{hB}).
>
> I don't think this is right. It assumes that a delete from J translates
> into a delete from both A and B, when a delete from either A or B would
> suffice. The predicate of a join view is the conjunction of the predicates
> of the tables being joined. For there to be a row in J requires that there
> be a row in both A and B, so the fact represented by a row in J is the
> conjunction of the facts represented by the corresponding rows in A and B.
> Denial of at least one of the facts represented in A or B denies the fact
> represented in J; conversely, denial of the fact represented in J denies at
> least one of the facts represented in A or B, but not necessarily both.
> ...
Yes, it does make that assumption, consequence of logical independence I think. Received on Tue Aug 25 2009 - 17:01:08 CEST