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
|
#!/usr/bin/env tarantool
test = require("sqltester")
test:plan(10)
--!./tcltestrunner.lua
-- 2015-03-16
--
-- 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. The
-- focus of this file is testing OR expressions where terms can be
-- factored from either side of the OR and combined into a single new
-- AND term that is beneficial to the search. Examples:
--
-- (x>A OR x=A) --> ... AND (x>=A)
-- (x>A OR (x=A AND y>=B) --> ... AND (x>=A)
--
-- ["set","testdir",[["file","dirname",["argv0"]]]]
-- ["source",[["testdir"],"\/tester.tcl"]]
testprefix = "whereK"
test:do_execsql_test(1.1, [[
CREATE TABLE t1(a INT ,b INT ,c INT , primary key (a,b,c));
WITH RECURSIVE c(x) AS (VALUES(0) UNION ALL SELECT x+1 FROM c WHERE x<99)
INSERT INTO t1(a,b,c) SELECT x, x/10, x%10 FROM c;
CREATE INDEX t1bc ON t1(b,c);
SELECT a FROM t1 WHERE b>9 OR b=9 ORDER BY +a;
]], {
-- <1.1>
90, 91, 92, 93, 94, 95, 96, 97, 98, 99
-- </1.1>
})
test:do_execsql_test("1.1eqp", [[
EXPLAIN QUERY PLAN
SELECT a FROM t1 WHERE b>9 OR b=9 ORDER BY +a;
]], {
-- <1.1eqp>
"/SEARCH TABLE T1 USING COVERING INDEX T1BC/"
-- </1.1eqp>
})
test:do_execsql_test(1.2, [[
SELECT a FROM t1 WHERE b>8 OR (b=8 AND c>7) ORDER BY +a;
]], {
-- <1.2>
88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99
-- </1.2>
})
test:do_execsql_test("1.2eqp", [[
EXPLAIN QUERY PLAN
SELECT a FROM t1 WHERE b>8 OR (b=8 AND c>7) ORDER BY +a;
]], {
-- <1.2eqp>
"/SEARCH TABLE T1 USING COVERING INDEX T1BC/"
-- </1.2eqp>
})
test:do_execsql_test(1.3, [[
SELECT a FROM t1 WHERE (b=8 AND c>7) OR b>8 ORDER BY +a;
]], {
-- <1.3>
88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99
-- </1.3>
})
test:do_execsql_test("1.3eqp", [[
EXPLAIN QUERY PLAN
SELECT a FROM t1 WHERE (b=8 AND c>7) OR b>8 ORDER BY +a;
]], {
-- <1.3eqp>
"/SEARCH TABLE T1 USING COVERING INDEX T1BC/"
-- </1.3eqp>
})
test:do_execsql_test(1.4, [[
SELECT a FROM t1 WHERE (b=8 AND c>7) OR 8<b ORDER BY +a;
]], {
-- <1.4>
88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99
-- </1.4>
})
test:do_execsql_test("1.4eqp", [[
EXPLAIN QUERY PLAN
SELECT a FROM t1 WHERE (b=8 AND c>7) OR 8<b ORDER BY +a;
]], {
-- <1.4eqp>
"/SEARCH TABLE T1 USING COVERING INDEX T1BC/"
-- </1.4eqp>
})
test:do_execsql_test(1.5, [[
SELECT a FROM t1 WHERE (b=8 AND c>7) OR (b>8 AND c NOT IN (4,5,6))
ORDER BY +a;
]], {
-- <1.5>
88, 89, 90, 91, 92, 93, 97, 98, 99
-- </1.5>
})
test:do_execsql_test("1.5eqp", [[
EXPLAIN QUERY PLAN
SELECT a FROM t1 WHERE (b=8 AND c>7) OR (b>8 AND c NOT IN (4,5,6))
ORDER BY +a;
]], {
-- <1.5eqp>
"/SEARCH TABLE T1 USING COVERING INDEX T1BC/"
-- </1.5eqp>
})
test:finish_test()
|
