Adding upstream version 6.0.4.
Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
parent
d01130b3f1
commit
527597d2af
122 changed files with 23162 additions and 0 deletions
41
tests/fixtures/optimizer/normalize.sql
vendored
Normal file
41
tests/fixtures/optimizer/normalize.sql
vendored
Normal file
|
@ -0,0 +1,41 @@
|
|||
(A OR B) AND (B OR C) AND (E OR F);
|
||||
(A OR B) AND (B OR C) AND (E OR F);
|
||||
|
||||
(A AND B) OR (B AND C AND D);
|
||||
(A OR C) AND (A OR D) AND B;
|
||||
|
||||
(A OR B) AND (A OR C) AND (A OR D) AND (B OR C) AND (B OR D) AND B;
|
||||
(A OR C) AND (A OR D) AND B;
|
||||
|
||||
(A AND E) OR (B AND C) OR (D AND (E OR F));
|
||||
(A OR B OR D) AND (A OR C OR D) AND (B OR D OR E) AND (B OR E OR F) AND (C OR D OR E) AND (C OR E OR F);
|
||||
|
||||
(A AND B AND C AND D AND E AND F AND G) OR (H AND I AND J AND K AND L AND M AND N) OR (O AND P AND Q);
|
||||
(A AND B AND C AND D AND E AND F AND G) OR (H AND I AND J AND K AND L AND M AND N) OR (O AND P AND Q);
|
||||
|
||||
NOT NOT NOT (A OR B);
|
||||
NOT A AND NOT B;
|
||||
|
||||
A OR B;
|
||||
A OR B;
|
||||
|
||||
A AND (B AND C);
|
||||
A AND B AND C;
|
||||
|
||||
A OR (B AND C);
|
||||
(A OR B) AND (A OR C);
|
||||
|
||||
(A AND B) OR C;
|
||||
(A OR C) AND (B OR C);
|
||||
|
||||
A OR (B OR (C AND D));
|
||||
(A OR B OR C) AND (A OR B OR D);
|
||||
|
||||
A OR ((((B OR C) AND (B OR D)) OR C) AND (((B OR C) AND (B OR D)) OR D));
|
||||
(A OR B OR C) AND (A OR B OR D);
|
||||
|
||||
(A AND B) OR (C AND D);
|
||||
(A OR C) AND (A OR D) AND (B OR C) AND (B OR D);
|
||||
|
||||
(A AND B) OR (C OR (D AND E));
|
||||
(A OR C OR D) AND (A OR C OR E) AND (B OR C OR D) AND (B OR C OR E);
|
Loading…
Add table
Add a link
Reference in a new issue