Re: relations aren't types?
Date: 30 Dec 2003 13:17:00 -0800
Message-ID: <72f08f6c.0312301317.25bc5538_at_posting.google.com>
> > > The relation value in the attribute for each tuple is
> > > a single value with defined operations. How does that differ from an
> > > integer?
> >
> > Types are not atomic, values are.
>
> How does that answer the question about the difference between a relation
> value and an integer value?
The point is that while both values are "atomic", from the perspective of the operators being invoked, that does not mean that the types are in the same class. They definitely are not. The type Integer is a scalar type, while the type of a tuple is some tuple type, a non-scalar type. Yes each tuple is a single value with defined operations, but those operations in general require that I know the attributes of the tuple type. No such requirement exists for inovking the integer "+" operator. Received on Tue Dec 30 2003 - 22:17:00 CET