| # 2011 March 2 |
| # |
| # 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. |
| # |
| #*********************************************************************** |
| # Make sure the rtreenode() testing function can handle entries with |
| # 64-bit rowids. |
| # |
| |
| if {![info exists testdir]} { |
| set testdir [file join [file dirname [info script]] .. .. test] |
| } |
| source [file join [file dirname [info script]] rtree_util.tcl] |
| source $testdir/tester.tcl |
| ifcapable !rtree { finish_test ; return } |
| set testprefix rtreeC |
| |
| do_execsql_test 1.0 { |
| CREATE VIRTUAL TABLE r_tree USING rtree(id, min_x, max_x, min_y, max_y); |
| CREATE TABLE t(x, y); |
| } |
| |
| do_eqp_test 1.1 { |
| SELECT * FROM r_tree, t |
| WHERE t.x>=min_x AND t.x<=max_x AND t.y>=min_y AND t.x<=max_y |
| } { |
| QUERY PLAN |
| |--SCAN TABLE t |
| `--SCAN TABLE r_tree VIRTUAL TABLE INDEX 2:D3B2D1B0 |
| } |
| |
| do_eqp_test 1.2 { |
| SELECT * FROM t, r_tree |
| WHERE t.x>=min_x AND t.x<=max_x AND t.y>=min_y AND t.x<=max_y |
| } { |
| QUERY PLAN |
| |--SCAN TABLE t |
| `--SCAN TABLE r_tree VIRTUAL TABLE INDEX 2:D3B2D1B0 |
| } |
| |
| do_eqp_test 1.3 { |
| SELECT * FROM t, r_tree |
| WHERE t.x>=min_x AND t.x<=max_x AND t.y>=min_y AND ?<=max_y |
| } { |
| QUERY PLAN |
| |--SCAN TABLE t |
| `--SCAN TABLE r_tree VIRTUAL TABLE INDEX 2:D3B2D1B0 |
| } |
| |
| do_eqp_test 1.5 { |
| SELECT * FROM t, r_tree |
| } { |
| QUERY PLAN |
| |--SCAN TABLE r_tree VIRTUAL TABLE INDEX 2: |
| `--SCAN TABLE t |
| } |
| |
| do_execsql_test 2.0 { |
| INSERT INTO t VALUES(0, 0); |
| INSERT INTO t VALUES(0, 1); |
| INSERT INTO t VALUES(0, 2); |
| INSERT INTO t VALUES(0, 3); |
| INSERT INTO t VALUES(0, 4); |
| INSERT INTO t VALUES(0, 5); |
| INSERT INTO t VALUES(0, 6); |
| INSERT INTO t VALUES(0, 7); |
| INSERT INTO t VALUES(0, 8); |
| INSERT INTO t VALUES(0, 9); |
| |
| INSERT INTO t SELECT x+1, y FROM t; |
| INSERT INTO t SELECT x+2, y FROM t; |
| INSERT INTO t SELECT x+4, y FROM t; |
| INSERT INTO r_tree SELECT NULL, x-1, x+1, y-1, y+1 FROM t; |
| ANALYZE; |
| } |
| |
| db close |
| sqlite3 db test.db |
| |
| do_eqp_test 2.1 { |
| SELECT * FROM r_tree, t |
| WHERE t.x>=min_x AND t.x<=max_x AND t.y>=min_y AND t.x<=max_y |
| } { |
| QUERY PLAN |
| |--SCAN TABLE t |
| `--SCAN TABLE r_tree VIRTUAL TABLE INDEX 2:D3B2D1B0 |
| } |
| |
| do_eqp_test 2.2 { |
| SELECT * FROM t, r_tree |
| WHERE t.x>=min_x AND t.x<=max_x AND t.y>=min_y AND t.x<=max_y |
| } { |
| QUERY PLAN |
| |--SCAN TABLE t |
| `--SCAN TABLE r_tree VIRTUAL TABLE INDEX 2:D3B2D1B0 |
| } |
| |
| do_eqp_test 2.3 { |
| SELECT * FROM t, r_tree |
| WHERE t.x>=min_x AND t.x<=max_x AND t.y>=min_y AND ?<=max_y |
| } { |
| QUERY PLAN |
| |--SCAN TABLE t |
| `--SCAN TABLE r_tree VIRTUAL TABLE INDEX 2:D3B2D1B0 |
| } |
| |
| do_eqp_test 2.5 { |
| SELECT * FROM t, r_tree |
| } { |
| QUERY PLAN |
| |--SCAN TABLE r_tree VIRTUAL TABLE INDEX 2: |
| `--SCAN TABLE t |
| } |
| |
| #------------------------------------------------------------------------- |
| # Test that the special CROSS JOIN handling works with rtree tables. |
| # |
| do_execsql_test 3.1 { |
| CREATE TABLE t1(x); |
| CREATE TABLE t2(y); |
| CREATE VIRTUAL TABLE t3 USING rtree(z, x1,x2, y1,y2); |
| } |
| |
| do_eqp_test 3.2.1 { SELECT * FROM t1 CROSS JOIN t2 } { |
| QUERY PLAN |
| |--SCAN TABLE t1 |
| `--SCAN TABLE t2 |
| } |
| do_eqp_test 3.2.2 { SELECT * FROM t2 CROSS JOIN t1 } { |
| QUERY PLAN |
| |--SCAN TABLE t2 |
| `--SCAN TABLE t1 |
| } |
| |
| do_eqp_test 3.3.1 { SELECT * FROM t1 CROSS JOIN t3 } { |
| QUERY PLAN |
| |--SCAN TABLE t1 |
| `--SCAN TABLE t3 VIRTUAL TABLE INDEX 2: |
| } |
| do_eqp_test 3.3.2 { SELECT * FROM t3 CROSS JOIN t1 } { |
| QUERY PLAN |
| |--SCAN TABLE t3 VIRTUAL TABLE INDEX 2: |
| `--SCAN TABLE t1 |
| } |
| |
| #-------------------------------------------------------------------- |
| # Test that LEFT JOINs are not reordered if the right-hand-side is |
| # a virtual table. |
| # |
| reset_db |
| do_execsql_test 4.1 { |
| CREATE TABLE t1(a); |
| CREATE VIRTUAL TABLE t2 USING rtree(b, x1,x2); |
| |
| INSERT INTO t1 VALUES(1); |
| INSERT INTO t1 VALUES(2); |
| |
| INSERT INTO t2 VALUES(1, 0.0, 0.1); |
| INSERT INTO t2 VALUES(3, 0.0, 0.1); |
| } |
| |
| do_execsql_test 4.2 { |
| SELECT a, b FROM t1 LEFT JOIN t2 ON (+a = +b); |
| } {1 1 2 {}} |
| |
| do_execsql_test 4.3 { |
| SELECT b, a FROM t2 LEFT JOIN t1 ON (+a = +b); |
| } {1 1 3 {}} |
| |
| #-------------------------------------------------------------------- |
| # Test that the sqlite_stat1 data is used correctly. |
| # |
| reset_db |
| do_execsql_test 5.1 { |
| CREATE TABLE t1(x INT PRIMARY KEY, y); |
| CREATE VIRTUAL TABLE rt USING rtree(id, x1, x2, +d1); |
| |
| INSERT INTO t1(x) VALUES(1); |
| INSERT INTO t1(x) SELECT x+1 FROM t1; -- 2 |
| INSERT INTO t1(x) SELECT x+2 FROM t1; -- 4 |
| INSERT INTO t1(x) SELECT x+4 FROM t1; -- 8 |
| INSERT INTO t1(x) SELECT x+8 FROM t1; -- 16 |
| INSERT INTO t1(x) SELECT x+16 FROM t1; -- 32 |
| INSERT INTO t1(x) SELECT x+32 FROM t1; -- 64 |
| INSERT INTO t1(x) SELECT x+64 FROM t1; -- 128 |
| INSERT INTO t1(x) SELECT x+128 FROM t1; -- 256 |
| INSERT INTO t1(x) SELECT x+256 FROM t1; -- 512 |
| INSERT INTO t1(x) SELECT x+512 FROM t1; --1024 |
| |
| INSERT INTO rt SELECT x, x, x+1, printf('x%04xy',x) FROM t1 WHERE x<=5; |
| } |
| do_rtree_integrity_test 5.1.1 rt |
| |
| # First test a query with no ANALYZE data at all. The outer loop is |
| # real table "t1". |
| # |
| do_eqp_test 5.2 { |
| SELECT * FROM t1, rt WHERE x==id; |
| } { |
| QUERY PLAN |
| |--SCAN TABLE t1 |
| `--SCAN TABLE rt VIRTUAL TABLE INDEX 1: |
| } |
| |
| # Now create enough ANALYZE data to tell SQLite that virtual table "rt" |
| # contains very few rows. This causes it to move "rt" to the outer loop. |
| # |
| do_execsql_test 5.3 { |
| ANALYZE; |
| DELETE FROM sqlite_stat1 WHERE tbl='t1'; |
| } |
| db close |
| sqlite3 db test.db |
| do_eqp_test 5.4 { |
| SELECT * FROM t1, rt WHERE x==id; |
| } { |
| QUERY PLAN |
| |--SCAN TABLE rt VIRTUAL TABLE INDEX 2: |
| `--SEARCH TABLE t1 USING INDEX sqlite_autoindex_t1_1 (x=?) |
| } |
| |
| # Delete the ANALYZE data. "t1" should be the outer loop again. |
| # |
| do_execsql_test 5.5 { DROP TABLE sqlite_stat1; } |
| db close |
| sqlite3 db test.db |
| do_eqp_test 5.6 { |
| SELECT * FROM t1, rt WHERE x==id; |
| } { |
| QUERY PLAN |
| |--SCAN TABLE t1 |
| `--SCAN TABLE rt VIRTUAL TABLE INDEX 1: |
| } |
| |
| # This time create and attach a database that contains ANALYZE data for |
| # tables of the same names as those used internally by virtual table |
| # "rt". Check that the rtree module is not fooled into using this data. |
| # Table "t1" should remain the outer loop. |
| # |
| do_test 5.7 { |
| db backup test.db2 |
| sqlite3 db2 test.db2 |
| db2 eval { |
| ANALYZE; |
| DELETE FROM sqlite_stat1 WHERE tbl='t1'; |
| } |
| db2 close |
| db close |
| sqlite3 db test.db |
| execsql { ATTACH 'test.db2' AS aux; } |
| } {} |
| do_eqp_test 5.8 { |
| SELECT * FROM t1, rt WHERE x==id; |
| } { |
| QUERY PLAN |
| |--SCAN TABLE t1 |
| `--SCAN TABLE rt VIRTUAL TABLE INDEX 1: |
| } |
| |
| #-------------------------------------------------------------------- |
| # Test that having a second connection drop the sqlite_stat1 table |
| # before it is required by rtreeConnect() does not cause problems. |
| # |
| ifcapable rtree { |
| reset_db |
| do_execsql_test 6.1 { |
| CREATE TABLE t1(x); |
| CREATE VIRTUAL TABLE rt USING rtree(id, x1, x2); |
| INSERT INTO t1 VALUES(1); |
| INSERT INTO rt VALUES(1,2,3); |
| ANALYZE; |
| } |
| db close |
| sqlite3 db test.db |
| do_execsql_test 6.2 { SELECT * FROM t1 } {1} |
| |
| do_test 6.3 { |
| sqlite3 db2 test.db |
| db2 eval { DROP TABLE sqlite_stat1 } |
| db2 close |
| execsql { SELECT * FROM rt } |
| } {1 2.0 3.0} |
| db close |
| } |
| |
| #-------------------------------------------------------------------- |
| # Test that queries featuring LEFT or CROSS JOINS are handled correctly. |
| # Handled correctly in this case means: |
| # |
| # * Terms with prereqs that appear to the left of a LEFT JOIN against |
| # the virtual table are always available to xBestIndex. |
| # |
| # * Terms with prereqs that appear to the right of a LEFT JOIN against |
| # the virtual table are never available to xBestIndex. |
| # |
| # And the same behaviour for CROSS joins. |
| # |
| reset_db |
| do_execsql_test 7.0 { |
| CREATE TABLE xdir(x1); |
| CREATE TABLE ydir(y1); |
| CREATE VIRTUAL TABLE rt USING rtree_i32(id, xmin, xmax, ymin, ymax); |
| |
| INSERT INTO xdir VALUES(5); |
| INSERT INTO ydir VALUES(10); |
| |
| INSERT INTO rt VALUES(1, 2, 7, 12, 14); -- Not a hit |
| INSERT INTO rt VALUES(2, 2, 7, 8, 12); -- A hit! |
| INSERT INTO rt VALUES(3, 7, 11, 8, 12); -- Not a hit! |
| INSERT INTO rt VALUES(4, 5, 5, 10, 10); -- A hit! |
| |
| } |
| |
| proc do_eqp_execsql_test {tn sql res1 res2} { |
| do_eqp_test $tn.1 $sql $res1 |
| do_execsql_test $tn.2 $sql $res2 |
| } |
| |
| do_eqp_execsql_test 7.1 { |
| SELECT id FROM xdir, rt, ydir |
| ON (y1 BETWEEN ymin AND ymax) |
| WHERE (x1 BETWEEN xmin AND xmax); |
| } { |
| QUERY PLAN |
| |--SCAN TABLE xdir |
| |--SCAN TABLE ydir |
| `--SCAN TABLE rt VIRTUAL TABLE INDEX 2:B2D3B0D1 |
| } { |
| 2 4 |
| } |
| |
| do_eqp_execsql_test 7.2 { |
| SELECT * FROM xdir, rt LEFT JOIN ydir |
| ON (y1 BETWEEN ymin AND ymax) |
| WHERE (x1 BETWEEN xmin AND xmax); |
| } { |
| QUERY PLAN |
| |--SCAN TABLE xdir |
| |--SCAN TABLE rt VIRTUAL TABLE INDEX 2:B0D1 |
| `--SCAN TABLE ydir |
| } { |
| 5 1 2 7 12 14 {} |
| 5 2 2 7 8 12 10 |
| 5 4 5 5 10 10 10 |
| } |
| |
| do_eqp_execsql_test 7.3 { |
| SELECT id FROM xdir, rt CROSS JOIN ydir |
| ON (y1 BETWEEN ymin AND ymax) |
| WHERE (x1 BETWEEN xmin AND xmax); |
| } { |
| QUERY PLAN |
| |--SCAN TABLE xdir |
| |--SCAN TABLE rt VIRTUAL TABLE INDEX 2:B0D1 |
| `--SCAN TABLE ydir |
| } { |
| 2 4 |
| } |
| |
| do_eqp_execsql_test 7.4 { |
| SELECT id FROM rt, xdir CROSS JOIN ydir |
| ON (y1 BETWEEN ymin AND ymax) |
| WHERE (x1 BETWEEN xmin AND xmax); |
| } { |
| QUERY PLAN |
| |--SCAN TABLE xdir |
| |--SCAN TABLE rt VIRTUAL TABLE INDEX 2:B0D1 |
| `--SCAN TABLE ydir |
| } { |
| 2 4 |
| } |
| |
| finish_test |