Re: storing survey answers of different data types
From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Sun, 26 Apr 2009 00:23:28 -0300
Message-ID: <49f3d3b3$0$5479$9a566e8b_at_news.aliant.net>
>
> No, I am not saying that. Obviously, any relation in the system catalog
> is a predicate.
Date: Sun, 26 Apr 2009 00:23:28 -0300
Message-ID: <49f3d3b3$0$5479$9a566e8b_at_news.aliant.net>
Bob Badour wrote:
> Joe Thurbon wrote:
>
>> On Sun, 26 Apr 2009 11:03:17 +1000, Bob Badour >> <bbadour_at_pei.sympatico.ca> wrote: >> >>> Joe Thurbon wrote: >>> >>>> On Sun, 26 Apr 2009 03:35:57 +1000, Bob Badour >>>> <bbadour_at_pei.sympatico.ca> wrote: >>>> >>>>> Joe Thurbon wrote: >>>>> >>>>>> On Sat, 25 Apr 2009 10:57:16 +1000, Bob Badour >>>>>> <bbadour_at_pei.sympatico.ca> wrote: >>>>>> >>>>>>> Joe Thurbon wrote: >>>>>>> >>>>>>>> On Fri, 24 Apr 2009 14:41:12 +1000, Bob Badour >>>>>>>> <bbadour_at_pei.sympatico.ca> wrote: >>>> I thought it was straightforward. I'll list my reasoning here, >>>> (1) Each relation R is a predicate >>>> (2) Each tuple in the relation R(v1, ..., vn) is a ground instance >>>> of that predicate >>>> (3) A system catalog is a predicate which contains unground instances >>>> of other predicates. >>>> (4) That's second order >>> >>> >>> 3 is dodgy. A system catalog is just a bunch of relations a la 1) and >>> 2). >> >> Are you saying that none of the values in the system catalog are >> predicates?
>
> No, I am not saying that. Obviously, any relation in the system catalog
> is a predicate.
You use a lot of logic terminology, but you don't seem to really understand any of it. I apologize, but I won't be spending any more time on your questions. Received on Sun Apr 26 2009 - 05:23:28 CEST