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

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). Received on Mon Jul 17 2006 - 18:00:08 CEST