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: Categorization of Predicates

Re: Categorization of Predicates

From: Paul G. Brown <paul_geoffrey_brown_at_yahoo.com>
Date: 4 Nov 2002 13:32:28 -0800
Message-ID: <57da7b56.0211041332.3b21b519@posting.google.com> 





"Bob Badour" <bbadour_at_golden.net> wrote in message news:<QPox9.149$Nc4.48558210_at_radon.golden.net>...


> The terms you seek (and a couple others) are: commutative, associative,

> distributive and transitive.




  Not to mention reflexive, closed, invertible, symmetric (and probably a 
  few others). 



  Or you could write a theorem prover and derive the majority from a 
  minority. 



  (Are we showing off yet?)
Received on Mon Nov 04 2002 - 15:32:28 CST












Original text of this message













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