Path: dp-news.maxwell.syr.edu!spool.maxwell.syr.edu!drn.maxwell.syr.edu!news.maxwell.syr.edu!news.netins.net!not-for-mail
From: "Dawn M. Wolthuis" <dwolt@tincat-group.comREMOVE>
Newsgroups: comp.databases.theory
Subject: Re: 1GB  Tables as Classes, or Tables as Types, and all that refuted
Date: Mon, 29 Nov 2004 16:44:44 -0600
Organization: netINS InterNetNews site
Lines: 52
Message-ID: <cog8p9$anv$1@news.netins.net>
References: <4195d930$0$178$edfadb0f@dread11.news.tele.dk> <vOpld.28011$V41.24970@attbi_s52> <4196FB0A.4030902@earthlink.net> <9KRld.23390$J75.1263650@phobos.telenet-ops.be> <2vqqjcF2ostaaU1@uni-berlin.de> <1c92edeb.0411150636.68056982@posting.google.com> <4198c7f9.19500937@news.wanadoo.es> <419f08e6$0$292$edfadb0f@dread11.news.tele.dk> <41a1d713.7052921@news.wanadoo.es> <cnst91$vim$1@news.net.uni-c.dk> <41a3148c.3692859@news.wanadoo.es> <cnvh63$rlu$1@news.net.uni-c.dk> <d9o7q0l1aa2fronknqeis1v95sijmvn6gn@4ax.com> <41a4a824$0$228$edfadb0f@dread11.news.tele.dk> <41a4bcf4.21479484@news.wanadoo.es> <41a4d881$0$205$edfadb0f@dread11.news.tele.dk> <41a4e1b0.30883453@news.wanadoo.es> <AJ6pd.34550$0d1.1769598@phobos.telenet-ops.be>
NNTP-Posting-Host: 199.120.93.7
X-Trace: news.netins.net 1101768297 11007 199.120.93.7 (29 Nov 2004 22:44:57 GMT)
X-Complaints-To: usenet@netins.net
NNTP-Posting-Date: Mon, 29 Nov 2004 22:44:57 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1437
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441
Xref: dp-news.maxwell.syr.edu comp.databases.theory:28686

"Jan Hidders" <jan.hidders@REMOVETHIS.pandora.be> wrote in message
news:AJ6pd.34550$0d1.1769598@phobos.telenet-ops.be...
> Alfredo Novoa wrote:
> > On Wed, 24 Nov 2004 19:52:30 +0100, "Ja Lar" <ingen@mail.her> wrote:
> >
> >
> >>So the set of values specified by the type is (in this case) a set of
> >>relations.
> >
> >
> > Indeed.
> >
> >
> >>But the set of values that a relation is ("contains") cannot be mapped
to
> >>the set of values that a type is ("contains")
> >
> >
> > They can be mapped but then you are not mapping a relation to a type,
> > you are mapping the values contained in the tuples of a relation to
> > the values of a type. This is a value to value mapping.
> >
> >
> >>, ie. "a relation cannot be a
> >>type", if I understand you right ?
> >
> >
> > This is true, but this is not the same as you said above.
>
>
> Just out of curiosity, Leandro, are you seriously contending that DBMSs
> that treat relational variables as types are making a fundamental
> mistake because by definition relational variables and types are
> distinct in the sense that something cannot be both at the same time?
>
> I simply cannot believe that you do not see what is problematic about
> this type of argument. Seriously.

I'm trying to catch up and thought perhaps someone could answer these two
questions -- 

1) Has anyone provided any better logic related to the 1GB than that
provided by Date?  If not, I would think we could talk about this as
intuition or hypothesis that there is a mistake rather than anything
resembling a proof, right?

2) Has anyone given a good refutation that there is no Great Blunder other
than to attack the lack of logic in the defense of the 1GB?

Thanks in advance for helping me catch up.  Cheers!  --dawn