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>


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

Original text of this message