Path: dp-news.maxwell.syr.edu!spool.maxwell.syr.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.media.kyoto-u.ac.jp!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.icl.net!newsfeed.arcor.de!newsfeed01.sul.t-online.de!t-online.de!news.tiscali.de!tiscali!newsfeed1.ip.tiscali.net!proxad.net!216.239.36.134.MISMATCH!postnews.google.com!p79g2000cwp.googlegroups.com!not-for-mail
From: "Cimode" <cimode@hotmail.com>
Newsgroups: comp.databases.theory
Subject: Re: Can relvars be dissymetrically decomposed? (vadim and x insight demanded on that subject)
Date: 17 Jul 2006 09:43:28 -0700
Organization: http://groups.google.com
Lines: 20
Message-ID: <1153154608.798987.75170@p79g2000cwp.googlegroups.com>
References: <1152259307.758906.172460@75g2000cwc.googlegroups.com>
   <1152818762.262919.33650@b28g2000cwb.googlegroups.com>
   <1152954169.463225.115870@m73g2000cwd.googlegroups.com>
   <1153047819.963578.273790@b28g2000cwb.googlegroups.com>
   <1153076620.121458.15340@s13g2000cwa.googlegroups.com>
   <1153077828.125873.110990@s13g2000cwa.googlegroups.com>
   <1153082336.946705.229490@i42g2000cwa.googlegroups.com>
   <1153082895.216206.209410@m73g2000cwd.googlegroups.com>
   <1153084222.121345.50950@i42g2000cwa.googlegroups.com>
   <1153102659.360518.321250@h48g2000cwc.googlegroups.com>
   <1153129018.098372.91490@b28g2000cwb.googlegroups.com>
   <1153152008.423246.82160@35g2000cwc.googlegroups.com>
NNTP-Posting-Host: 195.154.188.107
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1153154613 752 127.0.0.1 (17 Jul 2006 16:43:33 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 17 Jul 2006 16:43:33 +0000 (UTC)
In-Reply-To: <1153152008.423246.82160@35g2000cwc.googlegroups.com>
User-Agent: G2/0.2
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1; .NET CLR 1.1.4322),gzip(gfe),gzip(gfe)
X-HTTP-Via: 1.0 localhost:5656 (squid/2.5.STABLE11)
Complaints-To: groups-abuse@google.com
Injection-Info: p79g2000cwp.googlegroups.com; posting-host=195.154.188.107;
   posting-account=XWbNBg0AAABXMdLVqoM3R9n-RIU90_cb
Xref: dp-news.maxwell.syr.edu comp.databases.theory:43418


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.