Re: Can relvars be dissymetrically decomposed? (vadim and x insight demanded on that subject)

Aloha Kakuikanu wrote:
> Cimode wrote:
> > Consider R1 relvar defining domain DoR1 of values. Each occurence of
> > DoR1 is a member of DoR1.
> > Consider R1{A1, A2, A3} where D1, D2, D3 are the domains from which A1,
> > A2 and A3 respectively draw and restrict values (through data type
> > definitions). The question is onto *how* R1 can be expressed according
> > to D1, D2, D3 and DoR1....using a simple equation such as the one
> > proposed:
> >
> > R1 = DoR1 INTERSECT B(DoR1) with B(DoR1) being the ensemble to which
> > belongs ALL D1, D2, and D3.
>
> Could you lower abstraction level a little bit? (This would kill two
> things at once: your text would be comprehensible for abstraction
> challenged readers, and you'll be able to spot your own mistakes better
> in it).
Thanks for the advice. I will keep that in mind in future examples. Received on Mon Jul 17 2006 - 18:43:28 CEST