Re: deductive databases

From: Jan Hidders <jan.hidders_at_REMOVETHIS.pandora.be>
Date: Fri, 20 May 2005 20:20:21 GMT
Message-ID: <9Erje.96690$i84.5622835_at_phobos.telenet-ops.be>

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

>>In a structure with the two binary relations R and S. The formula should 
>>be true for precisely those structures in which S is the transitive 
>>closure of R.

>
> How then does the condition "your domain consists only of numbers"
> enter into it?

The structure also contains a domain over which R and S are relations. This condition means we only consider structures where this domain is restricted to the natural numbers.

Jan Hidders

Received on Fri May 20 2005 - 22:20:21 CEST

This message: [ Message body ]
Next message: Mikito Harakiri: "Re: Database in Depth"
Previous message: Mikito Harakiri: "Re: deductive databases"
In reply to Torkel Franzen: "Re: deductive databases"
Next in thread: David Cressey: "Re: deductive databases"
Reply: Torkel Franzen: "Re: deductive databases"

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

Original text of this message