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: Robert Low <mtx014_at_coventry.ac.uk>
Date: Sat, 14 May 2005 15:57:30 +0100
Message-ID: <3emht6F3tlokU1@individual.net> 





alex goldman wrote:


> Robert Low wrote:



>>But what is car(cons(X,Y),X)? 


> It's a relation (whereas in Lips, it would be a function)




So it's just the statement that car of cons(X,Y) is X?
(To put it another way, the pair (Z,X) satisfies car(Z,X)
iff X is car(Z)?)
Received on Sat May 14 2005 - 09:57:30 CDT












Original text of this message













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