Re: deductive databases
From: vc <boston103_at_hotmail.com>
Date: 27 May 2005 08:51:45 -0700
Message-ID: <1117209105.116129.305730_at_g44g2000cwa.googlegroups.com>
Date: 27 May 2005 08:51:45 -0700
Message-ID: <1117209105.116129.305730_at_g44g2000cwa.googlegroups.com>
Jan Hidders wrote:
....
> The
> formula TC(a,b) is assumed to express that there is in R a path from a
> to b, right? And the reason that there is a model for each finite subset
> of the infinite set is that if n is the largest number for which Pn(a,b)
> is in the set, then we let R consist of a path from a to b with length
> n+1. Correct?
"Yes" to both.
Regards.
> -- Jan Hidders
Received on Fri May 27 2005 - 17:51:45 CEST