Re: insert to projection

From: Mr. Scott <do_not_reply_at_noone.com>
Date: Fri, 4 Sep 2009 22:44:35 -0400
Message-ID: <RYadne73COwOTTzXnZ2dnUVZ_r6dnZ2d_at_giganews.com>

"paul c" <toledobythesea_at_oohay.ac> wrote in message news:DGbom.42669$Db2.5159_at_edtnps83...
> Why do implementation languages not allow this? Surely not for logical
> reasons? We can delete from projection because NOT Pa implies NOT Pab,
> eg., <NOT> R{a} -> <NOT> R{a,b}. Logically, we can insert to projections
> because Pab implies Pa. Isn't the problem really a language deficiency?

I don't understand. Is the binary predicate P somehow related to the unary predicate P, and if so, how exactly? Received on Sat Sep 05 2009 - 04:44:35 CEST

This message: [ Message body ]
Next message: paul c: "Re: insert to projection"
Previous message: paul c: "Re: insert to projection"
In reply to: paul c: "insert to projection"
In reply to paul c: "insert to projection"
Next in thread: paul c: "Re: insert to projection"
Reply: paul c: "Re: insert to projection"
Reply: Mr. Scott: "Re: insert to projection"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]

Original text of this message