Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: deductive databases

Re: deductive databases

From: Torkel Franzen <torkel_at_sm.luth.se>
Date: 20 May 2005 21:04:51 +0200
Message-ID: <vcbll69oh0s.fsf@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 - 14:04:51 CDT












Original text of this message













  HOME |
  ASK QUESTION |
  ADD INFO |
  SEARCH |
  E-MAIL US