Re: Logical equivalence of simple and complex types under the relational model?
From: Alfredo Novoa <anovoa_at_ncs.es>
Date: Thu, 02 Dec 2004 01:55:04 +0100
Message-ID: <gppsq054md0nna732chml5jb8mdihvn426_at_4ax.com>
Date: Thu, 02 Dec 2004 01:55:04 +0100
Message-ID: <gppsq054md0nna732chml5jb8mdihvn426_at_4ax.com>
On Wed, 01 Dec 2004 22:31:00 +0000, Paul <paul_at_test.com> wrote:
>> The "relational system" can not exist without the type system, so
>> they are not independent.
>
>Can it definitely not?
Definitely.
> Couldn't you have a basic relational system with
>just one type,
The boolean type.
> with one operation (equality) being handled by the
>relational system?
This is a minimal but COMPLETE scalar type system.
A Relational System can not exist without this.
Regards Received on Thu Dec 02 2004 - 01:55:04 CET