SQLite4
Hex Artifact Content
Not logged in

Artifact ff7f08863197e3b9247d11ba4db13b365ed44f60:


0000: 23 20 32 30 31 31 20 4a 75 6c 79 20 31 0a 23 0a  # 2011 July 1.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou give..#.#****
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 0a 23 20 54 68 69 73 20 66 69 6c 65 20  ***.# This file 
0170: 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 65  implements regre
0180: 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 20  ssion tests for 
0190: 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e 20  SQLite library. 
01a0: 20 54 68 65 0a 23 20 66 6f 63 75 73 20 6f 66 20   The.# focus of 
01b0: 74 68 69 73 20 73 63 72 69 70 74 20 69 73 20 74  this script is t
01c0: 68 65 20 44 49 53 54 49 4e 43 54 20 6d 6f 64 69  he DISTINCT modi
01d0: 66 69 65 72 2e 0a 23 0a 0a 73 65 74 20 74 65 73  fier..#..set tes
01e0: 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61  tdir [file dirna
01f0: 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63  me $argv0].sourc
0200: 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65  e $testdir/teste
0210: 72 2e 74 63 6c 0a 0a 69 66 63 61 70 61 62 6c 65  r.tcl..ifcapable
0220: 20 21 63 6f 6d 70 6f 75 6e 64 20 7b 0a 20 20 66   !compound {.  f
0230: 69 6e 69 73 68 5f 74 65 73 74 0a 20 20 72 65 74  inish_test.  ret
0240: 75 72 6e 0a 7d 0a 0a 73 65 74 20 74 65 73 74 70  urn.}..set testp
0250: 72 65 66 69 78 20 64 69 73 74 69 6e 63 74 0a 0a  refix distinct..
0260: 0a 70 72 6f 63 20 69 73 5f 64 69 73 74 69 6e 63  .proc is_distinc
0270: 74 5f 6e 6f 6f 70 20 7b 73 71 6c 7d 20 7b 0a 20  t_noop {sql} {. 
0280: 20 73 65 74 20 73 71 6c 31 20 24 73 71 6c 0a 20   set sql1 $sql. 
0290: 20 73 65 74 20 73 71 6c 32 20 5b 73 74 72 69 6e   set sql2 [strin
02a0: 67 20 6d 61 70 20 7b 44 49 53 54 49 4e 43 54 20  g map {DISTINCT 
02b0: 22 22 7d 20 24 73 71 6c 5d 0a 0a 20 20 73 65 74  ""} $sql]..  set
02c0: 20 70 72 6f 67 72 61 6d 31 20 5b 6c 69 73 74 5d   program1 [list]
02d0: 0a 20 20 73 65 74 20 70 72 6f 67 72 61 6d 32 20  .  set program2 
02e0: 5b 6c 69 73 74 5d 0a 20 20 64 62 20 65 76 61 6c  [list].  db eval
02f0: 20 22 45 58 50 4c 41 49 4e 20 24 73 71 6c 31 22   "EXPLAIN $sql1"
0300: 20 7b 0a 20 20 20 20 69 66 20 7b 24 6f 70 63 6f   {.    if {$opco
0310: 64 65 20 21 3d 20 22 4e 6f 6f 70 22 7d 20 7b 20  de != "Noop"} { 
0320: 6c 61 70 70 65 6e 64 20 70 72 6f 67 72 61 6d 31  lappend program1
0330: 20 24 6f 70 63 6f 64 65 20 7d 0a 20 20 7d 0a 20   $opcode }.  }. 
0340: 20 64 62 20 65 76 61 6c 20 22 45 58 50 4c 41 49   db eval "EXPLAI
0350: 4e 20 24 73 71 6c 32 22 20 7b 0a 20 20 20 20 69  N $sql2" {.    i
0360: 66 20 7b 24 6f 70 63 6f 64 65 20 21 3d 20 22 4e  f {$opcode != "N
0370: 6f 6f 70 22 7d 20 7b 20 6c 61 70 70 65 6e 64 20  oop"} { lappend 
0380: 70 72 6f 67 72 61 6d 32 20 24 6f 70 63 6f 64 65  program2 $opcode
0390: 20 7d 0a 20 20 7d 0a 0a 20 20 72 65 74 75 72 6e   }.  }..  return
03a0: 20 5b 65 78 70 72 20 7b 24 70 72 6f 67 72 61 6d   [expr {$program
03b0: 31 3d 3d 24 70 72 6f 67 72 61 6d 32 7d 5d 0a 7d  1==$program2}].}
03c0: 0a 0a 70 72 6f 63 20 64 6f 5f 64 69 73 74 69 6e  ..proc do_distin
03d0: 63 74 5f 6e 6f 6f 70 5f 74 65 73 74 20 7b 74 6e  ct_noop_test {tn
03e0: 20 73 71 6c 7d 20 7b 0a 20 20 75 70 6c 65 76 65   sql} {.  upleve
03f0: 6c 20 5b 6c 69 73 74 20 64 6f 5f 74 65 73 74 20  l [list do_test 
0400: 24 74 6e 20 5b 6c 69 73 74 20 69 73 5f 64 69 73  $tn [list is_dis
0410: 74 69 6e 63 74 5f 6e 6f 6f 70 20 24 73 71 6c 5d  tinct_noop $sql]
0420: 20 31 5d 0a 7d 0a 70 72 6f 63 20 64 6f 5f 64 69   1].}.proc do_di
0430: 73 74 69 6e 63 74 5f 6e 6f 74 5f 6e 6f 6f 70 5f  stinct_not_noop_
0440: 74 65 73 74 20 7b 74 6e 20 73 71 6c 7d 20 7b 0a  test {tn sql} {.
0450: 20 20 75 70 6c 65 76 65 6c 20 5b 6c 69 73 74 20    uplevel [list 
0460: 64 6f 5f 74 65 73 74 20 24 74 6e 20 5b 6c 69 73  do_test $tn [lis
0470: 74 20 69 73 5f 64 69 73 74 69 6e 63 74 5f 6e 6f  t is_distinct_no
0480: 6f 70 20 24 73 71 6c 5d 20 30 5d 0a 7d 0a 0a 70  op $sql] 0].}..p
0490: 72 6f 63 20 64 6f 5f 74 65 6d 70 74 61 62 6c 65  roc do_temptable
04a0: 73 5f 74 65 73 74 20 7b 74 6e 20 73 71 6c 20 74  s_test {tn sql t
04b0: 65 6d 70 74 61 62 6c 65 73 7d 20 7b 0a 20 20 75  emptables} {.  u
04c0: 70 6c 65 76 65 6c 20 5b 6c 69 73 74 20 64 6f 5f  plevel [list do_
04d0: 74 65 73 74 20 24 74 6e 20 5b 73 75 62 73 74 20  test $tn [subst 
04e0: 2d 6e 6f 76 61 72 20 7b 0a 20 20 20 20 73 65 74  -novar {.    set
04f0: 20 72 65 74 20 22 22 0a 20 20 20 20 64 62 20 65   ret "".    db e
0500: 76 61 6c 20 22 45 58 50 4c 41 49 4e 20 5b 73 65  val "EXPLAIN [se
0510: 74 20 73 71 6c 5d 22 20 7b 0a 20 20 20 20 20 20  t sql]" {.      
0520: 69 66 20 7b 24 6f 70 63 6f 64 65 20 3d 3d 20 22  if {$opcode == "
0530: 4f 70 65 6e 45 70 68 65 6d 65 72 61 6c 22 20 7c  OpenEphemeral" |
0540: 7c 20 24 6f 70 63 6f 64 65 20 3d 3d 20 22 53 6f  | $opcode == "So
0550: 72 74 65 72 4f 70 65 6e 22 7d 20 7b 20 0a 20 20  rterOpen"} { .  
0560: 20 20 20 20 20 20 69 66 20 7b 24 70 35 20 21 3d        if {$p5 !=
0570: 20 22 30 38 22 20 26 26 20 24 70 35 21 3d 22 30   "08" && $p5!="0
0580: 30 22 7d 20 7b 20 65 72 72 6f 72 20 22 70 35 20  0"} { error "p5 
0590: 3d 20 24 70 35 22 20 7d 0a 20 20 20 20 20 20 20  = $p5" }.       
05a0: 20 69 66 20 7b 24 70 35 20 3d 3d 20 22 30 38 22   if {$p5 == "08"
05b0: 7d 20 7b 0a 20 20 20 20 20 20 20 20 20 20 6c 61  } {.          la
05c0: 70 70 65 6e 64 20 72 65 74 20 68 61 73 68 0a 20  ppend ret hash. 
05d0: 20 20 20 20 20 20 20 7d 20 65 6c 73 65 20 7b 0a         } else {.
05e0: 20 20 20 20 20 20 20 20 20 20 6c 61 70 70 65 6e            lappen
05f0: 64 20 72 65 74 20 62 74 72 65 65 0a 20 20 20 20  d ret btree.    
0600: 20 20 20 20 7d 0a 20 20 20 20 20 20 7d 0a 20 20      }.      }.  
0610: 20 20 7d 0a 20 20 20 20 73 65 74 20 72 65 74 0a    }.    set ret.
0620: 20 20 7d 5d 20 24 74 65 6d 70 74 61 62 6c 65 73    }] $temptables
0630: 5d 0a 7d 0a 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d  ].}...#---------
0640: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0650: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0660: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0670: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0680: 0a 23 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67  .# The following
0690: 20 74 65 73 74 73 20 2d 20 64 69 73 74 69 6e 63   tests - distinc
06a0: 74 2d 31 2e 2a 20 2d 20 63 68 65 63 6b 20 74 68  t-1.* - check th
06b0: 61 74 20 74 68 65 20 70 6c 61 6e 6e 65 72 20 63  at the planner c
06c0: 6f 72 72 65 63 74 6c 79 20 0a 23 20 64 65 74 65  orrectly .# dete
06d0: 63 74 73 20 63 61 73 65 73 20 77 68 65 72 65 20  cts cases where 
06e0: 61 20 55 4e 49 51 55 45 20 69 6e 64 65 78 20 6d  a UNIQUE index m
06f0: 65 61 6e 73 20 74 68 61 74 20 61 20 44 49 53 54  eans that a DIST
0700: 49 4e 43 54 20 63 6c 61 75 73 65 20 69 73 20 0a  INCT clause is .
0710: 23 20 72 65 64 75 6e 64 61 6e 74 2e 20 43 75 72  # redundant. Cur
0720: 72 65 6e 74 6c 79 20 74 68 65 20 70 6c 61 6e 6e  rently the plann
0730: 65 72 20 6f 6e 6c 79 20 64 65 74 65 63 74 73 20  er only detects 
0740: 73 75 63 68 20 63 61 73 65 73 20 77 68 65 6e 20  such cases when 
0750: 74 68 65 72 65 0a 23 20 69 73 20 61 20 73 69 6e  there.# is a sin
0760: 67 6c 65 20 74 61 62 6c 65 20 69 6e 20 74 68 65  gle table in the
0770: 20 46 52 4f 4d 20 63 6c 61 75 73 65 2e 0a 23 0a   FROM clause..#.
0780: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
0790: 31 2e 30 20 7b 0a 20 20 43 52 45 41 54 45 20 54  1.0 {.  CREATE T
07a0: 41 42 4c 45 20 74 31 28 61 2c 20 62 2c 20 63 2c  ABLE t1(a, b, c,
07b0: 20 64 29 3b 0a 20 20 43 52 45 41 54 45 20 55 4e   d);.  CREATE UN
07c0: 49 51 55 45 20 49 4e 44 45 58 20 69 31 20 4f 4e  IQUE INDEX i1 ON
07d0: 20 74 31 28 62 2c 20 63 29 3b 0a 20 20 43 52 45   t1(b, c);.  CRE
07e0: 41 54 45 20 55 4e 49 51 55 45 20 49 4e 44 45 58  ATE UNIQUE INDEX
07f0: 20 69 32 20 4f 4e 20 74 31 28 64 20 43 4f 4c 4c   i2 ON t1(d COLL
0800: 41 54 45 20 6e 6f 63 61 73 65 29 3b 0a 0a 20 20  ATE nocase);..  
0810: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28  CREATE TABLE t2(
0820: 78 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52  x INTEGER PRIMAR
0830: 59 20 4b 45 59 2c 20 79 29 3b 0a 0a 20 20 43 52  Y KEY, y);..  CR
0840: 45 41 54 45 20 54 41 42 4c 45 20 74 33 28 63 31  EATE TABLE t3(c1
0850: 20 50 52 49 4d 41 52 59 20 4b 45 59 20 4e 4f 54   PRIMARY KEY NOT
0860: 20 4e 55 4c 4c 2c 20 63 32 20 4e 4f 54 20 4e 55   NULL, c2 NOT NU
0870: 4c 4c 29 3b 0a 20 20 43 52 45 41 54 45 20 49 4e  LL);.  CREATE IN
0880: 44 45 58 20 69 33 20 4f 4e 20 74 33 28 63 32 29  DEX i3 ON t3(c2)
0890: 3b 0a 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c  ;..  CREATE TABL
08a0: 45 20 74 34 28 61 2c 20 62 20 4e 4f 54 20 4e 55  E t4(a, b NOT NU
08b0: 4c 4c 2c 20 63 20 4e 4f 54 20 4e 55 4c 4c 2c 20  LL, c NOT NULL, 
08c0: 64 20 4e 4f 54 20 4e 55 4c 4c 29 3b 0a 20 20 43  d NOT NULL);.  C
08d0: 52 45 41 54 45 20 55 4e 49 51 55 45 20 49 4e 44  REATE UNIQUE IND
08e0: 45 58 20 74 34 69 31 20 4f 4e 20 74 34 28 62 2c  EX t4i1 ON t4(b,
08f0: 20 63 29 3b 0a 20 20 43 52 45 41 54 45 20 55 4e   c);.  CREATE UN
0900: 49 51 55 45 20 49 4e 44 45 58 20 74 34 69 32 20  IQUE INDEX t4i2 
0910: 4f 4e 20 74 34 28 64 20 43 4f 4c 4c 41 54 45 20  ON t4(d COLLATE 
0920: 6e 6f 63 61 73 65 29 3b 0a 7d 0a 66 6f 72 65 61  nocase);.}.forea
0930: 63 68 20 7b 74 6e 20 6e 6f 6f 70 20 73 71 6c 7d  ch {tn noop sql}
0940: 20 7b 0a 0a 20 20 31 2e 31 20 30 20 20 20 22 53   {..  1.1 0   "S
0950: 45 4c 45 43 54 20 44 49 53 54 49 4e 43 54 20 62  ELECT DISTINCT b
0960: 2c 20 63 20 46 52 4f 4d 20 74 31 22 0a 20 20 31  , c FROM t1".  1
0970: 2e 32 20 31 20 20 20 22 53 45 4c 45 43 54 20 44  .2 1   "SELECT D
0980: 49 53 54 49 4e 43 54 20 62 2c 20 63 20 46 52 4f  ISTINCT b, c FRO
0990: 4d 20 74 34 22 0a 20 20 32 2e 31 20 30 20 20 20  M t4".  2.1 0   
09a0: 22 53 45 4c 45 43 54 20 44 49 53 54 49 4e 43 54  "SELECT DISTINCT
09b0: 20 63 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   c FROM t1 WHERE
09c0: 20 62 20 3d 20 3f 22 0a 20 20 32 2e 32 20 31 20   b = ?".  2.2 1 
09d0: 20 20 22 53 45 4c 45 43 54 20 44 49 53 54 49 4e    "SELECT DISTIN
09e0: 43 54 20 63 20 46 52 4f 4d 20 74 34 20 57 48 45  CT c FROM t4 WHE
09f0: 52 45 20 62 20 3d 20 3f 22 0a 20 20 33 20 20 20  RE b = ?".  3   
0a00: 31 20 20 20 22 53 45 4c 45 43 54 20 44 49 53 54  1   "SELECT DIST
0a10: 49 4e 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20  INCT rowid FROM 
0a20: 74 31 22 0a 20 20 34 20 20 20 31 20 20 20 22 53  t1".  4   1   "S
0a30: 45 4c 45 43 54 20 44 49 53 54 49 4e 43 54 20 72  ELECT DISTINCT r
0a40: 6f 77 69 64 2c 20 61 20 46 52 4f 4d 20 74 31 22  owid, a FROM t1"
0a50: 0a 20 20 35 20 20 20 31 20 20 20 22 53 45 4c 45  .  5   1   "SELE
0a60: 43 54 20 44 49 53 54 49 4e 43 54 20 78 20 46 52  CT DISTINCT x FR
0a70: 4f 4d 20 74 32 22 0a 20 20 36 20 20 20 31 20 20  OM t2".  6   1  
0a80: 20 22 53 45 4c 45 43 54 20 44 49 53 54 49 4e 43   "SELECT DISTINC
0a90: 54 20 2a 20 46 52 4f 4d 20 74 32 22 0a 20 20 37  T * FROM t2".  7
0aa0: 20 20 20 31 20 20 20 22 53 45 4c 45 43 54 20 44     1   "SELECT D
0ab0: 49 53 54 49 4e 43 54 20 2a 20 46 52 4f 4d 20 28  ISTINCT * FROM (
0ac0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
0ad0: 29 22 0a 0a 20 20 38 2e 31 20 30 20 20 20 22 53  )"..  8.1 0   "S
0ae0: 45 4c 45 43 54 20 44 49 53 54 49 4e 43 54 20 2a  ELECT DISTINCT *
0af0: 20 46 52 4f 4d 20 74 31 22 0a 20 20 38 2e 32 20   FROM t1".  8.2 
0b00: 31 20 20 20 22 53 45 4c 45 43 54 20 44 49 53 54  1   "SELECT DIST
0b10: 49 4e 43 54 20 2a 20 46 52 4f 4d 20 74 34 22 0a  INCT * FROM t4".
0b20: 0a 20 20 38 20 20 20 30 20 20 20 22 53 45 4c 45  .  8   0   "SELE
0b30: 43 54 20 44 49 53 54 49 4e 43 54 20 61 2c 20 62  CT DISTINCT a, b
0b40: 20 46 52 4f 4d 20 74 31 22 0a 0a 20 20 39 20 20   FROM t1"..  9  
0b50: 20 30 20 20 20 22 53 45 4c 45 43 54 20 44 49 53   0   "SELECT DIS
0b60: 54 49 4e 43 54 20 63 20 46 52 4f 4d 20 74 31 20  TINCT c FROM t1 
0b70: 57 48 45 52 45 20 62 20 49 4e 20 28 31 2c 32 29  WHERE b IN (1,2)
0b80: 22 0a 20 20 31 30 20 20 30 20 20 20 22 53 45 4c  ".  10  0   "SEL
0b90: 45 43 54 20 44 49 53 54 49 4e 43 54 20 63 20 46  ECT DISTINCT c F
0ba0: 52 4f 4d 20 74 31 22 0a 20 20 31 31 20 20 30 20  ROM t1".  11  0 
0bb0: 20 20 22 53 45 4c 45 43 54 20 44 49 53 54 49 4e    "SELECT DISTIN
0bc0: 43 54 20 62 20 46 52 4f 4d 20 74 31 22 0a 0a 20  CT b FROM t1".. 
0bd0: 20 31 32 2e 31 20 30 20 20 20 22 53 45 4c 45 43   12.1 0   "SELEC
0be0: 54 20 44 49 53 54 49 4e 43 54 20 61 2c 20 64 20  T DISTINCT a, d 
0bf0: 46 52 4f 4d 20 74 31 22 0a 20 20 31 32 2e 32 20  FROM t1".  12.2 
0c00: 30 20 20 20 22 53 45 4c 45 43 54 20 44 49 53 54  0   "SELECT DIST
0c10: 49 4e 43 54 20 61 2c 20 64 20 46 52 4f 4d 20 74  INCT a, d FROM t
0c20: 34 22 0a 20 20 31 33 2e 31 20 30 20 20 20 22 53  4".  13.1 0   "S
0c30: 45 4c 45 43 54 20 44 49 53 54 49 4e 43 54 20 61  ELECT DISTINCT a
0c40: 2c 20 62 2c 20 63 20 43 4f 4c 4c 41 54 45 20 6e  , b, c COLLATE n
0c50: 6f 63 61 73 65 20 46 52 4f 4d 20 74 31 22 0a 20  ocase FROM t1". 
0c60: 20 31 33 2e 32 20 30 20 20 20 22 53 45 4c 45 43   13.2 0   "SELEC
0c70: 54 20 44 49 53 54 49 4e 43 54 20 61 2c 20 62 2c  T DISTINCT a, b,
0c80: 20 63 20 43 4f 4c 4c 41 54 45 20 6e 6f 63 61 73   c COLLATE nocas
0c90: 65 20 46 52 4f 4d 20 74 34 22 0a 20 20 31 34 2e  e FROM t4".  14.
0ca0: 31 20 30 20 20 20 22 53 45 4c 45 43 54 20 44 49  1 0   "SELECT DI
0cb0: 53 54 49 4e 43 54 20 61 2c 20 64 20 43 4f 4c 4c  STINCT a, d COLL
0cc0: 41 54 45 20 6e 6f 63 61 73 65 20 46 52 4f 4d 20  ATE nocase FROM 
0cd0: 74 31 22 0a 20 20 31 34 2e 32 20 31 20 20 20 22  t1".  14.2 1   "
0ce0: 53 45 4c 45 43 54 20 44 49 53 54 49 4e 43 54 20  SELECT DISTINCT 
0cf0: 61 2c 20 64 20 43 4f 4c 4c 41 54 45 20 6e 6f 63  a, d COLLATE noc
0d00: 61 73 65 20 46 52 4f 4d 20 74 34 22 0a 0a 20 20  ase FROM t4"..  
0d10: 31 35 20 20 20 30 20 20 20 22 53 45 4c 45 43 54  15   0   "SELECT
0d20: 20 44 49 53 54 49 4e 43 54 20 61 2c 20 64 20 43   DISTINCT a, d C
0d30: 4f 4c 4c 41 54 45 20 62 69 6e 61 72 79 20 46 52  OLLATE binary FR
0d40: 4f 4d 20 74 31 22 0a 20 20 31 36 2e 31 20 30 20  OM t1".  16.1 0 
0d50: 20 20 22 53 45 4c 45 43 54 20 44 49 53 54 49 4e    "SELECT DISTIN
0d60: 43 54 20 61 2c 20 62 2c 20 63 20 43 4f 4c 4c 41  CT a, b, c COLLA
0d70: 54 45 20 62 69 6e 61 72 79 20 46 52 4f 4d 20 74  TE binary FROM t
0d80: 31 22 0a 20 20 31 36 2e 32 20 31 20 20 20 22 53  1".  16.2 1   "S
0d90: 45 4c 45 43 54 20 44 49 53 54 49 4e 43 54 20 61  ELECT DISTINCT a
0da0: 2c 20 62 2c 20 63 20 43 4f 4c 4c 41 54 45 20 62  , b, c COLLATE b
0db0: 69 6e 61 72 79 20 46 52 4f 4d 20 74 34 22 0a 0a  inary FROM t4"..
0dc0: 20 20 31 36 20 20 30 20 20 20 22 53 45 4c 45 43    16  0   "SELEC
0dd0: 54 20 44 49 53 54 49 4e 43 54 20 74 31 2e 72 6f  T DISTINCT t1.ro
0de0: 77 69 64 20 46 52 4f 4d 20 74 31 2c 20 74 32 22  wid FROM t1, t2"
0df0: 0a 20 20 31 37 20 20 30 20 20 20 7b 20 2f 2a 20  .  17  0   { /* 
0e00: 54 65 63 68 6e 69 63 61 6c 6c 79 2c 20 69 74 20  Technically, it 
0e10: 77 6f 75 6c 64 20 62 65 20 70 6f 73 73 69 62 6c  would be possibl
0e20: 65 20 74 6f 20 64 65 74 65 63 74 20 74 68 61 74  e to detect that
0e30: 20 44 49 53 54 49 4e 43 54 0a 20 20 20 20 20 20   DISTINCT.      
0e40: 20 20 20 20 20 20 2a 2a 20 69 73 20 61 20 6e 6f        ** is a no
0e50: 2d 6f 70 20 69 6e 20 63 61 73 65 73 20 6c 69 6b  -op in cases lik
0e60: 65 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 2e  e the following.
0e70: 20 42 75 74 20 53 51 4c 69 74 65 20 64 6f 65 73   But SQLite does
0e80: 20 6e 6f 74 0a 20 20 20 20 20 20 20 20 20 20 20   not.           
0e90: 20 2a 2a 20 64 6f 20 73 6f 2e 20 2a 2f 0a 20 20   ** do so. */.  
0ea0: 20 20 20 20 20 20 20 20 20 20 53 45 4c 45 43 54            SELECT
0eb0: 20 44 49 53 54 49 4e 43 54 20 74 31 2e 72 6f 77   DISTINCT t1.row
0ec0: 69 64 20 46 52 4f 4d 20 74 31 2c 20 74 32 20 57  id FROM t1, t2 W
0ed0: 48 45 52 45 20 74 31 2e 72 6f 77 69 64 3d 74 32  HERE t1.rowid=t2
0ee0: 2e 78 20 7d 0a 0a 20 20 31 38 20 20 31 20 20 20  .x }..  18  1   
0ef0: 22 53 45 4c 45 43 54 20 44 49 53 54 49 4e 43 54  "SELECT DISTINCT
0f00: 20 63 31 2c 20 63 32 20 46 52 4f 4d 20 74 33 22   c1, c2 FROM t3"
0f10: 0a 20 20 31 39 20 20 31 20 20 20 22 53 45 4c 45  .  19  1   "SELE
0f20: 43 54 20 44 49 53 54 49 4e 43 54 20 63 31 20 46  CT DISTINCT c1 F
0f30: 52 4f 4d 20 74 33 22 0a 20 20 32 30 20 20 31 20  ROM t3".  20  1 
0f40: 20 20 22 53 45 4c 45 43 54 20 44 49 53 54 49 4e    "SELECT DISTIN
0f50: 43 54 20 2a 20 46 52 4f 4d 20 74 33 22 0a 20 20  CT * FROM t3".  
0f60: 32 31 20 20 30 20 20 20 22 53 45 4c 45 43 54 20  21  0   "SELECT 
0f70: 44 49 53 54 49 4e 43 54 20 63 32 20 46 52 4f 4d  DISTINCT c2 FROM
0f80: 20 74 33 22 0a 0a 20 20 32 32 20 20 30 20 20 20   t3"..  22  0   
0f90: 22 53 45 4c 45 43 54 20 44 49 53 54 49 4e 43 54  "SELECT DISTINCT
0fa0: 20 2a 20 46 52 4f 4d 20 28 53 45 4c 45 43 54 20   * FROM (SELECT 
0fb0: 31 2c 20 32 2c 20 33 20 55 4e 49 4f 4e 20 53 45  1, 2, 3 UNION SE
0fc0: 4c 45 43 54 20 34 2c 20 35 2c 20 36 29 22 0a 0a  LECT 4, 5, 6)"..
0fd0: 20 20 32 34 20 20 30 20 20 20 22 53 45 4c 45 43    24  0   "SELEC
0fe0: 54 20 44 49 53 54 49 4e 43 54 20 72 6f 77 69 64  T DISTINCT rowid
0ff0: 2f 32 20 46 52 4f 4d 20 74 31 22 0a 20 20 32 35  /2 FROM t1".  25
1000: 20 20 31 20 20 20 22 53 45 4c 45 43 54 20 44 49    1   "SELECT DI
1010: 53 54 49 4e 43 54 20 72 6f 77 69 64 2f 32 2c 20  STINCT rowid/2, 
1020: 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 22 0a 20  rowid FROM t1". 
1030: 20 32 36 2e 31 20 20 30 20 20 20 22 53 45 4c 45   26.1  0   "SELE
1040: 43 54 20 44 49 53 54 49 4e 43 54 20 72 6f 77 69  CT DISTINCT rowi
1050: 64 2f 32 2c 20 62 20 46 52 4f 4d 20 74 31 20 57  d/2, b FROM t1 W
1060: 48 45 52 45 20 63 20 3d 20 3f 22 0a 20 20 32 36  HERE c = ?".  26
1070: 2e 32 20 20 31 20 20 20 22 53 45 4c 45 43 54 20  .2  1   "SELECT 
1080: 44 49 53 54 49 4e 43 54 20 72 6f 77 69 64 2f 32  DISTINCT rowid/2
1090: 2c 20 62 20 46 52 4f 4d 20 74 34 20 57 48 45 52  , b FROM t4 WHER
10a0: 45 20 63 20 3d 20 3f 22 0a 7d 20 7b 0a 20 20 69  E c = ?".} {.  i
10b0: 66 20 7b 24 6e 6f 6f 70 7d 20 7b 0a 20 20 20 20  f {$noop} {.    
10c0: 64 6f 5f 64 69 73 74 69 6e 63 74 5f 6e 6f 6f 70  do_distinct_noop
10d0: 5f 74 65 73 74 20 31 2e 24 74 6e 20 24 73 71 6c  _test 1.$tn $sql
10e0: 0a 20 20 7d 20 65 6c 73 65 20 7b 0a 20 20 20 20  .  } else {.    
10f0: 64 6f 5f 64 69 73 74 69 6e 63 74 5f 6e 6f 74 5f  do_distinct_not_
1100: 6e 6f 6f 70 5f 74 65 73 74 20 31 2e 24 74 6e 20  noop_test 1.$tn 
1110: 24 73 71 6c 0a 20 20 7d 0a 7d 0a 0a 23 2d 2d 2d  $sql.  }.}..#---
1120: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1130: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1140: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1150: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1160: 2d 2d 2d 2d 2d 2d 0a 23 20 54 68 65 20 66 6f 6c  ------.# The fol
1170: 6c 6f 77 69 6e 67 20 74 65 73 74 73 20 2d 20 64  lowing tests - d
1180: 69 73 74 69 6e 63 74 2d 32 2e 2a 20 2d 20 74 65  istinct-2.* - te
1190: 73 74 20 63 61 73 65 73 20 77 68 65 72 65 20 61  st cases where a
11a0: 6e 20 69 6e 64 65 78 20 69 73 0a 23 20 75 73 65  n index is.# use
11b0: 64 20 74 6f 20 64 65 6c 69 76 65 72 20 72 65 73  d to deliver res
11c0: 75 6c 74 73 20 69 6e 20 6f 72 64 65 72 20 6f 66  ults in order of
11d0: 20 74 68 65 20 44 49 53 54 49 4e 43 54 20 65 78   the DISTINCT ex
11e0: 70 72 65 73 73 69 6f 6e 73 2e 20 0a 23 0a 64 72  pressions. .#.dr
11f0: 6f 70 5f 61 6c 6c 5f 74 61 62 6c 65 73 0a 64 6f  op_all_tables.do
1200: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 32 2e  _execsql_test 2.
1210: 30 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42  0 {.  CREATE TAB
1220: 4c 45 20 74 31 28 61 2c 20 62 2c 20 63 29 3b 0a  LE t1(a, b, c);.
1230: 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20  .  CREATE INDEX 
1240: 69 31 20 4f 4e 20 74 31 28 61 2c 20 62 29 3b 0a  i1 ON t1(a, b);.
1250: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 69    CREATE INDEX i
1260: 32 20 4f 4e 20 74 31 28 62 20 43 4f 4c 4c 41 54  2 ON t1(b COLLAT
1270: 45 20 6e 6f 63 61 73 65 2c 20 63 20 43 4f 4c 4c  E nocase, c COLL
1280: 41 54 45 20 6e 6f 63 61 73 65 29 3b 0a 0a 20 20  ATE nocase);..  
1290: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
12a0: 41 4c 55 45 53 28 27 61 27 2c 20 27 62 27 2c 20  ALUES('a', 'b', 
12b0: 27 63 27 29 3b 0a 20 20 49 4e 53 45 52 54 20 49  'c');.  INSERT I
12c0: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 27 41  NTO t1 VALUES('A
12d0: 27 2c 20 27 42 27 2c 20 27 43 27 29 3b 0a 20 20  ', 'B', 'C');.  
12e0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
12f0: 41 4c 55 45 53 28 27 61 27 2c 20 27 62 27 2c 20  ALUES('a', 'b', 
1300: 27 63 27 29 3b 0a 20 20 49 4e 53 45 52 54 20 49  'c');.  INSERT I
1310: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 27 41  NTO t1 VALUES('A
1320: 27 2c 20 27 42 27 2c 20 27 43 27 29 3b 0a 7d 0a  ', 'B', 'C');.}.
1330: 0a 66 6f 72 65 61 63 68 20 7b 74 6e 20 73 71 6c  .foreach {tn sql
1340: 20 74 65 6d 70 74 61 62 6c 65 73 20 72 65 73 7d   temptables res}
1350: 20 7b 0a 20 20 31 20 20 20 22 61 2c 20 62 20 46   {.  1   "a, b F
1360: 52 4f 4d 20 74 31 22 20 20 20 20 20 20 20 20 20  ROM t1"         
1370: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1380: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b 7d                {}
1390: 20 20 20 20 20 20 7b 41 20 42 20 61 20 62 7d 0a        {A B a b}.
13a0: 20 20 32 20 20 20 22 62 2c 20 61 20 46 52 4f 4d    2   "b, a FROM
13b0: 20 74 31 22 20 20 20 20 20 20 20 20 20 20 20 20   t1"            
13c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
13d0: 20 20 20 20 20 20 20 20 20 20 20 7b 7d 20 20 20             {}   
13e0: 20 20 20 7b 42 20 41 20 62 20 61 7d 0a 20 20 33     {B A b a}.  3
13f0: 20 20 20 22 61 2c 20 62 2c 20 63 20 46 52 4f 4d     "a, b, c FROM
1400: 20 74 31 22 20 20 20 20 20 20 20 20 20 20 20 20   t1"            
1410: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1420: 20 20 20 20 20 20 20 20 7b 68 61 73 68 7d 20 20          {hash}  
1430: 7b 61 20 62 20 63 20 41 20 42 20 43 7d 0a 20 20  {a b c A B C}.  
1440: 34 20 20 20 22 61 2c 20 62 2c 20 63 20 46 52 4f  4   "a, b, c FRO
1450: 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20 61 2c  M t1 ORDER BY a,
1460: 20 62 2c 20 63 22 20 20 20 20 20 20 20 20 20 20   b, c"          
1470: 20 20 20 20 20 20 20 20 20 7b 62 74 72 65 65 7d           {btree}
1480: 20 7b 41 20 42 20 43 20 61 20 62 20 63 7d 0a 20   {A B C a b c}. 
1490: 20 35 20 20 20 22 62 20 46 52 4f 4d 20 74 31 20   5   "b FROM t1 
14a0: 57 48 45 52 45 20 61 20 3d 20 27 61 27 22 20 20  WHERE a = 'a'"  
14b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
14c0: 20 20 20 20 20 20 20 20 20 20 7b 7d 20 20 20 20            {}    
14d0: 20 20 7b 62 7d 0a 20 20 36 20 20 20 22 62 20 46    {b}.  6   "b F
14e0: 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20  ROM t1 ORDER BY 
14f0: 2b 62 20 43 4f 4c 4c 41 54 45 20 62 69 6e 61 72  +b COLLATE binar
1500: 79 22 20 20 20 20 20 20 20 20 20 20 7b 62 74 72  y"          {btr
1510: 65 65 20 68 61 73 68 7d 20 7b 42 20 62 7d 0a 20  ee hash} {B b}. 
1520: 20 37 20 20 20 22 61 20 46 52 4f 4d 20 74 31 22   7   "a FROM t1"
1530: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1540: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1550: 20 20 20 20 20 20 20 20 20 20 7b 7d 20 20 20 20            {}    
1560: 20 20 7b 41 20 61 7d 0a 20 20 38 20 20 20 22 62    {A a}.  8   "b
1570: 20 43 4f 4c 4c 41 54 45 20 6e 6f 63 61 73 65 20   COLLATE nocase 
1580: 46 52 4f 4d 20 74 31 22 20 20 20 20 20 20 20 20  FROM t1"        
1590: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
15a0: 20 20 20 7b 7d 20 20 20 20 20 20 7b 62 7d 0a 20     {}      {b}. 
15b0: 20 39 20 20 20 22 62 20 43 4f 4c 4c 41 54 45 20   9   "b COLLATE 
15c0: 6e 6f 63 61 73 65 20 46 52 4f 4d 20 74 31 20 4f  nocase FROM t1 O
15d0: 52 44 45 52 20 42 59 20 62 20 43 4f 4c 4c 41 54  RDER BY b COLLAT
15e0: 45 20 6e 6f 63 61 73 65 22 20 7b 7d 20 20 20 20  E nocase" {}    
15f0: 20 20 7b 42 7d 0a 7d 20 7b 0a 20 20 64 6f 5f 65    {B}.} {.  do_e
1600: 78 65 63 73 71 6c 5f 74 65 73 74 20 20 20 20 32  xecsql_test    2
1610: 2e 24 74 6e 2e 31 20 22 53 45 4c 45 43 54 20 44  .$tn.1 "SELECT D
1620: 49 53 54 49 4e 43 54 20 24 73 71 6c 22 20 24 72  ISTINCT $sql" $r
1630: 65 73 0a 20 20 23 20 64 6f 5f 74 65 6d 70 74 61  es.  # do_tempta
1640: 62 6c 65 73 5f 74 65 73 74 20 32 2e 24 74 6e 2e  bles_test 2.$tn.
1650: 32 20 22 53 45 4c 45 43 54 20 44 49 53 54 49 4e  2 "SELECT DISTIN
1660: 43 54 20 24 73 71 6c 22 20 24 74 65 6d 70 74 61  CT $sql" $tempta
1670: 62 6c 65 73 0a 7d 0a 0a 64 6f 5f 65 78 65 63 73  bles.}..do_execs
1680: 71 6c 5f 74 65 73 74 20 32 2e 41 20 7b 0a 20 20  ql_test 2.A {.  
1690: 53 45 4c 45 43 54 20 28 53 45 4c 45 43 54 20 44  SELECT (SELECT D
16a0: 49 53 54 49 4e 43 54 20 6f 2e 61 20 46 52 4f 4d  ISTINCT o.a FROM
16b0: 20 74 31 20 41 53 20 69 29 20 46 52 4f 4d 20 74   t1 AS i) FROM t
16c0: 31 20 41 53 20 6f 20 4f 52 44 45 52 20 42 59 20  1 AS o ORDER BY 
16d0: 72 6f 77 69 64 3b 0a 7d 20 7b 61 20 41 20 61 20  rowid;.} {a A a 
16e0: 41 7d 0a 0a 64 6f 5f 74 65 73 74 20 33 2e 30 20  A}..do_test 3.0 
16f0: 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b 0a 20 20  {.  db eval {.  
1700: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
1710: 33 28 61 20 49 4e 54 45 47 45 52 2c 20 62 20 49  3(a INTEGER, b I
1720: 4e 54 45 47 45 52 2c 20 63 2c 20 55 4e 49 51 55  NTEGER, c, UNIQU
1730: 45 28 61 2c 62 29 29 3b 0a 20 20 20 20 49 4e 53  E(a,b));.    INS
1740: 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41 4c 55  ERT INTO t3 VALU
1750: 45 53 0a 20 20 20 20 20 20 20 20 28 6e 75 6c 6c  ES.        (null
1760: 2c 20 6e 75 6c 6c 2c 20 31 29 2c 0a 20 20 20 20  , null, 1),.    
1770: 20 20 20 20 28 6e 75 6c 6c 2c 20 6e 75 6c 6c 2c      (null, null,
1780: 20 32 29 2c 0a 20 20 20 20 20 20 20 20 28 6e 75   2),.        (nu
1790: 6c 6c 2c 20 33 2c 20 34 29 2c 0a 20 20 20 20 20  ll, 3, 4),.     
17a0: 20 20 20 28 6e 75 6c 6c 2c 20 33 2c 20 35 29 2c     (null, 3, 5),
17b0: 0a 20 20 20 20 20 20 20 20 28 36 2c 20 6e 75 6c  .        (6, nul
17c0: 6c 2c 20 37 29 2c 0a 20 20 20 20 20 20 20 20 28  l, 7),.        (
17d0: 36 2c 20 6e 75 6c 6c 2c 20 38 29 3b 0a 20 20 20  6, null, 8);.   
17e0: 20 53 45 4c 45 43 54 20 44 49 53 54 49 4e 43 54   SELECT DISTINCT
17f0: 20 61 2c 20 62 20 46 52 4f 4d 20 74 33 20 4f 52   a, b FROM t3 OR
1800: 44 45 52 20 42 59 20 2b 61 2c 20 2b 62 3b 0a 20  DER BY +a, +b;. 
1810: 20 7d 0a 7d 20 7b 7b 7d 20 7b 7d 20 7b 7d 20 33   }.} {{} {} {} 3
1820: 20 36 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 33   6 {}}.do_test 3
1830: 2e 31 20 7b 0a 20 20 72 65 67 65 78 70 20 7b 4f  .1 {.  regexp {O
1840: 70 65 6e 45 70 68 65 6d 65 72 61 6c 7d 20 5b 64  penEphemeral} [d
1850: 62 20 65 76 61 6c 20 7b 0a 20 20 20 20 45 58 50  b eval {.    EXP
1860: 4c 41 49 4e 20 53 45 4c 45 43 54 20 44 49 53 54  LAIN SELECT DIST
1870: 49 4e 43 54 20 61 2c 20 62 20 46 52 4f 4d 20 74  INCT a, b FROM t
1880: 33 20 4f 52 44 45 52 20 42 59 20 2b 61 2c 20 2b  3 ORDER BY +a, +
1890: 62 3b 0a 20 20 7d 5d 0a 7d 20 7b 30 7d 0a 0a 66  b;.  }].} {0}..f
18a0: 69 6e 69 73 68 5f 74 65 73 74 0a                 inish_test.