Re: Interpretation of Relations

Bob Badour wrote:
> Joe Thurbon wrote:
> >
> > Anyway, I've rambled on quite a bit. The ideas are pretty new to me,
> > still in development, and really, I'm getting ahead of myself because I
> > still don't fully understand the RM.
>
> Would the observation that the relational calculus is basically 1st
> order predicate logic help you understand it better?

That's a rather simplistic comparison and may do you more harm than good. The Relational Algebra is rather trivial and perhaps should have been called "Relational Arithmetic". FOL is far richer and it's undecidable. Received on Mon Jan 22 2007 - 15:25:09 CET