Re: Counting propositions
Date: Thu, 17 Jun 2004 09:46:52 +0300
- Post for FREE via your newsreader at post.usenet.com ****
"Paul" <paul_at_test.com> wrote in message
> x wrote:
> > If tuples in a relational relation(ship) (or relvar) are propositions,
> > 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:
> 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 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=