gitlab.com/CoiaPrant/sqlite3@v1.19.1/testdata/tcl/where6.test (about)

     1  # 2007 June 8
     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 that terms in the ON clause of
    13  # a LEFT OUTER JOIN are not used with indices.  See ticket #3015.
    14  #
    15  # $Id: where6.test,v 1.2 2008/04/17 19:14:02 drh Exp $
    16  
    17  set testdir [file dirname $argv0]
    18  source $testdir/tester.tcl
    19  
    20  # Build some test data
    21  #
    22  do_test where6-1.1 {
    23    execsql {
    24      CREATE TABLE t1(a INTEGER PRIMARY KEY,b,c);
    25      INSERT INTO t1 VALUES(1,3,1);
    26      INSERT INTO t1 VALUES(2,4,2);
    27      CREATE TABLE t2(x INTEGER PRIMARY KEY);
    28      INSERT INTO t2 VALUES(3);
    29  
    30      SELECT * FROM t1 LEFT JOIN t2 ON b=x AND c=1;
    31    }
    32  } {1 3 1 3 2 4 2 {}}
    33  do_test where6-1.2 {
    34    execsql {
    35      SELECT * FROM t1 LEFT JOIN t2 ON x=b AND c=1;
    36    }
    37  } {1 3 1 3 2 4 2 {}}
    38  do_test where6-1.3 {
    39    execsql {
    40      SELECT * FROM t1 LEFT JOIN t2 ON x=b AND 1=c;
    41    }
    42  } {1 3 1 3 2 4 2 {}}
    43  do_test where6-1.4 {
    44    execsql {
    45      SELECT * FROM t1 LEFT JOIN t2 ON b=x AND 1=c;
    46    }
    47  } {1 3 1 3 2 4 2 {}}
    48  
    49  ifcapable explain {
    50    do_test where6-1.5 {
    51       explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON x=b AND 1=c}
    52    } [explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON b=x AND c=1}]
    53    do_test where6-1.6 {
    54       explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON x=b WHERE 1=c}
    55    } [explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON b=x WHERE c=1}]
    56  }
    57  
    58  do_test where6-1.11 {
    59    execsql {
    60      SELECT * FROM t1 LEFT JOIN t2 ON b=x WHERE c=1;
    61    }
    62  } {1 3 1 3}
    63  do_test where6-1.12 {
    64    execsql {
    65      SELECT * FROM t1 LEFT JOIN t2 ON x=b WHERE c=1;
    66    }
    67  } {1 3 1 3}
    68  do_test where6-1.13 {
    69    execsql {
    70      SELECT * FROM t1 LEFT JOIN t2 ON b=x WHERE 1=c;
    71    }
    72  } {1 3 1 3}
    73  
    74  
    75  
    76  do_test where6-2.1 {
    77    execsql {
    78      CREATE INDEX i1 ON t1(c);
    79  
    80      SELECT * FROM t1 LEFT JOIN t2 ON b=x AND c=1;
    81    }
    82  } {1 3 1 3 2 4 2 {}}
    83  do_test where6-2.2 {
    84    execsql {
    85      SELECT * FROM t1 LEFT JOIN t2 ON x=b AND c=1;
    86    }
    87  } {1 3 1 3 2 4 2 {}}
    88  do_test where6-2.3 {
    89    execsql {
    90      SELECT * FROM t1 LEFT JOIN t2 ON x=b AND 1=c;
    91    }
    92  } {1 3 1 3 2 4 2 {}}
    93  do_test where6-2.4 {
    94    execsql {
    95      SELECT * FROM t1 LEFT JOIN t2 ON b=x AND 1=c;
    96    }
    97  } {1 3 1 3 2 4 2 {}}
    98  
    99  ifcapable explain {
   100    do_test where6-2.5 {
   101       explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON x=b AND 1=c}
   102    } [explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON b=x AND c=1}]
   103    do_test where6-2.6 {
   104       explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON x=b WHERE 1=c}
   105    } [explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON b=x WHERE c=1}]
   106  }
   107  
   108  
   109  do_test where6-2.11 {
   110    execsql {
   111      SELECT * FROM t1 LEFT JOIN t2 ON b=x WHERE c=1;
   112    }
   113  } {1 3 1 3}
   114  do_test where6-2.12 {
   115    execsql {
   116      SELECT * FROM t1 LEFT JOIN t2 ON x=b WHERE c=1;
   117    }
   118  } {1 3 1 3}
   119  do_test where6-2.13 {
   120    execsql {
   121      SELECT * FROM t1 LEFT JOIN t2 ON x=b WHERE 1=c;
   122    }
   123  } {1 3 1 3}
   124  do_test where6-2.14 {
   125    execsql {
   126      SELECT * FROM t1 LEFT JOIN t2 ON b=x WHERE 1=c;
   127    }
   128  } {1 3 1 3}
   129  
   130  # Ticket [ebdbadade5b]:
   131  # If the ON close on a LEFT JOIN is of the form x=y where both x and y
   132  # are indexed columns on tables to left of the join, then do not use that 
   133  # term with indices to either table.
   134  #
   135  do_test where6-3.1 {
   136    db eval {
   137      CREATE TABLE t4(x UNIQUE);
   138      INSERT INTO t4 VALUES('abc');
   139      INSERT INTO t4 VALUES('def');
   140      INSERT INTO t4 VALUES('ghi');
   141      CREATE TABLE t5(a, b, c, PRIMARY KEY(a,b));
   142      INSERT INTO t5 VALUES('abc','def',123);
   143      INSERT INTO t5 VALUES('def','ghi',456);
   144  
   145      SELECT t4a.x, t4b.x, t5.c, t6.v
   146        FROM t4 AS t4a
   147             INNER JOIN t4 AS t4b
   148             LEFT JOIN t5 ON t5.a=t4a.x AND t5.b=t4b.x
   149             LEFT JOIN (SELECT 1 AS v) AS t6 ON t4a.x=t4b.x
   150       ORDER BY 1, 2, 3;
   151    }
   152  } {abc abc {} 1 abc def 123 {} abc ghi {} {} def abc {} {} def def {} 1 def ghi 456 {} ghi abc {} {} ghi def {} {} ghi ghi {} 1}
   153  
   154  finish_test