Re: compound propositions
From: paul c <toledobythesea_at_oohay.ac>
Date: Thu, 18 Mar 2010 17:35:16 GMT
Message-ID: <ovton.68451$Db2.35565_at_edtnps83>
...
>
> In other words, the extension of a predicate is the set of all tuples
> that satisfy the predicate.
> ...
Date: Thu, 18 Mar 2010 17:35:16 GMT
Message-ID: <ovton.68451$Db2.35565_at_edtnps83>
Bob Badour wrote:
> paul c wrote:
>
>> David BL wrote: >> ... >>> This boolean valued function can be said to represent a >>> predicate under an interpretation but I'm not sure if that's what you >>> mean. More specifically, what do you mean by "satisfy" when you say >>> relations satisfy predicates? >>> ...
...
>> match the variable names apparent in the predicates and the attribute >> types are applicable for whatever manipulations (eg., aggregation) the >> predicate states.
>
> In other words, the extension of a predicate is the set of all tuples
> that satisfy the predicate.
> ...
Yes, but David B asked what 'satisfy' means. Received on Thu Mar 18 2010 - 18:35:16 CET