sl@0: # 2002 February 26
sl@0: #
sl@0: # The author disclaims copyright to this source code.  In place of
sl@0: # a legal notice, here is a blessing:
sl@0: #
sl@0: #    May you do good and not evil.
sl@0: #    May you find forgiveness for yourself and forgive others.
sl@0: #    May you share freely, never taking more than you give.
sl@0: #
sl@0: #***********************************************************************
sl@0: # This file implements regression tests for SQLite library.  The
sl@0: # focus of this file is testing VIEW statements.
sl@0: #
sl@0: # $Id: view.test,v 1.38 2008/08/21 14:54:29 drh Exp $
sl@0: set testdir [file dirname $argv0]
sl@0: source $testdir/tester.tcl
sl@0: 
sl@0: # Omit this entire file if the library is not configured with views enabled.
sl@0: ifcapable !view {
sl@0:   finish_test
sl@0:   return
sl@0: }
sl@0: 
sl@0: do_test view-1.0 {
sl@0:   execsql {
sl@0:     CREATE TABLE t1(a,b,c);
sl@0:     INSERT INTO t1 VALUES(1,2,3);
sl@0:     INSERT INTO t1 VALUES(4,5,6);
sl@0:     INSERT INTO t1 VALUES(7,8,9);
sl@0:     SELECT * FROM t1;
sl@0:   }
sl@0: } {1 2 3 4 5 6 7 8 9}
sl@0: 
sl@0: do_test view-1.1 {
sl@0:   execsql {
sl@0:     BEGIN;
sl@0:     CREATE VIEW IF NOT EXISTS v1 AS SELECT a,b FROM t1;
sl@0:     SELECT * FROM v1 ORDER BY a;
sl@0:   }
sl@0: } {1 2 4 5 7 8}
sl@0: do_test view-1.2 {
sl@0:   catchsql {
sl@0:     ROLLBACK;
sl@0:     SELECT * FROM v1 ORDER BY a;
sl@0:   }
sl@0: } {1 {no such table: v1}}
sl@0: do_test view-1.3 {
sl@0:   execsql {
sl@0:     CREATE VIEW v1 AS SELECT a,b FROM t1;
sl@0:     SELECT * FROM v1 ORDER BY a;
sl@0:   }
sl@0: } {1 2 4 5 7 8}
sl@0: do_test view-1.3.1 {
sl@0:   db close
sl@0:   sqlite3 db test.db
sl@0:   execsql {
sl@0:     SELECT * FROM v1 ORDER BY a;
sl@0:   }
sl@0: } {1 2 4 5 7 8}
sl@0: do_test view-1.4 {
sl@0:   catchsql {
sl@0:     DROP VIEW IF EXISTS v1;
sl@0:     SELECT * FROM v1 ORDER BY a;
sl@0:   }
sl@0: } {1 {no such table: v1}}
sl@0: do_test view-1.5 {
sl@0:   execsql {
sl@0:     CREATE VIEW v1 AS SELECT a,b FROM t1;
sl@0:     SELECT * FROM v1 ORDER BY a;
sl@0:   }
sl@0: } {1 2 4 5 7 8}
sl@0: do_test view-1.6 {
sl@0:   catchsql {
sl@0:     DROP TABLE t1;
sl@0:     SELECT * FROM v1 ORDER BY a;
sl@0:   }
sl@0: } {1 {no such table: main.t1}}
sl@0: do_test view-1.7 {
sl@0:   execsql {
sl@0:     CREATE TABLE t1(x,a,b,c);
sl@0:     INSERT INTO t1 VALUES(1,2,3,4);
sl@0:     INSERT INTO t1 VALUES(4,5,6,7);
sl@0:     INSERT INTO t1 VALUES(7,8,9,10);
sl@0:     SELECT * FROM v1 ORDER BY a;
sl@0:   }
sl@0: } {2 3 5 6 8 9}
sl@0: do_test view-1.8 {
sl@0:   db close
sl@0:   sqlite3 db test.db
sl@0:   execsql {
sl@0:     SELECT * FROM v1 ORDER BY a;
sl@0:   }
sl@0: } {2 3 5 6 8 9}
sl@0: 
sl@0: do_test view-2.1 {
sl@0:   execsql {
sl@0:     CREATE VIEW v2 AS SELECT * FROM t1 WHERE a>5
sl@0:   };  # No semicolon
sl@0:   execsql2 {
sl@0:     SELECT * FROM v2;
sl@0:   }
sl@0: } {x 7 a 8 b 9 c 10}
sl@0: do_test view-2.2 {
sl@0:   catchsql {
sl@0:     INSERT INTO v2 VALUES(1,2,3,4);
sl@0:   }
sl@0: } {1 {cannot modify v2 because it is a view}}
sl@0: do_test view-2.3 {
sl@0:   catchsql {
sl@0:     UPDATE v2 SET a=10 WHERE a=5;
sl@0:   }
sl@0: } {1 {cannot modify v2 because it is a view}}
sl@0: do_test view-2.4 {
sl@0:   catchsql {
sl@0:     DELETE FROM v2;
sl@0:   }
sl@0: } {1 {cannot modify v2 because it is a view}}
sl@0: do_test view-2.5 {
sl@0:   execsql {
sl@0:     INSERT INTO t1 VALUES(11,12,13,14);
sl@0:     SELECT * FROM v2 ORDER BY x;
sl@0:   }
sl@0: } {7 8 9 10 11 12 13 14}
sl@0: do_test view-2.6 {
sl@0:   execsql {
sl@0:     SELECT x FROM v2 WHERE a>10
sl@0:   }
sl@0: } {11}
sl@0: 
sl@0: # Test that column name of views are generated correctly.
sl@0: #
sl@0: do_test view-3.1 {
sl@0:   execsql2 {
sl@0:     SELECT * FROM v1 LIMIT 1
sl@0:   }
sl@0: } {a 2 b 3}
sl@0: do_test view-3.2 {
sl@0:   execsql2 {
sl@0:     SELECT * FROM v2 LIMIT 1
sl@0:   }
sl@0: } {x 7 a 8 b 9 c 10}
sl@0: do_test view-3.3.1 {
sl@0:   execsql2 {
sl@0:     DROP VIEW v1;
sl@0:     CREATE VIEW v1 AS SELECT a AS 'xyz', b+c AS 'pqr', c-b FROM t1;
sl@0:     SELECT * FROM v1 LIMIT 1
sl@0:   }
sl@0: } {xyz 2 pqr 7 c-b 1}
sl@0: do_test view-3.3.2 {
sl@0:   execsql2 {
sl@0:     CREATE VIEW v1b AS SELECT t1.a, b+c, t1.c FROM t1;
sl@0:     SELECT * FROM v1b LIMIT 1
sl@0:   }
sl@0: } {a 2 b+c 7 c 4}
sl@0: 
sl@0: ifcapable compound {
sl@0: do_test  view-3.4 {
sl@0:   execsql2 {
sl@0:     CREATE VIEW v3 AS SELECT a FROM t1 UNION SELECT b FROM t1 ORDER BY b;
sl@0:     SELECT * FROM v3 LIMIT 4;
sl@0:   }
sl@0: } {a 2 a 3 a 5 a 6}
sl@0: do_test view-3.5 {
sl@0:   execsql2 {
sl@0:     CREATE VIEW v4 AS 
sl@0:       SELECT a, b FROM t1 
sl@0:       UNION
sl@0:       SELECT b AS 'x', a AS 'y' FROM t1
sl@0:       ORDER BY x, y;
sl@0:     SELECT b FROM v4 ORDER BY b LIMIT 4;
sl@0:   }
sl@0: } {b 2 b 3 b 5 b 6}
sl@0: } ;# ifcapable compound
sl@0: 
sl@0: 
sl@0: do_test view-4.1 {
sl@0:   catchsql {
sl@0:     DROP VIEW t1;
sl@0:   }
sl@0: } {1 {use DROP TABLE to delete table t1}}
sl@0: do_test view-4.2 {
sl@0:   execsql {
sl@0:     SELECT 1 FROM t1 LIMIT 1;
sl@0:   }
sl@0: } 1
sl@0: do_test view-4.3 {
sl@0:   catchsql {
sl@0:     DROP TABLE v1;
sl@0:   }
sl@0: } {1 {use DROP VIEW to delete view v1}}
sl@0: do_test view-4.4 {
sl@0:   execsql {
sl@0:      SELECT 1 FROM v1 LIMIT 1;
sl@0:   }
sl@0: } {1}
sl@0: do_test view-4.5 {
sl@0:   catchsql {
sl@0:     CREATE INDEX i1v1 ON v1(xyz);
sl@0:   }
sl@0: } {1 {views may not be indexed}}
sl@0: 
sl@0: do_test view-5.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t2(y,a);
sl@0:     INSERT INTO t2 VALUES(22,2);
sl@0:     INSERT INTO t2 VALUES(33,3);
sl@0:     INSERT INTO t2 VALUES(44,4);
sl@0:     INSERT INTO t2 VALUES(55,5);
sl@0:     SELECT * FROM t2;
sl@0:   }
sl@0: } {22 2 33 3 44 4 55 5}
sl@0: do_test view-5.2 {
sl@0:   execsql {
sl@0:     CREATE VIEW v5 AS
sl@0:       SELECT t1.x AS v, t2.y AS w FROM t1 JOIN t2 USING(a);
sl@0:     SELECT * FROM v5;
sl@0:   }
sl@0: } {1 22 4 55}
sl@0: 
sl@0: # Verify that the view v5 gets flattened.  see sqliteFlattenSubquery().
sl@0: # This will only work if EXPLAIN is enabled.
sl@0: # Ticket #272
sl@0: #
sl@0: ifcapable {explain} {
sl@0: do_test view-5.3 {
sl@0:   lsearch [execsql {
sl@0:     EXPLAIN SELECT * FROM v5;
sl@0:   }] OpenEphemeral
sl@0: } {-1}
sl@0: do_test view-5.4 {
sl@0:   execsql {
sl@0:     SELECT * FROM v5 AS a, t2 AS b WHERE a.w=b.y;
sl@0:   }
sl@0: } {1 22 22 2 4 55 55 5}
sl@0: do_test view-5.5 {
sl@0:   lsearch [execsql {
sl@0:     EXPLAIN SELECT * FROM v5 AS a, t2 AS b WHERE a.w=b.y;
sl@0:   }] OpenEphemeral
sl@0: } {-1}
sl@0: do_test view-5.6 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 AS b, v5 AS a WHERE a.w=b.y;
sl@0:   }
sl@0: } {22 2 1 22 55 5 4 55}
sl@0: do_test view-5.7 {
sl@0:   lsearch [execsql {
sl@0:     EXPLAIN SELECT * FROM t2 AS b, v5 AS a WHERE a.w=b.y;
sl@0:   }] OpenEphemeral
sl@0: } {-1}
sl@0: do_test view-5.8 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 AS a, v5 AS b, t2 AS c WHERE a.x=b.v AND b.w=c.y;
sl@0:   }
sl@0: } {1 2 3 4 1 22 22 2 4 5 6 7 4 55 55 5}
sl@0: do_test view-5.9 {
sl@0:   lsearch [execsql {
sl@0:     EXPLAIN SELECT * FROM t1 AS a, v5 AS b, t2 AS c WHERE a.x=b.v AND b.w=c.y;
sl@0:   }] OpenEphemeral
sl@0: } {-1}
sl@0: } ;# endif explain
sl@0: 
sl@0: do_test view-6.1 {
sl@0:   execsql {
sl@0:     SELECT min(x), min(a), min(b), min(c), min(a+b+c) FROM v2;
sl@0:   }
sl@0: } {7 8 9 10 27}
sl@0: do_test view-6.2 {
sl@0:   execsql {
sl@0:     SELECT max(x), max(a), max(b), max(c), max(a+b+c) FROM v2;
sl@0:   }
sl@0: } {11 12 13 14 39}
sl@0: 
sl@0: do_test view-7.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE test1(id integer primary key, a);
sl@0:     CREATE TABLE test2(id integer, b);
sl@0:     INSERT INTO test1 VALUES(1,2);
sl@0:     INSERT INTO test2 VALUES(1,3);
sl@0:     CREATE VIEW test AS
sl@0:       SELECT test1.id, a, b
sl@0:       FROM test1 JOIN test2 ON test2.id=test1.id;
sl@0:     SELECT * FROM test;
sl@0:   }
sl@0: } {1 2 3}
sl@0: do_test view-7.2 {
sl@0:   db close
sl@0:   sqlite3 db test.db
sl@0:   execsql {
sl@0:     SELECT * FROM test;
sl@0:   }
sl@0: } {1 2 3}
sl@0: do_test view-7.3 {
sl@0:   execsql {
sl@0:     DROP VIEW test;
sl@0:     CREATE VIEW test AS
sl@0:       SELECT test1.id, a, b
sl@0:       FROM test1 JOIN test2 USING(id);
sl@0:     SELECT * FROM test;
sl@0:   }
sl@0: } {1 2 3}
sl@0: do_test view-7.4 {
sl@0:   db close
sl@0:   sqlite3 db test.db
sl@0:   execsql {
sl@0:     SELECT * FROM test;
sl@0:   }
sl@0: } {1 2 3}
sl@0: do_test view-7.5 {
sl@0:   execsql {
sl@0:     DROP VIEW test;
sl@0:     CREATE VIEW test AS
sl@0:       SELECT test1.id, a, b
sl@0:       FROM test1 NATURAL JOIN test2;
sl@0:     SELECT * FROM test;
sl@0:   }
sl@0: } {1 2 3}
sl@0: do_test view-7.6 {
sl@0:   db close
sl@0:   sqlite3 db test.db
sl@0:   execsql {
sl@0:     SELECT * FROM test;
sl@0:   }
sl@0: } {1 2 3}
sl@0: 
sl@0: do_test view-8.1 {
sl@0:   execsql {
sl@0:     CREATE VIEW v6 AS SELECT pqr, xyz FROM v1;
sl@0:     SELECT * FROM v6 ORDER BY xyz;
sl@0:   }
sl@0: } {7 2 13 5 19 8 27 12}
sl@0: do_test view-8.2 {
sl@0:   db close
sl@0:   sqlite3 db test.db
sl@0:   execsql {
sl@0:     SELECT * FROM v6 ORDER BY xyz;
sl@0:   }
sl@0: } {7 2 13 5 19 8 27 12}
sl@0: do_test view-8.3 {
sl@0:   execsql {
sl@0:     CREATE VIEW v7 AS SELECT pqr+xyz AS a FROM v6;
sl@0:     SELECT * FROM v7 ORDER BY a;
sl@0:   }
sl@0: } {9 18 27 39}
sl@0: 
sl@0: ifcapable subquery {
sl@0:   do_test view-8.4 {
sl@0:     execsql {
sl@0:       CREATE VIEW v8 AS SELECT max(cnt) AS mx FROM
sl@0:         (SELECT a%2 AS eo, count(*) AS cnt FROM t1 GROUP BY eo);
sl@0:       SELECT * FROM v8;
sl@0:     }
sl@0:   } 3
sl@0:   do_test view-8.5 {
sl@0:     execsql {
sl@0:       SELECT mx+10, mx*2 FROM v8;
sl@0:     }
sl@0:   } {13 6}
sl@0:   do_test view-8.6 {
sl@0:     execsql {
sl@0:       SELECT mx+10, pqr FROM v6, v8 WHERE xyz=2;
sl@0:     }
sl@0:   } {13 7}
sl@0:   do_test view-8.7 {
sl@0:     execsql {
sl@0:       SELECT mx+10, pqr FROM v6, v8 WHERE xyz>2;
sl@0:     }
sl@0:   } {13 13 13 19 13 27}
sl@0: } ;# ifcapable subquery
sl@0: 
sl@0: # Tests for a bug found by Michiel de Wit involving ORDER BY in a VIEW.
sl@0: #
sl@0: do_test view-9.1 {
sl@0:   execsql {
sl@0:     INSERT INTO t2 SELECT * FROM t2 WHERE a<5;
sl@0:     INSERT INTO t2 SELECT * FROM t2 WHERE a<4;
sl@0:     INSERT INTO t2 SELECT * FROM t2 WHERE a<3;
sl@0:     SELECT DISTINCT count(*) FROM t2 GROUP BY a ORDER BY 1;
sl@0:   }
sl@0: } {1 2 4 8}
sl@0: do_test view-9.2 {
sl@0:   execsql {
sl@0:     SELECT DISTINCT count(*) FROM t2 GROUP BY a ORDER BY 1 LIMIT 3;
sl@0:   }
sl@0: } {1 2 4}
sl@0: do_test view-9.3 {
sl@0:   execsql {
sl@0:     CREATE VIEW v9 AS 
sl@0:        SELECT DISTINCT count(*) FROM t2 GROUP BY a ORDER BY 1 LIMIT 3;
sl@0:     SELECT * FROM v9;
sl@0:   }
sl@0: } {1 2 4}
sl@0: do_test view-9.4 {
sl@0:   execsql {
sl@0:     SELECT * FROM v9 ORDER BY 1 DESC;
sl@0:   }
sl@0: } {4 2 1}
sl@0: do_test view-9.5 {
sl@0:   execsql {
sl@0:     CREATE VIEW v10 AS 
sl@0:        SELECT DISTINCT a, count(*) FROM t2 GROUP BY a ORDER BY 2 LIMIT 3;
sl@0:     SELECT * FROM v10;
sl@0:   }
sl@0: } {5 1 4 2 3 4}
sl@0: do_test view-9.6 {
sl@0:   execsql {
sl@0:     SELECT * FROM v10 ORDER BY 1;
sl@0:   }
sl@0: } {3 4 4 2 5 1}
sl@0: 
sl@0: # Tables with columns having peculiar quoted names used in views
sl@0: # Ticket #756.
sl@0: #
sl@0: do_test view-10.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t3("9" integer, [4] text);
sl@0:     INSERT INTO t3 VALUES(1,2);
sl@0:     CREATE VIEW v_t3_a AS SELECT a.[9] FROM t3 AS a;
sl@0:     CREATE VIEW v_t3_b AS SELECT "4" FROM t3;
sl@0:     SELECT * FROM v_t3_a;
sl@0:   }
sl@0: } {1}
sl@0: do_test view-10.2 {
sl@0:   execsql {
sl@0:     SELECT * FROM v_t3_b;
sl@0:   }
sl@0: } {2}
sl@0: 
sl@0: do_test view-11.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t4(a COLLATE NOCASE);
sl@0:     INSERT INTO t4 VALUES('This');
sl@0:     INSERT INTO t4 VALUES('this');
sl@0:     INSERT INTO t4 VALUES('THIS');
sl@0:     SELECT * FROM t4 WHERE a = 'THIS';
sl@0:   }
sl@0: } {This this THIS}
sl@0: ifcapable subquery {
sl@0:   do_test view-11.2 {
sl@0:     execsql {
sl@0:       SELECT * FROM (SELECT * FROM t4) WHERE a = 'THIS';
sl@0:     }
sl@0:   } {This this THIS}
sl@0: }
sl@0: do_test view-11.3 {
sl@0:   execsql {
sl@0:     CREATE VIEW v11 AS SELECT * FROM t4;
sl@0:     SELECT * FROM v11 WHERE a = 'THIS';
sl@0:   }
sl@0: } {This this THIS}
sl@0: 
sl@0: # Ticket #1270:  Do not allow parameters in view definitions.
sl@0: #
sl@0: do_test view-12.1 {
sl@0:   catchsql {
sl@0:     CREATE VIEW v12 AS SELECT a FROM t1 WHERE b=?
sl@0:   }
sl@0: } {1 {parameters are not allowed in views}}
sl@0: 
sl@0: ifcapable attach {
sl@0:   do_test view-13.1 {
sl@0:     file delete -force test2.db
sl@0:     catchsql {
sl@0:       ATTACH 'test2.db' AS two;
sl@0:       CREATE TABLE two.t2(x,y);
sl@0:       CREATE VIEW v13 AS SELECT y FROM two.t2;
sl@0:     }
sl@0:   } {1 {view v13 cannot reference objects in database two}}
sl@0: }
sl@0: 
sl@0: # Ticket #1658
sl@0: #
sl@0: do_test view-14.1 {
sl@0:   catchsql {
sl@0:     CREATE TEMP VIEW t1 AS SELECT a,b FROM t1;
sl@0:     SELECT * FROM temp.t1;
sl@0:   }
sl@0: } {1 {view t1 is circularly defined}}
sl@0: 
sl@0: # Tickets #1688, #1709
sl@0: #
sl@0: do_test view-15.1 {
sl@0:   execsql2 {
sl@0:     CREATE VIEW v15 AS SELECT a AS x, b AS y FROM t1;
sl@0:     SELECT * FROM v15 LIMIT 1;
sl@0:   }
sl@0: } {x 2 y 3}
sl@0: do_test view-15.2 {
sl@0:   execsql2 {
sl@0:     SELECT x, y FROM v15 LIMIT 1
sl@0:   }
sl@0: } {x 2 y 3}
sl@0: 
sl@0: do_test view-16.1 {
sl@0:   catchsql {
sl@0:     CREATE VIEW IF NOT EXISTS v1 AS SELECT * FROM t1;
sl@0:   }
sl@0: } {0 {}}
sl@0: do_test view-16.2 {
sl@0:   execsql {
sl@0:     SELECT sql FROM sqlite_master WHERE name='v1'
sl@0:   }
sl@0: } {{CREATE VIEW v1 AS SELECT a AS 'xyz', b+c AS 'pqr', c-b FROM t1}}
sl@0: do_test view-16.3 {
sl@0:   catchsql {
sl@0:     DROP VIEW IF EXISTS nosuchview
sl@0:   }
sl@0: } {0 {}}
sl@0: 
sl@0: # correct error message when attempting to drop a view that does not
sl@0: # exist.
sl@0: #
sl@0: do_test view-17.1 {
sl@0:   catchsql {
sl@0:     DROP VIEW nosuchview
sl@0:   }
sl@0: } {1 {no such view: nosuchview}}
sl@0: do_test view-17.2 {
sl@0:   catchsql {
sl@0:     DROP VIEW main.nosuchview
sl@0:   }
sl@0: } {1 {no such view: main.nosuchview}}
sl@0: 
sl@0: do_test view-18.1 {
sl@0:   execsql {
sl@0:     DROP VIEW t1;
sl@0:     DROP TABLE t1;
sl@0:     CREATE TABLE t1(a, b, c);
sl@0:     INSERT INTO t1 VALUES(1, 2, 3);
sl@0:     INSERT INTO t1 VALUES(4, 5, 6);
sl@0: 
sl@0:     CREATE VIEW vv1 AS SELECT * FROM t1;
sl@0:     CREATE VIEW vv2 AS SELECT * FROM vv1;
sl@0:     CREATE VIEW vv3 AS SELECT * FROM vv2;
sl@0:     CREATE VIEW vv4 AS SELECT * FROM vv3;
sl@0:     CREATE VIEW vv5 AS SELECT * FROM vv4;
sl@0: 
sl@0:     SELECT * FROM vv5;
sl@0:   }
sl@0: } {1 2 3 4 5 6}
sl@0: 
sl@0: # Ticket #3308
sl@0: # Make sure "rowid" columns in a view are named correctly.
sl@0: #
sl@0: do_test view-19.1 {
sl@0:   execsql {
sl@0:     CREATE VIEW v3308a AS SELECT rowid, * FROM t1;
sl@0:   }
sl@0:   execsql2 {
sl@0:     SELECT * FROM v3308a
sl@0:   }
sl@0: } {rowid 1 a 1 b 2 c 3 rowid 2 a 4 b 5 c 6}
sl@0: do_test view-19.2 {
sl@0:   execsql {
sl@0:     CREATE VIEW v3308b AS SELECT t1.rowid, t1.a, t1.b+t1.c FROM t1;
sl@0:   }
sl@0:   execsql2 {
sl@0:     SELECT * FROM v3308b
sl@0:   }
sl@0: } {rowid 1 a 1 t1.b+t1.c 5 rowid 2 a 4 t1.b+t1.c 11}
sl@0: do_test view-19.3 {
sl@0:   execsql {
sl@0:     CREATE VIEW v3308c AS SELECT t1.oid, A, t1.b+t1.c AS x FROM t1;
sl@0:   }
sl@0:   execsql2 {
sl@0:     SELECT * FROM v3308c
sl@0:   }
sl@0: } {rowid 1 a 1 x 5 rowid 2 a 4 x 11}
sl@0: 
sl@0: finish_test