Re: Counting propositions

• Post for FREE via your newsreader at post.usenet.com ****

"Paul" <paul_at_test.com> wrote in message
news:O74Ac.15992$NK4.2654639_at_stones.force9.net...
> x wrote:
> > If tuples in a relational relation(ship) (or relvar) are propositions,
what
> > is the meaning of :
> >
> > select count(distinct *) as nr
> > from <relvar>
>
> A relation corresponds to a set of propositions that all follow the same
> predicate "template". So your predicate might be:
>
> p(x,y,z)
>
> where x,y,z are "variables" that range over values in domain sets X,Y,Z
> say. But only some values of x,y,z will be true.
> There will be |X|.|Y|.|Z| possible ways of substituting values in the
> predicate (where |X| is the number of elements in the set X).

> The closed world assumption says that everything not in the database is
> false. And the "SELECT COUNT(*)" query is saying how many values of
> (x,y,z) there are for which p(x,y,z) is true.

Best answer so far.
So we aren't counting the propositions, we are counting the (x,y,z) values. Why is this useful ?

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

• Usenet.com - The #1 Usenet Newsgroup Service on The Planet! *** http://www.usenet.com Unlimited Download - 19 Seperate Servers - 90,000 groups - Uncensored -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=