Re: deductive databases
From: Torkel Franzen <torkel_at_sm.luth.se>
Date: 20 May 2005 21:04:51 +0200
Message-ID: <vcbll69oh0s.fsf_at_beta19.sm.ltu.se>
Date: 20 May 2005 21:04:51 +0200
Message-ID: <vcbll69oh0s.fsf_at_beta19.sm.ltu.se>
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? Received on Fri May 20 2005 - 21:04:51 CEST