Re: deductive databases

From: Jan Hidders <jan.hidders_at_REMOVETHIS.pandora.be>
Date: Fri, 20 May 2005 17:55:22 GMT
Message-ID: <ewpje.96579$Zr4.5632099@phobos.telenet-ops.be>

Torkel Franzen wrote:
> Jan Hidders <jan.hidders_at_REMOVETHIS.pandora.be> writes:
>
>

>>I haven't really thought this through yet but I suspect that if your 
>>domain consists only of numbers, then, yes, you can probably express 
>>transitive closure.

>
> Just what sense of "express" do you have in mind here?

"There exists a formula over two binary predicates R and S that is true iff S is the transitive closure of R."

Jan Hidders

Received on Fri May 20 2005 - 12:55:22 CDT