Re: Notions of Type
From: Aloha Kakuikanu <aloha.kakuikanu_at_yahoo.com>
Date: 17 Aug 2006 11:51:13 -0700
Message-ID: <1155840673.448704.161470_at_p79g2000cwp.googlegroups.com>
Date: 17 Aug 2006 11:51:13 -0700
Message-ID: <1155840673.448704.161470_at_p79g2000cwp.googlegroups.com>
David Cressey wrote:
> why can't you say,
>
> PROJECT <relation>, <empty relation> -> <relation>
Well, you are just one step away from noticing that
PROJECT <relation> (onto) <empty relation>
is the same as
<relation> UNION <empty relation> Received on Thu Aug 17 2006 - 20:51:13 CEST