sl@0: # 2007 Sep 12
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: #
sl@0: # This file is to test that ticket #2640 has been fixed.
sl@0: #
sl@0: # $Id: tkt2640.test,v 1.3 2008/08/04 03:51:24 danielk1977 Exp $
sl@0: #
sl@0: 
sl@0: # The problem in ticket #2640 was that the query optimizer was 
sl@0: # not recognizing all uses of tables within subqueries in the
sl@0: # WHERE clause.  If the subquery contained a compound SELECT,
sl@0: # then tables that were used by terms of the compound other than
sl@0: # the last term would not be recognized as dependencies.
sl@0: # So if one of the SELECT statements within a compound made
sl@0: # use of a table that occurs later in a join, the query
sl@0: # optimizer would not recognize this and would try to evaluate
sl@0: # the subquery too early, before that tables value had been
sl@0: # established.
sl@0: 
sl@0: set testdir [file dirname $argv0]
sl@0: source $testdir/tester.tcl
sl@0: 
sl@0: ifcapable !subquery||!compound {
sl@0:   finish_test
sl@0:   return
sl@0: }
sl@0: 
sl@0: do_test tkt2640-1.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE persons(person_id, name);
sl@0:     INSERT INTO persons VALUES(1,'fred');
sl@0:     INSERT INTO persons VALUES(2,'barney');
sl@0:     INSERT INTO persons VALUES(3,'wilma');
sl@0:     INSERT INTO persons VALUES(4,'pebbles');
sl@0:     INSERT INTO persons VALUES(5,'bambam');
sl@0:     CREATE TABLE directors(person_id);
sl@0:     INSERT INTO directors VALUES(5);
sl@0:     INSERT INTO directors VALUES(3);
sl@0:     CREATE TABLE writers(person_id);
sl@0:     INSERT INTO writers VALUES(2);
sl@0:     INSERT INTO writers VALUES(3);
sl@0:     INSERT INTO writers VALUES(4);
sl@0:     SELECT DISTINCT p.name
sl@0:       FROM persons p, directors d
sl@0:      WHERE d.person_id=p.person_id
sl@0:        AND NOT EXISTS (
sl@0:              SELECT person_id FROM directors d1 WHERE d1.person_id=p.person_id
sl@0:              EXCEPT
sl@0:              SELECT person_id FROM writers w
sl@0:            );
sl@0:   }
sl@0: } {wilma}
sl@0: do_test tkt2640-1.2 {
sl@0:   execsql {
sl@0:     SELECT DISTINCT p.name
sl@0:       FROM persons p CROSS JOIN directors d
sl@0:      WHERE d.person_id=p.person_id
sl@0:        AND NOT EXISTS (
sl@0:              SELECT person_id FROM directors d1 WHERE d1.person_id=p.person_id
sl@0:              EXCEPT
sl@0:              SELECT person_id FROM writers w
sl@0:            );
sl@0:   }
sl@0: } {wilma}
sl@0: do_test tkt2640-1.3 {
sl@0:   execsql {
sl@0:     SELECT DISTINCT p.name
sl@0:       FROM directors d CROSS JOIN persons p
sl@0:      WHERE d.person_id=p.person_id
sl@0:        AND NOT EXISTS (
sl@0:              SELECT person_id FROM directors d1 WHERE d1.person_id=p.person_id
sl@0:              EXCEPT
sl@0:              SELECT person_id FROM writers w
sl@0:            );
sl@0:   }
sl@0: } {wilma}
sl@0: do_test tkt2640-1.4 {
sl@0:   execsql {
sl@0:     SELECT DISTINCT p.name
sl@0:       FROM persons p, directors d
sl@0:      WHERE d.person_id=p.person_id
sl@0:        AND NOT EXISTS (
sl@0:              SELECT person_id FROM directors d1 WHERE d1.person_id=d.person_id
sl@0:              EXCEPT
sl@0:              SELECT person_id FROM writers w
sl@0:            );
sl@0:   }
sl@0: } {wilma}
sl@0: do_test tkt2640-1.5 {
sl@0:   execsql {
sl@0:     SELECT DISTINCT p.name
sl@0:       FROM persons p CROSS JOIN directors d
sl@0:      WHERE d.person_id=p.person_id
sl@0:        AND NOT EXISTS (
sl@0:              SELECT person_id FROM directors d1 WHERE d1.person_id=d.person_id
sl@0:              EXCEPT
sl@0:              SELECT person_id FROM writers w
sl@0:            );
sl@0:   }
sl@0: } {wilma}
sl@0: do_test tkt2640-1.6 {
sl@0:   execsql {
sl@0:     SELECT DISTINCT p.name
sl@0:       FROM directors d CROSS JOIN persons p
sl@0:      WHERE d.person_id=p.person_id
sl@0:        AND NOT EXISTS (
sl@0:              SELECT person_id FROM directors d1 WHERE d1.person_id=d.person_id
sl@0:              EXCEPT
sl@0:              SELECT person_id FROM writers w
sl@0:            );
sl@0:   }
sl@0: } {wilma}
sl@0: 
sl@0: 
sl@0: 
sl@0: finish_test