Re: compound propositions

From: paul c <>
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

Original text of this message