Re: Lots of Idiotic Silly Braces?

From: paul c <toledobythesea_at_oohay.ac>
Date: Fri, 20 Jul 2007 15:39:34 GMT
Message-ID: <WG4oi.131848$xq1.57098@pd7urf1no>

paul c wrote:
> Brian Selzer wrote:
> ...

...

>> definition of a functional dependency, it follows that the duality of 
>> GROUP and UNGROUP can only hold when the rva is a dependent attribute.
>> ...

> It holds when the attributes that are not grouped are dependents.

Pardon me, I didn't say that right. Using my own oddball notation which helps me see a little easier how many tuples there are, let me try again.

(1) r=
a b
1 1
1 2
2 2

(2) r{S{a},b}= // (ie., group r, on a) S{a} b
{1} 1
{1,2} 2

(3) S{r{a}}= // (ie., group the projection on a of r, on a S{a}
{1,2}

The projection "S{a}" from (2) and the value of (3) are different because r.a is not a determinant. Whereas if the second tuple of r were removed, they would be equal.

p Received on Fri Jul 20 2007 - 10:39:34 CDT