Re: Guessing?
From: paul c <toledobysea_at_ac.ooyah>
Date: Tue, 27 May 2008 15:52:39 GMT
Message-ID: <b7W_j.168305$rd2.56611_at_pd7urf3no>
>
> Goedel tells us there will always necessarily be some external
> intension. However, POOD asks us to minimize it and to render as much of
> the system as possible amenable to calculation.
> ...
Date: Tue, 27 May 2008 15:52:39 GMT
Message-ID: <b7W_j.168305$rd2.56611_at_pd7urf3no>
Bob Badour wrote:
> paul c wrote:
>
>> David BL wrote: >> >>> It seems to me that every base relvar will in practice have some >>> defined intensional definition outside the RM formalism and >>> inaccessible to the DBMS. >> >> A practitioner who (knowingly) tolerates or suggests that is likely >> either a sucker or a charlatan. (Bob B called Codd's example a >> straw-man.)
>
> Goedel tells us there will always necessarily be some external
> intension. However, POOD asks us to minimize it and to render as much of
> the system as possible amenable to calculation.
> ...
I think I can dig that. In other words, if one has decided to depend on a system, as far as that use is concerned it's pointless to worry about information the system is incapable of providing? Received on Tue May 27 2008 - 17:52:39 CEST