Re: Database-valued attributes?

From: Alfredo Novoa <alfredo_at_ncs.es>
Date: 12 Nov 2003 03:20:32 -0800
Message-ID: <e4330f45.0311120320.1ea68faa_at_posting.google.com>


"Paul Vernon" <paul.vernon_at_ukk.ibmm.comm> wrote in message news:<boqng2$13fm$1_at_gazette.almaden.ibm.com>...

> > a := relation { tuple { b relation { a integer, b integer }
> > { tuple { a 1, b 2 },
> > tuple { a 1, b 3 } } },
> > tuple { b relation { tuple { t 'Hello' },
> > tuple { t 'Marshall' } } } };
> >
>
> So Alfredo, you are saying that relation literals (can) have names.

I am saying that relation literal attributes have names.

>
> I.e. that the following is a vald set of tuples
>
> {
> tuple { b relation {tuple { t 'Hello' }, tuple { t 'Marshall' }}}
> , tuple { c relation {tuple { t 'Hello' }, tuple { t 'Marshall' }}}
> , tuple { b relation {tuple { t 'Hello' }, tuple { t 'Jonny' }}}
> , tuple { b relation {tuple {a 1, b 2 }}
> };

If we put another brace close at the end then it is correct (I have parser O:).  

> Which would mean that
> tuple { b relation {tuple { t 'Hello' }, tuple { t 'Marshall' }}}
> <> tuple { c relation {tuple { t 'Hello' }, tuple { t 'Marshall' }}}

Indeed, they have diferent tuple types in Tutorial D.

var a base relation { a integer } key { a }; var b base relation { b integer } key { b };

a := b union a;// type mismatch

a := relation { tuple { a 1 } } union relation { tuple { b 1 } }; // type mismatch

Do you suggest to drop attribute names?

Regards
  Alfredo Received on Wed Nov 12 2003 - 12:20:32 CET

Original text of this message