Path: dp-news.maxwell.syr.edu!spool.maxwell.syr.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!postnews.google.com!j73g2000cwa.googlegroups.com!not-for-mail
From: "Marshall  Spight" <marshall.spight@gmail.com>
Newsgroups: comp.databases.theory
Subject: Re: Lucid statement of the MV vs RM position?
Date: 5 May 2006 09:39:52 -0700
Organization: http://groups.google.com
Lines: 17
Message-ID: <1146847192.700017.265490@j73g2000cwa.googlegroups.com>
References: <1146104086.659006.167480@y43g2000cwc.googlegroups.com>
   <1146405119.341278.269600@j33g2000cwa.googlegroups.com>
   <1146427454.405766.140990@e56g2000cwe.googlegroups.com>
   <1146479320.810243.40510@j33g2000cwa.googlegroups.com>
   <1146520667.985982.314140@y43g2000cwc.googlegroups.com>
   <1146525657.263941.305480@v46g2000cwv.googlegroups.com>
   <t2H5g.6990$Mn6.4895@trndny06>
   <e37i81$15m$1@orkan.itea.ntnu.no>
   <9VL5g.106714$WI1.4693@pd7tw2no>
   <e39j9c$59l$1@orkan.itea.ntnu.no>
   <JF36g.113324$WI1.32273@pd7tw2no>
   <e3cac3$lle$2@orkan.itea.ntnu.no>
   <S7p6g.121620$7a.76035@pd7tw1no>
   <e3da01$802$1@orkan.itea.ntnu.no>
   <4bq6g.122480$7a.57353@pd7tw1no>
   <e3er3u$fad$1@orkan.itea.ntnu.no>
   <AxH6g.126405$7a.65839@pd7tw1no>
   <e3fh6m$rro$1@orkan.itea.ntnu.no>
   <1146843282.012995.233710@y43g2000cwc.googlegroups.com>
NNTP-Posting-Host: 24.4.95.46
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1146847200 29869 127.0.0.1 (5 May 2006 16:40:00 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 5 May 2006 16:40:00 +0000 (UTC)
In-Reply-To: <1146843282.012995.233710@y43g2000cwc.googlegroups.com>
User-Agent: G2/0.2
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.5) Gecko/20041107 Firefox/1.0,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: j73g2000cwa.googlegroups.com; posting-host=24.4.95.46;
   posting-account=s2xCFw0AAAD2mIwYYHAqjdsecwG0axmW
Xref: dp-news.maxwell.syr.edu comp.databases.theory:39231

Marshall  Spight wrote:
>
> Isn't GROUP an aggregate operator?

To expand:

GROUP : UNION :: SUM : +

GROUP is to UNION as SUM is to PLUS.

Interestingly, UNION is parametrically polymorphic, which
raises the issue of parametrically polymorphic aggregate
operators.


Marshall