third_party/sqlite/src/test/where3.test

   1 # 2006 January 31
   2 #
   3 # The author disclaims copyright to this source code.  In place of
   4 # a legal notice, here is a blessing:
   5 #
   6 #    May you do good and not evil.
   7 #    May you find forgiveness for yourself and forgive others.
   8 #    May you share freely, never taking more than you give.
   9 #
  10 #***********************************************************************
  11 # This file implements regression tests for SQLite library.  The
  12 # focus of this file is testing the join reordering optimization
  13 # in cases that include a LEFT JOIN.
  14 #
  15 # $Id: where3.test,v 1.4 2008/04/17 19:14:02 drh Exp $
  16
  17 set testdir [file dirname $argv0]
  18 source $testdir/tester.tcl
  19
  20 # The following is from ticket #1652.
  21 #
  22 # A comma join then a left outer join:  A,B left join C.
  23 # Arrange indices so that the B table is chosen to go first.
  24 # Also put an index on C, but make sure that A is chosen before C.
  25 #
  26 do_test where3-1.1 {
  27   execsql {
  28     CREATE TABLE t1(a, b);
  29     CREATE TABLE t2(p, q);
  30     CREATE TABLE t3(x, y);
  31
  32     INSERT INTO t1 VALUES(111,'one');
  33     INSERT INTO t1 VALUES(222,'two');
  34     INSERT INTO t1 VALUES(333,'three');
  35
  36     INSERT INTO t2 VALUES(1,111);
  37     INSERT INTO t2 VALUES(2,222);
  38     INSERT INTO t2 VALUES(4,444);
  39     CREATE INDEX t2i1 ON t2(p);
  40
  41     INSERT INTO t3 VALUES(999,'nine');
  42     CREATE INDEX t3i1 ON t3(x);
  43
  44     SELECT * FROM t1, t2 LEFT JOIN t3 ON q=x WHERE p=2 AND a=q;
  45   }
  46 } {222 two 2 222 {} {}}
  47
  48 ifcapable explain {
  49   do_test where3-1.1.1 {
  50      explain_no_trace {SELECT * FROM t1, t2 LEFT JOIN t3 ON q=x
  51                         WHERE p=2 AND a=q}
  52   } [explain_no_trace {SELECT * FROM t1, t2 LEFT JOIN t3 ON x=q
  53                         WHERE p=2 AND a=q}]
  54 }
  55
  56 # Ticket #1830
  57 #
  58 # This is similar to the above but with the LEFT JOIN on the
  59 # other side.
  60 #
  61 do_test where3-1.2 {
  62   execsql {
  63     CREATE TABLE parent1(parent1key, child1key, Child2key, child3key);
  64     CREATE TABLE child1 ( child1key NVARCHAR, value NVARCHAR );
  65     CREATE UNIQUE INDEX PKIDXChild1 ON child1 ( child1key );
  66     CREATE TABLE child2 ( child2key NVARCHAR, value NVARCHAR );
  67
  68     INSERT INTO parent1(parent1key,child1key,child2key)
  69        VALUES ( 1, 'C1.1', 'C2.1' );
  70     INSERT INTO child1 ( child1key, value ) VALUES ( 'C1.1', 'Value for C1.1' );
  71     INSERT INTO child2 ( child2key, value ) VALUES ( 'C2.1', 'Value for C2.1' );
  72
  73     INSERT INTO parent1 ( parent1key, child1key, child2key )
  74        VALUES ( 2, 'C1.2', 'C2.2' );
  75     INSERT INTO child2 ( child2key, value ) VALUES ( 'C2.2', 'Value for C2.2' );
  76
  77     INSERT INTO parent1 ( parent1key, child1key, child2key )
  78        VALUES ( 3, 'C1.3', 'C2.3' );
  79     INSERT INTO child1 ( child1key, value ) VALUES ( 'C1.3', 'Value for C1.3' );
  80     INSERT INTO child2 ( child2key, value ) VALUES ( 'C2.3', 'Value for C2.3' );
  81
  82     SELECT parent1.parent1key, child1.value, child2.value
  83     FROM parent1
  84     LEFT OUTER JOIN child1 ON child1.child1key = parent1.child1key
  85     INNER JOIN child2 ON child2.child2key = parent1.child2key;
  86   }
  87 } {1 {Value for C1.1} {Value for C2.1} 2 {} {Value for C2.2} 3 {Value for C1.3} {Value for C2.3}}
  88
  89 ifcapable explain {
  90   do_test where3-1.2.1 {
  91      explain_no_trace {
  92        SELECT parent1.parent1key, child1.value, child2.value
  93        FROM parent1
  94        LEFT OUTER JOIN child1 ON child1.child1key = parent1.child1key
  95        INNER JOIN child2 ON child2.child2key = parent1.child2key;
  96      }
  97   } [explain_no_trace {
  98        SELECT parent1.parent1key, child1.value, child2.value
  99        FROM parent1
 100        LEFT OUTER JOIN child1 ON parent1.child1key = child1.child1key
 101        INNER JOIN child2 ON child2.child2key = parent1.child2key;
 102      }]
 103 }
 104
 105 # This procedure executes the SQL.  Then it appends
 106 # the ::sqlite_query_plan variable.
 107 #
 108 proc queryplan {sql} {
 109   set ::sqlite_sort_count 0
 110   set data [execsql $sql]
 111   return [concat $data $::sqlite_query_plan]
 112 }
 113
 114
 115 # If you have a from clause of the form:   A B C left join D
 116 # then make sure the query optimizer is able to reorder the
 117 # A B C part anyway it wants.
 118 #
 119 # Following the fix to ticket #1652, there was a time when
 120 # the C table would not reorder.  So the following reorderings
 121 # were possible:
 122 #
 123 #            A B C left join D
 124 #            B A C left join D
 125 #
 126 # But these reorders were not allowed
 127 #
 128 #            C A B left join D
 129 #            A C B left join D
 130 #            C B A left join D
 131 #            B C A left join D
 132 #
 133 # The following tests are here to verify that the latter four
 134 # reorderings are allowed again.
 135 #
 136 do_test where3-2.1 {
 137   execsql {
 138     CREATE TABLE tA(apk integer primary key, ax);
 139     CREATE TABLE tB(bpk integer primary key, bx);
 140     CREATE TABLE tC(cpk integer primary key, cx);
 141     CREATE TABLE tD(dpk integer primary key, dx);
 142   }
 143   queryplan {
 144     SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx
 145      WHERE cpk=bx AND bpk=ax
 146   }
 147 } {tA {} tB * tC * tD *}
 148 do_test where3-2.1.1 {
 149   queryplan {
 150     SELECT * FROM tA, tB, tC LEFT JOIN tD ON cx=dpk
 151      WHERE cpk=bx AND bpk=ax
 152   }
 153 } {tA {} tB * tC * tD *}
 154 do_test where3-2.1.2 {
 155   queryplan {
 156     SELECT * FROM tA, tB, tC LEFT JOIN tD ON cx=dpk
 157      WHERE bx=cpk AND bpk=ax
 158   }
 159 } {tA {} tB * tC * tD *}
 160 do_test where3-2.1.3 {
 161   queryplan {
 162     SELECT * FROM tA, tB, tC LEFT JOIN tD ON cx=dpk
 163      WHERE bx=cpk AND ax=bpk
 164   }
 165 } {tA {} tB * tC * tD *}
 166 do_test where3-2.1.4 {
 167   queryplan {
 168     SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx
 169      WHERE bx=cpk AND ax=bpk
 170   }
 171 } {tA {} tB * tC * tD *}
 172 do_test where3-2.1.5 {
 173   queryplan {
 174     SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx
 175      WHERE cpk=bx AND ax=bpk
 176   }
 177 } {tA {} tB * tC * tD *}
 178 do_test where3-2.2 {
 179   queryplan {
 180     SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx
 181      WHERE cpk=bx AND apk=bx
 182   }
 183 } {tB {} tA * tC * tD *}
 184 do_test where3-2.3 {
 185   queryplan {
 186     SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx
 187      WHERE cpk=bx AND apk=bx
 188   }
 189 } {tB {} tA * tC * tD *}
 190 do_test where3-2.4 {
 191   queryplan {
 192     SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx
 193      WHERE apk=cx AND bpk=ax
 194   }
 195 } {tC {} tA * tB * tD *}
 196 do_test where3-2.5 {
 197   queryplan {
 198     SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx
 199      WHERE cpk=ax AND bpk=cx
 200   }
 201 } {tA {} tC * tB * tD *}
 202 do_test where3-2.6 {
 203   queryplan {
 204     SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx
 205      WHERE bpk=cx AND apk=bx
 206   }
 207 } {tC {} tB * tA * tD *}
 208 do_test where3-2.7 {
 209   queryplan {
 210     SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx
 211      WHERE cpk=bx AND apk=cx
 212   }
 213 } {tB {} tC * tA * tD *}
 214
 215 # Ticket [13f033c865f878953]
 216 # If the outer loop must be a full table scan, do not let ANALYZE trick
 217 # the planner into use a table for the outer loop that might be indexable
 218 # if held until an inner loop.
 219 #
 220 do_execsql_test where3-3.0 {
 221   CREATE TABLE t301(a INTEGER PRIMARY KEY,b,c);
 222   CREATE INDEX t301c ON t301(c);
 223   INSERT INTO t301 VALUES(1,2,3);
 224   CREATE TABLE t302(x, y);
 225   INSERT INTO t302 VALUES(4,5);
 226   ANALYZE;
 227   explain query plan SELECT * FROM t302, t301 WHERE t302.x=5 AND t301.a=t302.y;
 228 } {
 229   0 0 0 {SCAN TABLE t302 (~1 rows)}
 230   0 1 1 {SEARCH TABLE t301 USING INTEGER PRIMARY KEY (rowid=?) (~1 rows)}
 231 }
 232 do_execsql_test where3-3.1 {
 233   explain query plan
 234   SELECT * FROM t301, t302 WHERE t302.x=5 AND t301.a=t302.y;
 235 } {
 236   0 0 1 {SCAN TABLE t302 (~1 rows)}
 237   0 1 0 {SEARCH TABLE t301 USING INTEGER PRIMARY KEY (rowid=?) (~1 rows)}
 238 }
 239
 240 # Verify that when there are multiple tables in a join which must be
 241 # full table scans that the query planner attempts put the table with
 242 # the fewest number of output rows as the outer loop.
 243 #
 244 do_execsql_test where3-4.0 {
 245   CREATE TABLE t400(a INTEGER PRIMARY KEY, b, c);
 246   CREATE TABLE t401(p INTEGER PRIMARY KEY, q, r);
 247   CREATE TABLE t402(x INTEGER PRIMARY KEY, y, z);
 248   EXPLAIN QUERY PLAN
 249   SELECT * FROM t400, t401, t402 WHERE t402.z GLOB 'abc*';
 250 } {
 251   0 0 2 {SCAN TABLE t402 (~500000 rows)}
 252   0 1 0 {SCAN TABLE t400 (~1000000 rows)}
 253   0 2 1 {SCAN TABLE t401 (~1000000 rows)}
 254 }
 255 do_execsql_test where3-4.1 {
 256   EXPLAIN QUERY PLAN
 257   SELECT * FROM t400, t401, t402 WHERE t401.r GLOB 'abc*';
 258 } {
 259   0 0 1 {SCAN TABLE t401 (~500000 rows)}
 260   0 1 0 {SCAN TABLE t400 (~1000000 rows)}
 261   0 2 2 {SCAN TABLE t402 (~1000000 rows)}
 262 }
 263 do_execsql_test where3-4.2 {
 264   EXPLAIN QUERY PLAN
 265   SELECT * FROM t400, t401, t402 WHERE t400.c GLOB 'abc*';
 266 } {
 267   0 0 0 {SCAN TABLE t400 (~500000 rows)}
 268   0 1 1 {SCAN TABLE t401 (~1000000 rows)}
 269   0 2 2 {SCAN TABLE t402 (~1000000 rows)}
 270 }
 271
 272 # Verify that a performance regression encountered by firefox
 273 # has been fixed.
 274 #
 275 do_execsql_test where3-5.0 {
 276   CREATE TABLE aaa (id INTEGER PRIMARY KEY, type INTEGER,
 277                     fk INTEGER DEFAULT NULL, parent INTEGER,
 278                     position INTEGER, title LONGVARCHAR,
 279                     keyword_id INTEGER, folder_type TEXT,
 280                     dateAdded INTEGER, lastModified INTEGER);
 281   CREATE INDEX aaa_111 ON aaa (fk, type);
 282   CREATE INDEX aaa_222 ON aaa (parent, position);
 283   CREATE INDEX aaa_333 ON aaa (fk, lastModified);
 284   CREATE TABLE bbb (id INTEGER PRIMARY KEY, type INTEGER,
 285                     fk INTEGER DEFAULT NULL, parent INTEGER,
 286                     position INTEGER, title LONGVARCHAR,
 287                     keyword_id INTEGER, folder_type TEXT,
 288                     dateAdded INTEGER, lastModified INTEGER);
 289   CREATE INDEX bbb_111 ON bbb (fk, type);
 290   CREATE INDEX bbb_222 ON bbb (parent, position);
 291   CREATE INDEX bbb_333 ON bbb (fk, lastModified);
 292
 293   EXPLAIN QUERY PLAN
 294    SELECT bbb.title AS tag_title
 295      FROM aaa JOIN bbb ON bbb.id = aaa.parent
 296     WHERE aaa.fk = 'constant'
 297       AND LENGTH(bbb.title) > 0
 298       AND bbb.parent = 4
 299     ORDER BY bbb.title COLLATE NOCASE ASC;
 300 } {
 301   0 0 0 {SEARCH TABLE aaa USING INDEX aaa_333 (fk=?) (~10 rows)}
 302   0 1 1 {SEARCH TABLE bbb USING INTEGER PRIMARY KEY (rowid=?) (~1 rows)}
 303   0 0 0 {USE TEMP B-TREE FOR ORDER BY}
 304 }
 305 do_execsql_test where3-5.1 {
 306   EXPLAIN QUERY PLAN
 307    SELECT bbb.title AS tag_title
 308      FROM aaa JOIN aaa AS bbb ON bbb.id = aaa.parent
 309     WHERE aaa.fk = 'constant'
 310       AND LENGTH(bbb.title) > 0
 311       AND bbb.parent = 4
 312     ORDER BY bbb.title COLLATE NOCASE ASC;
 313 } {
 314   0 0 0 {SEARCH TABLE aaa USING INDEX aaa_333 (fk=?) (~10 rows)}
 315   0 1 1 {SEARCH TABLE aaa AS bbb USING INTEGER PRIMARY KEY (rowid=?) (~1 rows)}
 316   0 0 0 {USE TEMP B-TREE FOR ORDER BY}
 317 }
 318 do_execsql_test where3-5.2 {
 319   EXPLAIN QUERY PLAN
 320    SELECT bbb.title AS tag_title
 321      FROM bbb JOIN aaa ON bbb.id = aaa.parent
 322     WHERE aaa.fk = 'constant'
 323       AND LENGTH(bbb.title) > 0
 324       AND bbb.parent = 4
 325     ORDER BY bbb.title COLLATE NOCASE ASC;
 326 } {
 327   0 0 1 {SEARCH TABLE aaa USING INDEX aaa_333 (fk=?) (~10 rows)}
 328   0 1 0 {SEARCH TABLE bbb USING INTEGER PRIMARY KEY (rowid=?) (~1 rows)}
 329   0 0 0 {USE TEMP B-TREE FOR ORDER BY}
 330 }
 331 do_execsql_test where3-5.3 {
 332   EXPLAIN QUERY PLAN
 333    SELECT bbb.title AS tag_title
 334      FROM aaa AS bbb JOIN aaa ON bbb.id = aaa.parent
 335     WHERE aaa.fk = 'constant'
 336       AND LENGTH(bbb.title) > 0
 337       AND bbb.parent = 4
 338     ORDER BY bbb.title COLLATE NOCASE ASC;
 339 } {
 340   0 0 1 {SEARCH TABLE aaa USING INDEX aaa_333 (fk=?) (~10 rows)}
 341   0 1 0 {SEARCH TABLE aaa AS bbb USING INTEGER PRIMARY KEY (rowid=?) (~1 rows)}
 342   0 0 0 {USE TEMP B-TREE FOR ORDER BY}
 343 }
 344
 345 finish_test