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_at_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 - 19:55:22 CEST

This message: [ Message body ]
Next message: Torkel Franzen: "Re: deductive databases"
Previous message: Kenneth Downs: "Re: database integrity"
In reply to Torkel Franzen: "Re: deductive databases"
Next in thread: x: "Re: database integrity"
Reply: Torkel Franzen: "Re: deductive databases"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]

Original text of this message