/ Hex Artifact Content
Login
SQLite training in Houston TX on 2019-11-05 (details)
Part of the 2019 Tcl Conference

Artifact f5e4f8d284385875068ad0f3e894ce43e9de835d:


0000: 23 20 32 30 31 35 20 4a 61 6e 20 31 33 0a 23 0a  # 2015 Jan 13.#.
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 0a 23 20 54 68 69 73 20 66 69 6c  ***.#.# This fil
0170: 65 20 63 6f 6e 74 61 69 6e 73 20 74 65 73 74 73  e contains tests
0180: 20 66 6f 63 75 73 65 64 20 6f 6e 20 74 68 65 20   focused on the 
0190: 69 6e 74 65 67 72 69 74 79 2d 63 68 65 63 6b 20  integrity-check 
01a0: 70 72 6f 63 65 64 75 72 65 2e 0a 23 0a 0a 73 6f  procedure..#..so
01b0: 75 72 63 65 20 5b 66 69 6c 65 20 6a 6f 69 6e 20  urce [file join 
01c0: 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 5b 69  [file dirname [i
01d0: 6e 66 6f 20 73 63 72 69 70 74 5d 5d 20 66 74 73  nfo script]] fts
01e0: 35 5f 63 6f 6d 6d 6f 6e 2e 74 63 6c 5d 0a 73 65  5_common.tcl].se
01f0: 74 20 74 65 73 74 70 72 65 66 69 78 20 66 74 73  t testprefix fts
0200: 35 69 6e 74 65 67 72 69 74 79 0a 0a 23 20 49 66  5integrity..# If
0210: 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 46   SQLITE_ENABLE_F
0220: 54 53 35 20 69 73 20 64 65 66 69 6e 65 64 2c 20  TS5 is defined, 
0230: 6f 6d 69 74 20 74 68 69 73 20 66 69 6c 65 2e 0a  omit this file..
0240: 69 66 63 61 70 61 62 6c 65 20 21 66 74 73 35 20  ifcapable !fts5 
0250: 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a  {.  finish_test.
0260: 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 64 6f 5f 65    return.}..do_e
0270: 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 30 20  xecsql_test 1.0 
0280: 7b 0a 20 20 43 52 45 41 54 45 20 56 49 52 54 55  {.  CREATE VIRTU
0290: 41 4c 20 54 41 42 4c 45 20 78 78 20 55 53 49 4e  AL TABLE xx USIN
02a0: 47 20 66 74 73 35 28 78 29 3b 0a 20 20 49 4e 53  G fts5(x);.  INS
02b0: 45 52 54 20 49 4e 54 4f 20 78 78 20 56 41 4c 55  ERT INTO xx VALU
02c0: 45 53 28 27 74 65 72 6d 27 29 3b 0a 7d 0a 64 6f  ES('term');.}.do
02d0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e  _execsql_test 1.
02e0: 31 20 7b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  1 {.  INSERT INT
02f0: 4f 20 78 78 28 78 78 29 20 56 41 4c 55 45 53 28  O xx(xx) VALUES(
0300: 27 69 6e 74 65 67 72 69 74 79 2d 63 68 65 63 6b  'integrity-check
0310: 27 29 3b 0a 7d 0a 0a 64 6f 5f 65 78 65 63 73 71  ');.}..do_execsq
0320: 6c 5f 74 65 73 74 20 32 2e 30 20 7b 0a 20 20 43  l_test 2.0 {.  C
0330: 52 45 41 54 45 20 56 49 52 54 55 41 4c 20 54 41  REATE VIRTUAL TA
0340: 42 4c 45 20 79 79 20 55 53 49 4e 47 20 66 74 73  BLE yy USING fts
0350: 35 28 78 2c 20 70 72 65 66 69 78 3d 31 29 3b 0a  5(x, prefix=1);.
0360: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 79 79    INSERT INTO yy
0370: 20 56 41 4c 55 45 53 28 27 74 65 72 6d 27 29 3b   VALUES('term');
0380: 0a 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  .}.do_execsql_te
0390: 73 74 20 32 2e 31 20 7b 0a 20 20 49 4e 53 45 52  st 2.1 {.  INSER
03a0: 54 20 49 4e 54 4f 20 79 79 28 79 79 29 20 56 41  T INTO yy(yy) VA
03b0: 4c 55 45 53 28 27 69 6e 74 65 67 72 69 74 79 2d  LUES('integrity-
03c0: 63 68 65 63 6b 27 29 3b 0a 7d 0a 0a 23 2d 2d 2d  check');.}..#---
03d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
03e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
03f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0400: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0410: 2d 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  -.#.do_execsql_t
0420: 65 73 74 20 33 2e 30 20 7b 0a 20 20 43 52 45 41  est 3.0 {.  CREA
0430: 54 45 20 56 49 52 54 55 41 4c 20 54 41 42 4c 45  TE VIRTUAL TABLE
0440: 20 7a 7a 20 55 53 49 4e 47 20 66 74 73 35 28 7a   zz USING fts5(z
0450: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
0460: 20 7a 7a 28 7a 7a 2c 20 72 61 6e 6b 29 20 56 41   zz(zz, rank) VA
0470: 4c 55 45 53 28 27 70 67 73 7a 27 2c 20 33 32 29  LUES('pgsz', 32)
0480: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
0490: 7a 7a 20 56 41 4c 55 45 53 28 27 62 20 62 20 62  zz VALUES('b b b
04a0: 20 62 20 62 20 62 20 62 20 62 20 62 20 62 20 62   b b b b b b b b
04b0: 20 62 20 62 20 62 27 29 3b 0a 20 20 49 4e 53 45   b b b');.  INSE
04c0: 52 54 20 49 4e 54 4f 20 7a 7a 20 53 45 4c 45 43  RT INTO zz SELEC
04d0: 54 20 7a 20 46 52 4f 4d 20 7a 7a 3b 0a 20 20 49  T z FROM zz;.  I
04e0: 4e 53 45 52 54 20 49 4e 54 4f 20 7a 7a 20 53 45  NSERT INTO zz SE
04f0: 4c 45 43 54 20 7a 20 46 52 4f 4d 20 7a 7a 3b 0a  LECT z FROM zz;.
0500: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 7a 7a    INSERT INTO zz
0510: 20 53 45 4c 45 43 54 20 7a 20 46 52 4f 4d 20 7a   SELECT z FROM z
0520: 7a 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  z;.  INSERT INTO
0530: 20 7a 7a 20 53 45 4c 45 43 54 20 7a 20 46 52 4f   zz SELECT z FRO
0540: 4d 20 7a 7a 3b 0a 20 20 49 4e 53 45 52 54 20 49  M zz;.  INSERT I
0550: 4e 54 4f 20 7a 7a 20 53 45 4c 45 43 54 20 7a 20  NTO zz SELECT z 
0560: 46 52 4f 4d 20 7a 7a 3b 0a 20 20 49 4e 53 45 52  FROM zz;.  INSER
0570: 54 20 49 4e 54 4f 20 7a 7a 20 53 45 4c 45 43 54  T INTO zz SELECT
0580: 20 7a 20 46 52 4f 4d 20 7a 7a 3b 0a 20 20 49 4e   z FROM zz;.  IN
0590: 53 45 52 54 20 49 4e 54 4f 20 7a 7a 28 7a 7a 29  SERT INTO zz(zz)
05a0: 20 56 41 4c 55 45 53 28 27 6f 70 74 69 6d 69 7a   VALUES('optimiz
05b0: 65 27 29 3b 0a 7d 0a 0a 64 6f 5f 65 78 65 63 73  e');.}..do_execs
05c0: 71 6c 5f 74 65 73 74 20 33 2e 31 20 7b 20 49 4e  ql_test 3.1 { IN
05d0: 53 45 52 54 20 49 4e 54 4f 20 7a 7a 28 7a 7a 29  SERT INTO zz(zz)
05e0: 20 56 41 4c 55 45 53 28 27 69 6e 74 65 67 72 69   VALUES('integri
05f0: 74 79 2d 63 68 65 63 6b 27 29 3b 20 7d 0a 0a 23  ty-check'); }..#
0600: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0610: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0620: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0630: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0640: 2d 2d 2d 2d 0a 23 20 4d 65 73 73 20 61 72 6f 75  ----.# Mess arou
0650: 6e 64 20 77 69 74 68 20 61 20 64 6f 63 73 69 7a  nd with a docsiz
0660: 65 20 72 65 63 6f 72 64 2e 20 41 6e 64 20 74 68  e record. And th
0670: 65 20 61 76 65 72 61 67 65 73 20 72 65 63 6f 72  e averages recor
0680: 64 2e 20 54 68 65 6e 0a 23 20 63 68 65 63 6b 20  d. Then.# check 
0690: 74 68 61 74 20 69 6e 74 65 67 72 69 74 79 2d 63  that integrity-c
06a0: 68 65 63 6b 20 70 69 63 6b 73 20 69 74 20 75 70  heck picks it up
06b0: 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  ..#.do_execsql_t
06c0: 65 73 74 20 34 2e 30 20 7b 0a 20 20 43 52 45 41  est 4.0 {.  CREA
06d0: 54 45 20 56 49 52 54 55 41 4c 20 54 41 42 4c 45  TE VIRTUAL TABLE
06e0: 20 61 61 20 55 53 49 4e 47 20 66 74 73 35 28 7a   aa USING fts5(z
06f0: 7a 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  z);.  INSERT INT
0700: 4f 20 61 61 28 7a 7a 29 20 56 41 4c 55 45 53 28  O aa(zz) VALUES(
0710: 27 61 20 62 20 63 20 64 20 65 27 29 3b 0a 20 20  'a b c d e');.  
0720: 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 61 28 7a  INSERT INTO aa(z
0730: 7a 29 20 56 41 4c 55 45 53 28 27 61 20 62 20 63  z) VALUES('a b c
0740: 20 64 27 29 3b 0a 20 20 49 4e 53 45 52 54 20 49   d');.  INSERT I
0750: 4e 54 4f 20 61 61 28 7a 7a 29 20 56 41 4c 55 45  NTO aa(zz) VALUE
0760: 53 28 27 61 20 62 20 63 27 29 3b 0a 20 20 49 4e  S('a b c');.  IN
0770: 53 45 52 54 20 49 4e 54 4f 20 61 61 28 7a 7a 29  SERT INTO aa(zz)
0780: 20 56 41 4c 55 45 53 28 27 61 20 62 27 29 3b 0a   VALUES('a b');.
0790: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 61    INSERT INTO aa
07a0: 28 7a 7a 29 20 56 41 4c 55 45 53 28 27 61 27 29  (zz) VALUES('a')
07b0: 3b 0a 20 20 53 45 4c 45 43 54 20 6c 65 6e 67 74  ;.  SELECT lengt
07c0: 68 28 73 7a 29 20 46 52 4f 4d 20 61 61 5f 64 6f  h(sz) FROM aa_do
07d0: 63 73 69 7a 65 3b 0a 7d 20 7b 31 20 31 20 31 20  csize;.} {1 1 1 
07e0: 31 20 31 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  1 1}.do_execsql_
07f0: 74 65 73 74 20 34 2e 31 20 7b 20 0a 20 20 49 4e  test 4.1 { .  IN
0800: 53 45 52 54 20 49 4e 54 4f 20 61 61 28 61 61 29  SERT INTO aa(aa)
0810: 20 56 41 4c 55 45 53 28 27 69 6e 74 65 67 72 69   VALUES('integri
0820: 74 79 2d 63 68 65 63 6b 27 29 3b 20 0a 7d 0a 0a  ty-check'); .}..
0830: 64 6f 5f 63 61 74 63 68 73 71 6c 5f 74 65 73 74  do_catchsql_test
0840: 20 34 2e 32 20 7b 20 0a 20 20 42 45 47 49 4e 3b   4.2 { .  BEGIN;
0850: 0a 20 20 20 20 55 50 44 41 54 45 20 61 61 5f 64  .    UPDATE aa_d
0860: 6f 63 73 69 7a 65 20 53 45 54 20 73 7a 20 3d 20  ocsize SET sz = 
0870: 58 27 34 34 27 20 57 48 45 52 45 20 72 6f 77 69  X'44' WHERE rowi
0880: 64 20 3d 20 33 3b 0a 20 20 20 20 49 4e 53 45 52  d = 3;.    INSER
0890: 54 20 49 4e 54 4f 20 61 61 28 61 61 29 20 56 41  T INTO aa(aa) VA
08a0: 4c 55 45 53 28 27 69 6e 74 65 67 72 69 74 79 2d  LUES('integrity-
08b0: 63 68 65 63 6b 27 29 3b 20 0a 7d 20 7b 31 20 7b  check'); .} {1 {
08c0: 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d  database disk im
08d0: 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64  age is malformed
08e0: 7d 7d 0a 0a 64 6f 5f 63 61 74 63 68 73 71 6c 5f  }}..do_catchsql_
08f0: 74 65 73 74 20 34 2e 33 20 7b 20 0a 20 20 52 4f  test 4.3 { .  RO
0900: 4c 4c 42 41 43 4b 3b 0a 20 20 42 45 47 49 4e 3b  LLBACK;.  BEGIN;
0910: 0a 20 20 20 20 55 50 44 41 54 45 20 61 61 5f 64  .    UPDATE aa_d
0920: 61 74 61 20 53 45 54 20 62 6c 6f 63 6b 20 3d 20  ata SET block = 
0930: 58 27 34 34 27 20 57 48 45 52 45 20 72 6f 77 69  X'44' WHERE rowi
0940: 64 20 3d 20 31 3b 0a 20 20 20 20 49 4e 53 45 52  d = 1;.    INSER
0950: 54 20 49 4e 54 4f 20 61 61 28 61 61 29 20 56 41  T INTO aa(aa) VA
0960: 4c 55 45 53 28 27 69 6e 74 65 67 72 69 74 79 2d  LUES('integrity-
0970: 63 68 65 63 6b 27 29 3b 20 0a 7d 20 7b 31 20 7b  check'); .} {1 {
0980: 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d  database disk im
0990: 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64  age is malformed
09a0: 7d 7d 0a 0a 64 6f 5f 63 61 74 63 68 73 71 6c 5f  }}..do_catchsql_
09b0: 74 65 73 74 20 34 2e 34 20 7b 20 0a 20 20 52 4f  test 4.4 { .  RO
09c0: 4c 4c 42 41 43 4b 3b 0a 20 20 42 45 47 49 4e 3b  LLBACK;.  BEGIN;
09d0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
09e0: 20 61 61 5f 64 6f 63 73 69 7a 65 20 56 41 4c 55   aa_docsize VALU
09f0: 45 53 28 32 33 2c 20 58 27 30 34 27 29 3b 0a 20  ES(23, X'04');. 
0a00: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61     INSERT INTO a
0a10: 61 28 61 61 29 20 56 41 4c 55 45 53 28 27 69 6e  a(aa) VALUES('in
0a20: 74 65 67 72 69 74 79 2d 63 68 65 63 6b 27 29 3b  tegrity-check');
0a30: 20 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65   .} {1 {database
0a40: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
0a50: 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 64 6f 5f 63  alformed}}..do_c
0a60: 61 74 63 68 73 71 6c 5f 74 65 73 74 20 34 2e 35  atchsql_test 4.5
0a70: 20 7b 20 0a 20 20 52 4f 4c 4c 42 41 43 4b 3b 0a   { .  ROLLBACK;.
0a80: 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 49 4e 53    BEGIN;.    INS
0a90: 45 52 54 20 49 4e 54 4f 20 61 61 5f 64 6f 63 73  ERT INTO aa_docs
0aa0: 69 7a 65 20 56 41 4c 55 45 53 28 32 33 2c 20 58  ize VALUES(23, X
0ab0: 27 30 30 27 29 3b 0a 20 20 20 20 49 4e 53 45 52  '00');.    INSER
0ac0: 54 20 49 4e 54 4f 20 61 61 5f 63 6f 6e 74 65 6e  T INTO aa_conten
0ad0: 74 20 56 41 4c 55 45 53 28 32 33 2c 20 27 27 29  t VALUES(23, '')
0ae0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
0af0: 4f 20 61 61 28 61 61 29 20 56 41 4c 55 45 53 28  O aa(aa) VALUES(
0b00: 27 69 6e 74 65 67 72 69 74 79 2d 63 68 65 63 6b  'integrity-check
0b10: 27 29 3b 20 0a 7d 20 7b 31 20 7b 64 61 74 61 62  '); .} {1 {datab
0b20: 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69  ase disk image i
0b30: 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 23  s malformed}}..#
0b40: 64 62 20 65 76 61 6c 20 7b 53 45 4c 45 43 54 20  db eval {SELECT 
0b50: 72 6f 77 69 64 2c 20 66 74 73 35 5f 64 65 63 6f  rowid, fts5_deco
0b60: 64 65 28 72 6f 77 69 64 2c 20 62 6c 6f 63 6b 29  de(rowid, block)
0b70: 20 61 53 20 72 20 46 52 4f 4d 20 7a 7a 5f 64 61   aS r FROM zz_da
0b80: 74 61 7d 20 7b 70 75 74 73 20 24 72 7d 0a 23 65  ta} {puts $r}.#e
0b90: 78 69 74 0a 0a 65 78 65 63 73 71 6c 20 7b 20 52  xit..execsql { R
0ba0: 4f 4c 4c 42 41 43 4b 20 7d 0a 0a 0a 23 2d 2d 2d  OLLBACK }...#---
0bb0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0bc0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0bd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0be0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0bf0: 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 74 68  ------.# Test th
0c00: 61 74 20 69 6e 74 65 67 72 69 74 79 2d 63 68 65  at integrity-che
0c10: 63 6b 20 77 6f 72 6b 73 20 6f 6e 20 61 20 72 65  ck works on a re
0c20: 61 73 6f 6e 61 62 6c 79 20 6c 61 72 67 65 20 64  asonably large d
0c30: 62 20 77 69 74 68 20 6d 61 6e 79 0a 23 20 64 69  b with many.# di
0c40: 66 66 65 72 65 6e 74 20 74 65 72 6d 73 2e 0a 0a  fferent terms...
0c50: 23 20 44 6f 63 75 6d 65 6e 74 20 67 65 6e 65 72  # Document gener
0c60: 61 74 6f 72 20 63 6f 6d 6d 61 6e 64 2e 0a 70 72  ator command..pr
0c70: 6f 63 20 72 6e 64 64 6f 63 20 7b 6e 7d 20 7b 0a  oc rnddoc {n} {.
0c80: 20 20 73 65 74 20 64 6f 63 20 5b 6c 69 73 74 5d    set doc [list]
0c90: 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20 30 7d  .  for {set i 0}
0ca0: 20 7b 24 69 3c 24 6e 7d 20 7b 69 6e 63 72 20 69   {$i<$n} {incr i
0cb0: 7d 20 7b 0a 20 20 20 20 6c 61 70 70 65 6e 64 20  } {.    lappend 
0cc0: 64 6f 63 20 5b 66 6f 72 6d 61 74 20 25 2e 35 64  doc [format %.5d
0cd0: 20 5b 65 78 70 72 20 69 6e 74 28 72 61 6e 64 28   [expr int(rand(
0ce0: 29 2a 31 30 30 30 30 29 5d 5d 0a 20 20 7d 0a 20  )*10000)]].  }. 
0cf0: 20 72 65 74 75 72 6e 20 24 64 6f 63 0a 7d 0a 64   return $doc.}.d
0d00: 62 20 66 75 6e 63 20 72 6e 64 64 6f 63 20 72 6e  b func rnddoc rn
0d10: 64 64 6f 63 0a 0a 65 78 70 72 20 73 72 61 6e 64  ddoc..expr srand
0d20: 28 30 29 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  (0).do_execsql_t
0d30: 65 73 74 20 35 2e 30 20 7b 0a 20 20 43 52 45 41  est 5.0 {.  CREA
0d40: 54 45 20 56 49 52 54 55 41 4c 20 54 41 42 4c 45  TE VIRTUAL TABLE
0d50: 20 67 67 20 55 53 49 4e 47 20 66 74 73 35 28 61   gg USING fts5(a
0d60: 2c 20 70 72 65 66 69 78 3d 22 31 2c 32 2c 33 22  , prefix="1,2,3"
0d70: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
0d80: 20 67 67 28 67 67 2c 20 72 61 6e 6b 29 20 56 41   gg(gg, rank) VA
0d90: 4c 55 45 53 28 27 70 67 73 7a 27 2c 20 32 35 36  LUES('pgsz', 256
0da0: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
0db0: 20 67 67 20 56 41 4c 55 45 53 28 72 6e 64 64 6f   gg VALUES(rnddo
0dc0: 63 28 32 30 29 29 3b 0a 20 20 49 4e 53 45 52 54  c(20));.  INSERT
0dd0: 20 49 4e 54 4f 20 67 67 20 53 45 4c 45 43 54 20   INTO gg SELECT 
0de0: 72 6e 64 64 6f 63 28 32 30 29 20 46 52 4f 4d 20  rnddoc(20) FROM 
0df0: 67 67 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  gg;.  INSERT INT
0e00: 4f 20 67 67 20 53 45 4c 45 43 54 20 72 6e 64 64  O gg SELECT rndd
0e10: 6f 63 28 32 30 29 20 46 52 4f 4d 20 67 67 3b 0a  oc(20) FROM gg;.
0e20: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 67 67    INSERT INTO gg
0e30: 20 53 45 4c 45 43 54 20 72 6e 64 64 6f 63 28 32   SELECT rnddoc(2
0e40: 30 29 20 46 52 4f 4d 20 67 67 3b 0a 20 20 49 4e  0) FROM gg;.  IN
0e50: 53 45 52 54 20 49 4e 54 4f 20 67 67 20 53 45 4c  SERT INTO gg SEL
0e60: 45 43 54 20 72 6e 64 64 6f 63 28 32 30 29 20 46  ECT rnddoc(20) F
0e70: 52 4f 4d 20 67 67 3b 0a 20 20 49 4e 53 45 52 54  ROM gg;.  INSERT
0e80: 20 49 4e 54 4f 20 67 67 20 53 45 4c 45 43 54 20   INTO gg SELECT 
0e90: 72 6e 64 64 6f 63 28 32 30 29 20 46 52 4f 4d 20  rnddoc(20) FROM 
0ea0: 67 67 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  gg;.  INSERT INT
0eb0: 4f 20 67 67 20 53 45 4c 45 43 54 20 72 6e 64 64  O gg SELECT rndd
0ec0: 6f 63 28 32 30 29 20 46 52 4f 4d 20 67 67 3b 0a  oc(20) FROM gg;.
0ed0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 67 67    INSERT INTO gg
0ee0: 20 53 45 4c 45 43 54 20 72 6e 64 64 6f 63 28 32   SELECT rnddoc(2
0ef0: 30 29 20 46 52 4f 4d 20 67 67 3b 0a 20 20 49 4e  0) FROM gg;.  IN
0f00: 53 45 52 54 20 49 4e 54 4f 20 67 67 20 53 45 4c  SERT INTO gg SEL
0f10: 45 43 54 20 72 6e 64 64 6f 63 28 32 30 29 20 46  ECT rnddoc(20) F
0f20: 52 4f 4d 20 67 67 3b 0a 20 20 49 4e 53 45 52 54  ROM gg;.  INSERT
0f30: 20 49 4e 54 4f 20 67 67 20 53 45 4c 45 43 54 20   INTO gg SELECT 
0f40: 72 6e 64 64 6f 63 28 32 30 29 20 46 52 4f 4d 20  rnddoc(20) FROM 
0f50: 67 67 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  gg;.  INSERT INT
0f60: 4f 20 67 67 20 53 45 4c 45 43 54 20 72 6e 64 64  O gg SELECT rndd
0f70: 6f 63 28 32 30 29 20 46 52 4f 4d 20 67 67 3b 0a  oc(20) FROM gg;.
0f80: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 67 67    INSERT INTO gg
0f90: 20 53 45 4c 45 43 54 20 72 6e 64 64 6f 63 28 32   SELECT rnddoc(2
0fa0: 30 29 20 46 52 4f 4d 20 67 67 3b 0a 7d 0a 0a 64  0) FROM gg;.}..d
0fb0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 35  o_execsql_test 5
0fc0: 2e 31 20 7b 0a 20 20 49 4e 53 45 52 54 20 49 4e  .1 {.  INSERT IN
0fd0: 54 4f 20 67 67 28 67 67 29 20 56 41 4c 55 45 53  TO gg(gg) VALUES
0fe0: 28 27 69 6e 74 65 67 72 69 74 79 2d 63 68 65 63  ('integrity-chec
0ff0: 6b 27 29 3b 0a 7d 0a 0a 64 6f 5f 65 78 65 63 73  k');.}..do_execs
1000: 71 6c 5f 74 65 73 74 20 35 2e 32 20 7b 0a 20 20  ql_test 5.2 {.  
1010: 49 4e 53 45 52 54 20 49 4e 54 4f 20 67 67 28 67  INSERT INTO gg(g
1020: 67 29 20 56 41 4c 55 45 53 28 27 6f 70 74 69 6d  g) VALUES('optim
1030: 69 7a 65 27 29 3b 0a 7d 0a 0a 64 6f 5f 65 78 65  ize');.}..do_exe
1040: 63 73 71 6c 5f 74 65 73 74 20 35 2e 33 20 7b 0a  csql_test 5.3 {.
1050: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 67 67    INSERT INTO gg
1060: 28 67 67 29 20 56 41 4c 55 45 53 28 27 69 6e 74  (gg) VALUES('int
1070: 65 67 72 69 74 79 2d 63 68 65 63 6b 27 29 3b 0a  egrity-check');.
1080: 7d 0a 0a 64 6f 5f 74 65 73 74 20 35 2e 34 2e 31  }..do_test 5.4.1
1090: 20 7b 0a 20 20 73 65 74 20 6f 6b 20 30 0a 20 20   {.  set ok 0.  
10a0: 66 6f 72 20 7b 73 65 74 20 69 20 30 7d 20 7b 24  for {set i 0} {$
10b0: 69 20 3c 20 31 30 30 30 30 7d 20 7b 69 6e 63 72  i < 10000} {incr
10c0: 20 69 7d 20 7b 0a 20 20 20 20 73 65 74 20 54 20   i} {.    set T 
10d0: 5b 66 6f 72 6d 61 74 20 25 2e 35 64 20 24 69 5d  [format %.5d $i]
10e0: 0a 20 20 20 20 73 65 74 20 72 65 73 20 20 5b 64  .    set res  [d
10f0: 62 20 65 76 61 6c 20 7b 20 53 45 4c 45 43 54 20  b eval { SELECT 
1100: 72 6f 77 69 64 20 46 52 4f 4d 20 67 67 28 24 54  rowid FROM gg($T
1110: 29 20 4f 52 44 45 52 20 42 59 20 72 6f 77 69 64  ) ORDER BY rowid
1120: 20 41 53 43 20 20 7d 5d 0a 20 20 20 20 73 65 74   ASC  }].    set
1130: 20 72 65 73 32 20 5b 64 62 20 65 76 61 6c 20 7b   res2 [db eval {
1140: 20 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52   SELECT rowid FR
1150: 4f 4d 20 67 67 28 24 54 29 20 4f 52 44 45 52 20  OM gg($T) ORDER 
1160: 42 59 20 72 6f 77 69 64 20 44 45 53 43 20 7d 5d  BY rowid DESC }]
1170: 0a 20 20 20 20 69 66 20 7b 24 72 65 73 20 3d 3d  .    if {$res ==
1180: 20 5b 6c 73 6f 72 74 20 2d 69 6e 74 65 67 65 72   [lsort -integer
1190: 20 24 72 65 73 32 5d 7d 20 7b 20 69 6e 63 72 20   $res2]} { incr 
11a0: 6f 6b 20 7d 0a 20 20 7d 0a 20 20 73 65 74 20 6f  ok }.  }.  set o
11b0: 6b 0a 7d 20 7b 31 30 30 30 30 7d 0a 0a 64 6f 5f  k.} {10000}..do_
11c0: 74 65 73 74 20 35 2e 34 2e 32 20 7b 0a 20 20 73  test 5.4.2 {.  s
11d0: 65 74 20 6f 6b 20 30 0a 20 20 66 6f 72 20 7b 73  et ok 0.  for {s
11e0: 65 74 20 69 20 30 7d 20 7b 24 69 20 3c 20 31 30  et i 0} {$i < 10
11f0: 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 20  0} {incr i} {.  
1200: 20 20 73 65 74 20 54 20 22 5b 66 6f 72 6d 61 74    set T "[format
1210: 20 25 2e 33 64 20 24 69 5d 2a 22 0a 20 20 20 20   %.3d $i]*".    
1220: 73 65 74 20 72 65 73 20 20 5b 64 62 20 65 76 61  set res  [db eva
1230: 6c 20 7b 20 53 45 4c 45 43 54 20 72 6f 77 69 64  l { SELECT rowid
1240: 20 46 52 4f 4d 20 67 67 28 24 54 29 20 4f 52 44   FROM gg($T) ORD
1250: 45 52 20 42 59 20 72 6f 77 69 64 20 41 53 43 20  ER BY rowid ASC 
1260: 20 7d 5d 0a 20 20 20 20 73 65 74 20 72 65 73 32   }].    set res2
1270: 20 5b 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45   [db eval { SELE
1280: 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 67 67  CT rowid FROM gg
1290: 28 24 54 29 20 4f 52 44 45 52 20 42 59 20 72 6f  ($T) ORDER BY ro
12a0: 77 69 64 20 44 45 53 43 20 7d 5d 0a 20 20 20 20  wid DESC }].    
12b0: 69 66 20 7b 24 72 65 73 20 3d 3d 20 5b 6c 73 6f  if {$res == [lso
12c0: 72 74 20 2d 69 6e 74 65 67 65 72 20 24 72 65 73  rt -integer $res
12d0: 32 5d 7d 20 7b 20 69 6e 63 72 20 6f 6b 20 7d 0a  2]} { incr ok }.
12e0: 20 20 7d 0a 20 20 73 65 74 20 6f 6b 0a 7d 20 7b    }.  set ok.} {
12f0: 31 30 30 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d  100}..#---------
1300: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1310: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1320: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1330: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1340: 0a 23 20 53 69 6d 69 6c 61 72 20 74 6f 20 35 2e  .# Similar to 5.
1350: 2a 2e 0a 23 0a 66 6f 72 65 61 63 68 20 7b 74 6e  *..#.foreach {tn
1360: 20 70 67 73 7a 7d 20 7b 0a 20 20 31 20 20 33 32   pgsz} {.  1  32
1370: 0a 20 20 32 20 20 33 36 0a 20 20 33 20 20 34 30  .  2  36.  3  40
1380: 0a 20 20 34 20 20 34 34 0a 20 20 35 20 20 34 38  .  4  44.  5  48
1390: 0a 7d 20 7b 0a 20 20 64 6f 5f 65 78 65 63 73 71  .} {.  do_execsq
13a0: 6c 5f 74 65 73 74 20 36 2e 24 74 6e 2e 31 20 7b  l_test 6.$tn.1 {
13b0: 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20  .    DROP TABLE 
13c0: 49 46 20 45 58 49 53 54 53 20 68 68 3b 0a 20 20  IF EXISTS hh;.  
13d0: 20 20 43 52 45 41 54 45 20 56 49 52 54 55 41 4c    CREATE VIRTUAL
13e0: 20 54 41 42 4c 45 20 68 68 20 55 53 49 4e 47 20   TABLE hh USING 
13f0: 66 74 73 35 28 79 29 3b 0a 20 20 20 20 49 4e 53  fts5(y);.    INS
1400: 45 52 54 20 49 4e 54 4f 20 68 68 28 68 68 2c 20  ERT INTO hh(hh, 
1410: 72 61 6e 6b 29 20 56 41 4c 55 45 53 28 27 70 67  rank) VALUES('pg
1420: 73 7a 27 2c 20 24 70 67 73 7a 29 3b 0a 0a 20 20  sz', $pgsz);..  
1430: 20 20 57 49 54 48 20 73 28 69 29 20 41 53 20 28    WITH s(i) AS (
1440: 53 45 4c 45 43 54 20 30 20 55 4e 49 4f 4e 20 41  SELECT 0 UNION A
1450: 4c 4c 20 53 45 4c 45 43 54 20 69 2b 31 20 46 52  LL SELECT i+1 FR
1460: 4f 4d 20 73 20 57 48 45 52 45 20 69 3c 39 39 39  OM s WHERE i<999
1470: 29 0a 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  ).     INSERT IN
1480: 54 4f 20 68 68 20 53 45 4c 45 43 54 20 70 72 69  TO hh SELECT pri
1490: 6e 74 66 28 22 25 2e 33 64 25 2e 33 64 25 2e 33  ntf("%.3d%.3d%.3
14a0: 64 20 25 2e 33 64 25 2e 33 64 25 2e 33 64 22 2c  d %.3d%.3d%.3d",
14b0: 69 2c 69 2c 69 2c 69 2b 31 2c 69 2b 31 2c 69 2b  i,i,i,i+1,i+1,i+
14c0: 31 29 0a 20 20 20 20 20 46 52 4f 4d 20 73 3b 0a  1).     FROM s;.
14d0: 0a 20 20 20 20 57 49 54 48 20 73 28 69 29 20 41  .    WITH s(i) A
14e0: 53 20 28 53 45 4c 45 43 54 20 30 20 55 4e 49 4f  S (SELECT 0 UNIO
14f0: 4e 20 41 4c 4c 20 53 45 4c 45 43 54 20 69 2b 31  N ALL SELECT i+1
1500: 20 46 52 4f 4d 20 73 20 57 48 45 52 45 20 69 3c   FROM s WHERE i<
1510: 39 39 39 29 0a 20 20 20 20 20 49 4e 53 45 52 54  999).     INSERT
1520: 20 49 4e 54 4f 20 68 68 20 53 45 4c 45 43 54 20   INTO hh SELECT 
1530: 70 72 69 6e 74 66 28 22 25 2e 33 64 25 2e 33 64  printf("%.3d%.3d
1540: 25 2e 33 64 20 25 2e 33 64 25 2e 33 64 25 2e 33  %.3d %.3d%.3d%.3
1550: 64 22 2c 69 2c 69 2c 69 2c 69 2b 31 2c 69 2b 31  d",i,i,i,i+1,i+1
1560: 2c 69 2b 31 29 0a 20 20 20 20 20 46 52 4f 4d 20  ,i+1).     FROM 
1570: 73 3b 0a 0a 20 20 20 20 49 4e 53 45 52 54 20 49  s;..    INSERT I
1580: 4e 54 4f 20 68 68 28 68 68 29 20 56 41 4c 55 45  NTO hh(hh) VALUE
1590: 53 28 27 6f 70 74 69 6d 69 7a 65 27 29 3b 0a 20  S('optimize');. 
15a0: 20 7d 0a 0a 20 20 64 6f 5f 74 65 73 74 20 36 2e   }..  do_test 6.
15b0: 24 74 6e 2e 32 20 7b 0a 20 20 20 20 73 65 74 20  $tn.2 {.    set 
15c0: 6f 6b 20 30 0a 20 20 20 20 66 6f 72 20 7b 73 65  ok 0.    for {se
15d0: 74 20 69 20 30 7d 20 7b 24 69 20 3c 20 31 30 30  t i 0} {$i < 100
15e0: 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 20  0} {incr i} {.  
15f0: 20 20 20 20 73 65 74 20 54 20 5b 66 6f 72 6d 61      set T [forma
1600: 74 20 25 2e 33 64 25 2e 33 64 25 2e 33 64 20 24  t %.3d%.3d%.3d $
1610: 69 20 24 69 20 24 69 5d 0a 20 20 20 20 20 20 73  i $i $i].      s
1620: 65 74 20 72 65 73 20 20 5b 64 62 20 65 76 61 6c  et res  [db eval
1630: 20 7b 20 53 45 4c 45 43 54 20 72 6f 77 69 64 20   { SELECT rowid 
1640: 46 52 4f 4d 20 68 68 28 24 54 29 20 4f 52 44 45  FROM hh($T) ORDE
1650: 52 20 42 59 20 72 6f 77 69 64 20 41 53 43 20 20  R BY rowid ASC  
1660: 7d 5d 0a 20 20 20 20 20 20 73 65 74 20 72 65 73  }].      set res
1670: 32 20 5b 64 62 20 65 76 61 6c 20 7b 20 53 45 4c  2 [db eval { SEL
1680: 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 68  ECT rowid FROM h
1690: 68 28 24 54 29 20 4f 52 44 45 52 20 42 59 20 72  h($T) ORDER BY r
16a0: 6f 77 69 64 20 44 45 53 43 20 7d 5d 0a 20 20 20  owid DESC }].   
16b0: 20 20 20 69 66 20 7b 24 72 65 73 20 3d 3d 20 5b     if {$res == [
16c0: 6c 73 6f 72 74 20 2d 69 6e 74 65 67 65 72 20 24  lsort -integer $
16d0: 72 65 73 32 5d 7d 20 7b 20 69 6e 63 72 20 6f 6b  res2]} { incr ok
16e0: 20 7d 0a 20 20 20 20 7d 0a 20 20 20 20 73 65 74   }.    }.    set
16f0: 20 6f 6b 0a 20 20 7d 20 7b 31 30 30 30 7d 0a 7d   ok.  } {1000}.}
1700: 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a 0a     ..finish_test..