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>


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

Original text of this message