From: | "Taral" <taral(at)mail(dot)utexas(dot)edu> |
---|---|
To: | "Bruce Momjian" <maillist(at)candle(dot)pha(dot)pa(dot)us> |
Cc: | <jwieck(at)debis(dot)com>, <hackers(at)postgreSQL(dot)org> |
Subject: | RE: [HACKERS] RE: [GENERAL] Long update query ? (also Re: [GENERAL] CNF vs. DNF) |
Date: | 1998-10-04 02:26:20 |
Message-ID: | 000501bdef3e$5f5293a0$3b291f0a@taral |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-general pgsql-hackers |
> however if A and C are identical, this could become:
>
> (A OR A) AND (A OR D) AND (B OR A) AND (B OR D)
>
> and A OR A is A:
>
> A AND (A OR D) AND (B OR A) AND (B OR D)
>
> and since we are now saying A has to be true, we can remove OR's with A:
>
> A AND (B OR D)
Very nice... and you could do that after each iteration of the rewrite,
preventing the size from getting too big. :)
I have a symbolic expression tree evaluator that would be perfect for
this... I'll see if I can't adapt it.
Can someone mail me the structures for expression trees? I don't want to
have to excise them from the source. Please?
Taral
From | Date | Subject | |
---|---|---|---|
Next Message | Bruce Momjian | 1998-10-04 03:32:14 | Re: [HACKERS] RE: [GENERAL] Long update query ? (also Re: [GENERAL] CNF vs. DNF) |
Previous Message | Bruce Momjian | 1998-10-04 01:57:30 | Re: [HACKERS] RE: [GENERAL] Long update query ? (also Re: [GENERAL] CNF vs. DNF) |
From | Date | Subject | |
---|---|---|---|
Next Message | Terry Mackintosh | 1998-10-04 02:49:14 | Re: [HACKERS] Dumping of views -- done! |
Previous Message | Bruce Momjian | 1998-10-04 01:57:30 | Re: [HACKERS] RE: [GENERAL] Long update query ? (also Re: [GENERAL] CNF vs. DNF) |