Re: Object equals Relation
From: James <jraustin1_at_hotmail.com>
Date: 13 Jun 2002 10:53:58 -0700
Message-ID: <a6e74506.0206130953.65879669_at_posting.google.com>
Date: 13 Jun 2002 10:53:58 -0700
Message-ID: <a6e74506.0206130953.65879669_at_posting.google.com>
> > Below is the 'updated' OO model with proof of equivalence to a
> > relation:
>
> Your so-called "proof" omits the generic operations such as restriction,
> projection, cartesian product, join, rename, extension, summary, union,
> intersection and difference. Not to mention update. Or insert of
> n-dimensional tuples.
One need not prove "generic operations ... n-dimensional tuples" because they have already been proven by the Relational Mathematics.
One only needs to prove that the oo model describes the same concept as a relation. At which point, nothing prevents one from using them in the oo model. Received on Thu Jun 13 2002 - 19:53:58 CEST