Tatsuo Ishii <t-ishii@sra.co.jp> writes:
> * process_duplicate_ors
> * Given a list of exprs which are ORed together, try to apply
> * the inverse OR distributive law.
> Anybody enlighten what "inverse OR distributive law" is?
Well, it's defined right above that:
* The following code attempts to apply the inverse OR distributive law:* ((A AND B) OR (A AND C)) => (A AND (B
ORC))* That is, locate OR clauses in which every subclause contains an* identical term, and pull out the duplicated
terms.
I'm not sure that "inverse OR distributive law" is standard terminology,
but I believe the implication in the other direction is usually called
the "OR distributive law". Anyone know of better terminology?
regards, tom lane