Oracle FAQ Your Portal to the Oracle Knowledge Grid

Home -> Community -> Usenet -> comp.databases.theory -> Re: x*x-1=0

Re: x*x-1=0

From: Vadim Tropashko <>
Date: Wed, 31 Jan 2001 19:39:27 GMT
Message-ID: <959ple$tch$>

In article <958n31$4g2$>, (Jan Hidders) wrote:
> Vadim Tropashko wrote:
> > In article <94rr74$l4j$>,
> > (Jan Hidders) wrote:
> > > Vadim Tropashko wrote:
> > > > Do tuples have *internal* structure in terms of set/bags theory?
> Yes, named tuples are defined as functions that map a name to a value.

I'm OK with this definition.

> And, as you probably know, functions can again be defined as a set of
> pairs, and a pair can also be defined in terms of sets.

Here, Reductionalism, again! A pair is defined in terms of sets as {a, {b}} or as {{a}, b}. This ambiguity indicates that the set construction is far from perfect. (At least, in programming ambiguity was never a good thing:-)

> > > > > But things get, from an algebraic perspective, a little more
> > > > > complicated because the cartesian product does not commute as
> > > > > the join does.
> >
> > In exercise 6.1 Chris suggests to verify that product (along with
> > other operations) is commutative. On the other page he claims that
> > is commutative as well.
> Yes, but note that he talks about the algebra defined on sets of
> *named* tuples (and, therefore, needs the rename operator) where I was
> talking about the algebra defined on sets of *ordered* tuples. The
> operations on these algebras are similar but have different algebraic
> properties.
> > I agree that renaming could be viewed as algebraic operation. I
> > 1. if this is a productive definition
> Well, for starters, it is definitely something that you need to be
> to do, and it is not expressible with the other operators. So by that
> definition of "productive" it is not only productive but even
> > 2. how would I define relational algebra without renaming (renaming,
> > then, goes into metamodel). The fact that in classic algebras we
> > consider renaming as part of algebra confuses me
> Sorry, renaming has to be there. That it confuses you is not the
> algebra's problem. :-)
> > 3. how algebra with renaming operation relates to the one without it
> The expressive power becomes greater.

For me this sounds pretty much like "If I rename variables in Maxwell equations, then they won't describe electromagnetic waves any more".

Sent via Received on Wed Jan 31 2001 - 13:39:27 CST

Original text of this message