Re: Extending my question. Was: The relational model and relational algebra - why did SQL become the industry standard?
Date: Tue, 25 Feb 2003 13:11:50 -0000
"Bob Badour" <bbadour_at_golden.net> wrote in message
> "Paul Vernon" <paul.vernon_at_ukk.ibmm.comm> wrote in message
> > "Bob Badour" <bbadour_at_golden.net> wrote in message
> > news:zst6a.297$9O1.43758648_at_mantis.golden.net...
> > > > Let me put it this way. If a type has 2 possiable representations,
> > > > A) the number of values represented by PosRep1 must equal the
> > > > of values represented by PosRep2
> > > > B) each value represented by PosRep1 must 'map' to exactly one
> > > > represented bt PosRep2, and versa.
> > >
> > > While desirable whenever possible and while certainly possible in an
> > > machine, I do not require this of physical implementations.
> > Yes and that is my worry. I'm not comfortable with such a fudge. If the
> > logical model cannot be implemented correctly then is there not something
> > wrong with the model?
> First, I would disagree that the implementation is incorrect. Second, I
> would observe that a logical data model is an ideal abstraction. Third, I
> would observe that any flaw lies in the physical implementation and not the
> logical data model.
- An implementation is incorrect if it does not faithfully reproduce all aspects of the model. To me it is obvious that an implementation that breaks say my A) and B) criteria is strictly incorrect.
- I disagree with the conceit that a 'logical data model is an ideal abstraction' with all the implications that the 'real world' has forever unknowable complexities . Ask a physicist. Do they consider their theories as abstractions of the world, or rather, as I see it, the theories are how the world *actually* works.
- But if, even in principle, no possible physical implementation could implement the logical model correctly, then quite simply the logical model is (to some extent) broken.
The received wisdom seems to suggest that it is OK to assume an infinite and continuous universe. Rubbish! Any logical model that needs to assume that is never going to be a true model of the world.
> Fourth and finally, I must ask: What other logical data
> model do you propose that addresses the specific issue of cartesian and
> polar coordinates and possible rounding in the internal physical
In the case of polar and catesian points, something like the following type hierarchy suggests itself to me
e.g. (a:0, b:0) = (r:0, theta:0), (a:1,b:0) = (r:1, theta:0) etc etc. This type has two poss reps.
Business Intelligence, IBM Global Services Received on Tue Feb 25 2003 - 14:11:50 CET