1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
|
#!/usr/bin/env tarantool
test = require("sqltester")
test:plan(15)
testprefix = "analyzeD"
--!./tcltestrunner.lua
-- 2005 July 22
--
-- The author disclaims copyright to this source code. In place of
-- a legal notice, here is a blessing:
--
-- May you do good and not evil.
-- May you find forgiveness for yourself and forgive others.
-- May you share freely, never taking more than you give.
--
-------------------------------------------------------------------------
-- This file implements regression tests for sql library.
-- This file implements tests for the ANALYZE command.
--
-- Set up a table with the following properties:
--
-- * Contains 1000 rows.
-- * Column a contains even integers between 0 and 18, inclusive (so that
-- a=? for any such integer matches 100 rows).
-- * Column b contains integers between 0 and 9, inclusive.
-- * Column c contains integers between 0 and 199, inclusive (so that
-- for any such integer, c=? matches 5 rows).
-- * Then add 7 rows with a new value for "a" - 3001. The stat4 table will
-- not contain any samples with a=3001.
--
test:do_execsql_test(
1.0,
[[
CREATE TABLE t1(id INT PRIMARY KEY, a INT , b INT , c INT );
]])
test:do_test(
1.1,
function()
for i = 1, 999 do
local c = math.floor(i % 200);
test:execsql(string.format(" INSERT INTO t1(id, a, b, c) VALUES(%s, 2*(%s + 100), %s%%10, %s ); ", i, i, i, c))
end
return test:execsql([[
INSERT INTO t1 VALUES(1001, 3001, 3001, 3001);
INSERT INTO t1 VALUES(1002, 3001, 3001, 3002);
INSERT INTO t1 VALUES(1003, 3001, 3001, 3003);
INSERT INTO t1 VALUES(1004, 3001, 3001, 3004);
INSERT INTO t1 VALUES(1005, 3001, 3001, 3005);
INSERT INTO t1 VALUES(1006, 3001, 3001, 3006);
INSERT INTO t1 VALUES(1007, 3001, 3001, 3007);
CREATE INDEX t1_ab ON t1(a, b);
CREATE INDEX t1_c ON t1(c);
ANALYZE;
]])
end, {
-- <1.1>
-- </1.1>
})
-- With full ANALYZE data, sql sees that c=150 (5 rows) is better than
-- a=3001 (7 rows).
--
test:do_execsql_test(
1.2,
[[
EXPLAIN QUERY PLAN SELECT * FROM t1 WHERE a=3001 AND c=150;
]], {
-- <1.2>
0, 0, 0, "SEARCH TABLE T1 USING COVERING INDEX T1_C (C=?)"
-- </1.2>
})
test:do_test(
1.3,
function()
test:execsql("DELETE FROM \"_sql_stat1\";")
end, {
-- <1.3>
-- </1.3>
})
-- Without stat1, because 3001 is larger than all samples in the stat4
-- table, sql things that a=3001 matches just 1 row. So it (incorrectly)
-- chooses it over the c=150 index (5 rows). Even with stat1 data, things
-- worked this way before commit [e6f7f97dbc].
--
test:do_execsql_test(
1.4,
[[
EXPLAIN QUERY PLAN SELECT * FROM t1 WHERE a=3001 AND c=150;
]], {
-- <1.4>
0, 0, 0, "SEARCH TABLE T1 USING COVERING INDEX T1_C (C=?)"
-- </1.4>
})
test:do_execsql_test(
1.5,
[[
UPDATE t1 SET a=13 WHERE a = 3001;
ANALYZE;
]], {
-- <1.5>
-- </1.5>
})
test:do_execsql_test(
1.6,
[[
EXPLAIN QUERY PLAN SELECT * FROM t1 WHERE a=13 AND c=150;
]], {
-- <1.6>
0, 0, 0, "SEARCH TABLE T1 USING COVERING INDEX T1_C (C=?)"
-- </1.6>
})
test:do_test(
1.7,
function()
test:execsql(" DELETE FROM \"_sql_stat1\" ")
end, {
-- <1.7>
-- </1.7>
})
-- Same test as 1.4, except this time the 7 rows that match the a=? condition
-- do not feature larger values than all rows in the stat4 table. So sql
-- gets this right, even without stat1 data.
test:do_execsql_test(
1.8,
[[
EXPLAIN QUERY PLAN SELECT * FROM t1 WHERE a=13 AND c=150;
]], {
-- <1.8>
0, 0, 0, "SEARCH TABLE T1 USING COVERING INDEX T1_C (C=?)"
-- </1.8>
})
test:do_catchsql_test(
"analyzeD-1.9",
[[
CREATE TABLE table1(id INT PRIMARY KEY, a INT);
CREATE VIEW v AS SELECT * FROM table1;
ANALYZE;
]], {
-- <analyzeD-1.9>
0
-- <analyzeD-1.9>
})
test:do_execsql_test(
"analyzeD-1.10",
[[
SELECT * FROM "_sql_stat4" WHERE "tbl" = 'v';
]], {
-- <analyzeD-1.10>
-- <analyzeD-1.10>
})
test:do_execsql_test(
"analyzeD-1.11",
[[
SELECT * FROM "_sql_stat1" WHERE "tbl" = 'v';
]], {
-- <analyzeD-1.11>
-- <analyzeD-1.11>
})
test:do_catchsql_test(
"analyzeD-1.12",
[[
ANALYZE v;
]], {
-- <analyzeD-1.12>
1, "ANALYZE statement argument V is not a base table"
-- <analyzeD-1.12>
})
test:do_execsql_test(
"analyzeD-1.13",
[[
SELECT * FROM "_sql_stat4" WHERE "tbl" = 'v';
]], {
-- <analyzeD-1.13>
-- <analyzeD-1.13>
})
test:do_execsql_test(
"analyzeD-1.14",
[[
SELECT * FROM "_sql_stat1" WHERE "tbl" = 'v';
]], {
-- <analyzeD-1.14>
-- <analyzeD-1.14>
})
test:finish_test()
|
