Re: Guessing?
From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Wed, 28 May 2008 00:22:00 -0300
Message-ID: <483ccfdb$0$4060$9a566e8b_at_news.aliant.net>
>
>
> Isn't it constraints that make intensions concrete?
Date: Wed, 28 May 2008 00:22:00 -0300
Message-ID: <483ccfdb$0$4060$9a566e8b_at_news.aliant.net>
paul c wrote:
>> On May 28, 10:28 am, paul c <toledoby..._at_ac.ooyah> wrote:
>
>>>> ... >>> >>> A DBMS implementation is not concerned with questions of existence. >>> Hmmm, Principle of Non-Existence? >> >> I'm only suggesting that a DBMS implementation should respect the >> possibility that intensional definitions are present.
>
> Isn't it constraints that make intensions concrete?
See Goedel. A formalism that lacks any intension is complete but necessarily inconsistent. For dbmses (and for all computer systems for that matter), we try to choose consistent over complete. Received on Wed May 28 2008 - 05:22:00 CEST