whereD.test 6.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222
  1. # 2012 August 24
  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 an index may be used as a covering
  13. # index when there are OR expressions in the WHERE clause.
  14. #
  15. set testdir [file dirname $argv0]
  16. source $testdir/tester.tcl
  17. set ::testprefix whereD
  18. do_execsql_test 1.1 {
  19. CREATE TABLE t(i,j,k,m,n);
  20. CREATE INDEX ijk ON t(i,j,k);
  21. CREATE INDEX jmn ON t(j,m,n);
  22. INSERT INTO t VALUES(3, 3, 'three', 3, 'tres');
  23. INSERT INTO t VALUES(2, 2, 'two', 2, 'dos');
  24. INSERT INTO t VALUES(1, 1, 'one', 1, 'uno');
  25. INSERT INTO t VALUES(4, 4, 'four', 4, 'cuatro');
  26. }
  27. do_execsql_test 1.2 {
  28. SELECT k FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2);
  29. } {one two}
  30. do_execsql_test 1.3 {
  31. SELECT k FROM t WHERE (i=1 AND j=1) OR (+i=2 AND j=2);
  32. } {one two}
  33. do_execsql_test 1.4 {
  34. SELECT n FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2);
  35. } {uno dos}
  36. do_execsql_test 1.5 {
  37. SELECT k, n FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2);
  38. } {one uno two dos}
  39. do_execsql_test 1.6 {
  40. SELECT k FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2) OR (i=3 AND j=3);
  41. } {one two three}
  42. do_execsql_test 1.7 {
  43. SELECT n FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2) OR (i=3 AND j=3);
  44. } {uno dos tres}
  45. do_execsql_test 1.8 {
  46. SELECT k FROM t WHERE (i=1 AND j=1) OR (j=2 AND m=2);
  47. } {one two}
  48. do_execsql_test 1.9 {
  49. SELECT k FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2) OR (j=3 AND m=3);
  50. } {one two three}
  51. do_execsql_test 1.10 {
  52. SELECT n FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2) OR (j=3 AND m=3);
  53. } {uno dos tres}
  54. do_execsql_test 1.11 {
  55. SELECT k FROM t WHERE (i=1 AND j=1) OR (j=2 AND m=2) OR (i=3 AND j=3);
  56. } {one two three}
  57. do_execsql_test 1.12 {
  58. SELECT n FROM t WHERE (i=1 AND j=1) OR (j=2 AND m=2) OR (i=3 AND j=3);
  59. } {uno dos tres}
  60. do_execsql_test 1.13 {
  61. SELECT k FROM t WHERE (j=1 AND m=1) OR (i=2 AND j=2) OR (i=3 AND j=3);
  62. } {one two three}
  63. do_execsql_test 1.14 {
  64. SELECT k FROM t WHERE (i=1 AND j=1) OR (j=2 AND i=2) OR (i=3 AND j=3);
  65. } {one two three}
  66. do_execsql_test 1.15 {
  67. SELECT k FROM t WHERE (i=1 AND j=2) OR (i=2 AND j=1) OR (i=3 AND j=4);
  68. } {}
  69. do_execsql_test 1.16 {
  70. SELECT k FROM t WHERE (i=1 AND (j=1 or j=2)) OR (i=3 AND j=3);
  71. } {one three}
  72. do_execsql_test 2.0 {
  73. CREATE TABLE t1(a,b,c,d);
  74. CREATE INDEX t1b ON t1(b);
  75. CREATE INDEX t1c ON t1(c);
  76. CREATE INDEX t1d ON t1(d);
  77. CREATE TABLE t2(x,y);
  78. CREATE INDEX t2y ON t2(y);
  79. INSERT INTO t1 VALUES(1,2,3,4);
  80. INSERT INTO t1 VALUES(5,6,7,8);
  81. INSERT INTO t2 VALUES(1,2);
  82. INSERT INTO t2 VALUES(2,7);
  83. INSERT INTO t2 VALUES(3,4);
  84. } {}
  85. do_execsql_test 2.1 {
  86. SELECT a, x FROM t1 JOIN t2 ON +y=d OR x=7 ORDER BY a, x;
  87. } {1 3}
  88. do_execsql_test 2.2 {
  89. SELECT a, x FROM t1 JOIN t2 ON y=d OR x=7 ORDER BY a, x;
  90. } {1 3}
  91. # Similar to [do_execsql_test], except that two elements are appended
  92. # to the result - the string "search" and the number of times test variable
  93. # sqlite3_search_count is incremented by running the supplied SQL. e.g.
  94. #
  95. # do_searchcount_test 1.0 { SELECT * FROM t1 } {x y search 2}
  96. #
  97. proc do_searchcount_test {tn sql res} {
  98. uplevel [subst -nocommands {
  99. do_test $tn {
  100. set ::sqlite_search_count 0
  101. concat [db eval {$sql}] search [set ::sqlite_search_count]
  102. } [list $res]
  103. }]
  104. }
  105. do_execsql_test 3.0 {
  106. CREATE TABLE t3(a, b, c);
  107. CREATE UNIQUE INDEX i3 ON t3(a, b);
  108. INSERT INTO t3 VALUES(1, 'one', 'i');
  109. INSERT INTO t3 VALUES(3, 'three', 'iii');
  110. INSERT INTO t3 VALUES(6, 'six', 'vi');
  111. INSERT INTO t3 VALUES(2, 'two', 'ii');
  112. INSERT INTO t3 VALUES(4, 'four', 'iv');
  113. INSERT INTO t3 VALUES(5, 'five', 'v');
  114. CREATE TABLE t4(x PRIMARY KEY, y);
  115. INSERT INTO t4 VALUES('a', 'one');
  116. INSERT INTO t4 VALUES('b', 'two');
  117. }
  118. do_searchcount_test 3.1 {
  119. SELECT a, b FROM t3 WHERE (a=1 AND b='one') OR (a=2 AND b='two')
  120. } {1 one 2 two search 2}
  121. do_searchcount_test 3.2 {
  122. SELECT a, c FROM t3 WHERE (a=1 AND b='one') OR (a=2 AND b='two')
  123. } {1 i 2 ii search 4}
  124. do_searchcount_test 3.4.1 {
  125. SELECT y FROM t4 WHERE x='a'
  126. } {one search 2}
  127. do_searchcount_test 3.4.2 {
  128. SELECT a, b FROM t3 WHERE
  129. (a=1 AND b=(SELECT y FROM t4 WHERE x='a'))
  130. OR (a=2 AND b='two')
  131. } {1 one 2 two search 4}
  132. do_searchcount_test 3.4.3 {
  133. SELECT a, b FROM t3 WHERE
  134. (a=2 AND b='two')
  135. OR (a=1 AND b=(SELECT y FROM t4 WHERE x='a'))
  136. } {2 two 1 one search 4}
  137. do_searchcount_test 3.4.4 {
  138. SELECT a, b FROM t3 WHERE
  139. (a=2 AND b=(SELECT y FROM t4 WHERE x='b'))
  140. OR (a=1 AND b=(SELECT y FROM t4 WHERE x='a'))
  141. } {2 two 1 one search 6}
  142. do_searchcount_test 3.5.1 {
  143. SELECT a, b FROM t3 WHERE (a=1 AND b='one') OR rowid=4
  144. } {1 one 2 two search 2}
  145. do_searchcount_test 3.5.2 {
  146. SELECT a, c FROM t3 WHERE (a=1 AND b='one') OR rowid=4
  147. } {1 i 2 ii search 2}
  148. # Ticket [d02e1406a58ea02d] (2012-10-04)
  149. # LEFT JOIN with an OR in the ON clause causes segfault
  150. #
  151. do_test 4.1 {
  152. db eval {
  153. CREATE TABLE t41(a,b,c);
  154. INSERT INTO t41 VALUES(1,2,3), (4,5,6);
  155. CREATE TABLE t42(d,e,f);
  156. INSERT INTO t42 VALUES(3,6,9), (4,8,12);
  157. SELECT * FROM t41 AS x LEFT JOIN t42 AS y ON (y.d=x.c) OR (y.e=x.b);
  158. }
  159. } {1 2 3 3 6 9 4 5 6 {} {} {}}
  160. do_test 4.2 {
  161. db eval {
  162. CREATE INDEX t42d ON t42(d);
  163. CREATE INDEX t42e ON t42(e);
  164. SELECT * FROM t41 AS x LEFT JOIN t42 AS y ON (y.d=x.c) OR (y.e=x.b);
  165. }
  166. } {1 2 3 3 6 9 4 5 6 {} {} {}}
  167. do_test 4.3 {
  168. db eval {
  169. SELECT * FROM t41 AS x LEFT JOIN t42 AS y ON (y.d=x.c) OR (y.d=x.b);
  170. }
  171. } {1 2 3 3 6 9 4 5 6 {} {} {}}
  172. # Ticket [bc1aea7b725f276177]
  173. # Incorrect result on LEFT JOIN with OR constraints and an ORDER BY clause.
  174. #
  175. do_execsql_test 4.4 {
  176. CREATE TABLE t44(a INTEGER, b INTEGER);
  177. INSERT INTO t44 VALUES(1,2);
  178. INSERT INTO t44 VALUES(3,4);
  179. SELECT *
  180. FROM t44 AS x
  181. LEFT JOIN (SELECT a AS c, b AS d FROM t44) AS y ON a=c
  182. WHERE d=4 OR d IS NULL;
  183. } {3 4 3 4}
  184. do_execsql_test 4.5 {
  185. SELECT *
  186. FROM t44 AS x
  187. LEFT JOIN (SELECT a AS c, b AS d FROM t44) AS y ON a=c
  188. WHERE d=4 OR d IS NULL
  189. ORDER BY a;
  190. } {3 4 3 4}
  191. do_execsql_test 4.6 {
  192. CREATE TABLE t46(c INTEGER, d INTEGER);
  193. INSERT INTO t46 SELECT a, b FROM t44;
  194. SELECT * FROM t44 LEFT JOIN t46 ON a=c
  195. WHERE d=4 OR d IS NULL;
  196. } {3 4 3 4}
  197. do_execsql_test 4.7 {
  198. SELECT * FROM t44 LEFT JOIN t46 ON a=c
  199. WHERE d=4 OR d IS NULL
  200. ORDER BY a;
  201. } {3 4 3 4}
  202. finish_test