2000-01-06 07:40:54 +01:00
|
|
|
--
|
|
|
|
-- SUBSELECT
|
|
|
|
--
|
|
|
|
SELECT 1 AS one WHERE 1 IN (SELECT 1);
|
|
|
|
one
|
|
|
|
-----
|
|
|
|
1
|
1998-02-18 08:32:17 +01:00
|
|
|
(1 row)
|
|
|
|
|
2000-01-06 07:40:54 +01:00
|
|
|
SELECT 1 AS zero WHERE 1 NOT IN (SELECT 1);
|
|
|
|
zero
|
|
|
|
------
|
1998-02-18 08:32:17 +01:00
|
|
|
(0 rows)
|
|
|
|
|
2000-01-06 07:40:54 +01:00
|
|
|
SELECT 1 AS zero WHERE 1 IN (SELECT 2);
|
|
|
|
zero
|
|
|
|
------
|
1998-02-18 08:32:17 +01:00
|
|
|
(0 rows)
|
|
|
|
|
2000-01-06 07:40:54 +01:00
|
|
|
-- Set up some simple test tables
|
|
|
|
CREATE TABLE SUBSELECT_TBL (
|
1998-02-18 08:32:17 +01:00
|
|
|
f1 integer,
|
|
|
|
f2 integer,
|
|
|
|
f3 float
|
|
|
|
);
|
2000-01-06 07:40:54 +01:00
|
|
|
INSERT INTO SUBSELECT_TBL VALUES (1, 2, 3);
|
|
|
|
INSERT INTO SUBSELECT_TBL VALUES (2, 3, 4);
|
|
|
|
INSERT INTO SUBSELECT_TBL VALUES (3, 4, 5);
|
|
|
|
INSERT INTO SUBSELECT_TBL VALUES (1, 1, 1);
|
|
|
|
INSERT INTO SUBSELECT_TBL VALUES (2, 2, 2);
|
|
|
|
INSERT INTO SUBSELECT_TBL VALUES (3, 3, 3);
|
|
|
|
INSERT INTO SUBSELECT_TBL VALUES (6, 7, 8);
|
|
|
|
INSERT INTO SUBSELECT_TBL VALUES (8, 9, NULL);
|
|
|
|
SELECT '' AS eight, * FROM SUBSELECT_TBL;
|
|
|
|
eight | f1 | f2 | f3
|
|
|
|
-------+----+----+----
|
|
|
|
| 1 | 2 | 3
|
|
|
|
| 2 | 3 | 4
|
|
|
|
| 3 | 4 | 5
|
|
|
|
| 1 | 1 | 1
|
|
|
|
| 2 | 2 | 2
|
|
|
|
| 3 | 3 | 3
|
|
|
|
| 6 | 7 | 8
|
|
|
|
| 8 | 9 |
|
1998-02-18 08:32:17 +01:00
|
|
|
(8 rows)
|
|
|
|
|
2000-01-06 07:40:54 +01:00
|
|
|
-- Uncorrelated subselects
|
|
|
|
SELECT '' AS two, f1 AS "Constant Select" FROM SUBSELECT_TBL
|
1998-02-18 08:32:17 +01:00
|
|
|
WHERE f1 IN (SELECT 1);
|
2000-01-06 07:40:54 +01:00
|
|
|
two | Constant Select
|
|
|
|
-----+-----------------
|
|
|
|
| 1
|
|
|
|
| 1
|
1998-02-18 08:32:17 +01:00
|
|
|
(2 rows)
|
|
|
|
|
2000-01-06 07:40:54 +01:00
|
|
|
SELECT '' AS six, f1 AS "Uncorrelated Field" FROM SUBSELECT_TBL
|
1998-02-18 08:32:17 +01:00
|
|
|
WHERE f1 IN (SELECT f2 FROM SUBSELECT_TBL);
|
2000-01-06 07:40:54 +01:00
|
|
|
six | Uncorrelated Field
|
|
|
|
-----+--------------------
|
|
|
|
| 1
|
2003-01-20 19:55:07 +01:00
|
|
|
| 2
|
|
|
|
| 3
|
2003-01-27 21:51:54 +01:00
|
|
|
| 1
|
|
|
|
| 2
|
2000-01-06 07:40:54 +01:00
|
|
|
| 3
|
1998-02-18 08:32:17 +01:00
|
|
|
(6 rows)
|
|
|
|
|
2000-01-06 07:40:54 +01:00
|
|
|
SELECT '' AS six, f1 AS "Uncorrelated Field" FROM SUBSELECT_TBL
|
1998-02-18 08:32:17 +01:00
|
|
|
WHERE f1 IN (SELECT f2 FROM SUBSELECT_TBL WHERE
|
|
|
|
f2 IN (SELECT f1 FROM SUBSELECT_TBL));
|
2000-01-06 07:40:54 +01:00
|
|
|
six | Uncorrelated Field
|
|
|
|
-----+--------------------
|
|
|
|
| 1
|
2003-01-20 19:55:07 +01:00
|
|
|
| 2
|
|
|
|
| 3
|
2003-01-27 21:51:54 +01:00
|
|
|
| 1
|
|
|
|
| 2
|
2000-01-06 07:40:54 +01:00
|
|
|
| 3
|
1998-02-18 08:32:17 +01:00
|
|
|
(6 rows)
|
|
|
|
|
2000-03-23 08:42:13 +01:00
|
|
|
SELECT '' AS three, f1, f2
|
1998-02-18 08:32:17 +01:00
|
|
|
FROM SUBSELECT_TBL
|
2000-03-23 08:42:13 +01:00
|
|
|
WHERE (f1, f2) NOT IN (SELECT f2, CAST(f3 AS int4) FROM SUBSELECT_TBL
|
|
|
|
WHERE f3 IS NOT NULL);
|
|
|
|
three | f1 | f2
|
|
|
|
-------+----+----
|
|
|
|
| 1 | 2
|
|
|
|
| 6 | 7
|
|
|
|
| 8 | 9
|
|
|
|
(3 rows)
|
|
|
|
|
|
|
|
-- Correlated subselects
|
|
|
|
SELECT '' AS six, f1 AS "Correlated Field", f2 AS "Second Field"
|
|
|
|
FROM SUBSELECT_TBL upper
|
|
|
|
WHERE f1 IN (SELECT f2 FROM SUBSELECT_TBL WHERE f1 = upper.f1);
|
2000-01-06 07:40:54 +01:00
|
|
|
six | Correlated Field | Second Field
|
|
|
|
-----+------------------+--------------
|
2000-03-23 08:42:13 +01:00
|
|
|
| 1 | 2
|
|
|
|
| 2 | 3
|
|
|
|
| 3 | 4
|
2000-01-06 07:40:54 +01:00
|
|
|
| 1 | 1
|
|
|
|
| 2 | 2
|
|
|
|
| 3 | 3
|
1998-02-18 08:32:17 +01:00
|
|
|
(6 rows)
|
|
|
|
|
2000-01-06 07:40:54 +01:00
|
|
|
SELECT '' AS six, f1 AS "Correlated Field", f3 AS "Second Field"
|
2000-03-23 08:42:13 +01:00
|
|
|
FROM SUBSELECT_TBL upper
|
|
|
|
WHERE f1 IN
|
|
|
|
(SELECT f2 FROM SUBSELECT_TBL WHERE CAST(upper.f2 AS float) = f3);
|
2000-01-06 07:40:54 +01:00
|
|
|
six | Correlated Field | Second Field
|
|
|
|
-----+------------------+--------------
|
|
|
|
| 2 | 4
|
|
|
|
| 3 | 5
|
|
|
|
| 1 | 1
|
|
|
|
| 2 | 2
|
|
|
|
| 3 | 3
|
2000-03-23 08:42:13 +01:00
|
|
|
(5 rows)
|
1998-02-18 08:32:17 +01:00
|
|
|
|
2000-01-06 07:40:54 +01:00
|
|
|
SELECT '' AS six, f1 AS "Correlated Field", f3 AS "Second Field"
|
2000-03-23 08:42:13 +01:00
|
|
|
FROM SUBSELECT_TBL upper
|
|
|
|
WHERE f3 IN (SELECT upper.f1 + f2 FROM SUBSELECT_TBL
|
|
|
|
WHERE f2 = CAST(f3 AS integer));
|
|
|
|
six | Correlated Field | Second Field
|
|
|
|
-----+------------------+--------------
|
|
|
|
| 1 | 3
|
|
|
|
| 2 | 4
|
|
|
|
| 3 | 5
|
|
|
|
| 6 | 8
|
|
|
|
(4 rows)
|
|
|
|
|
2000-01-06 07:40:54 +01:00
|
|
|
SELECT '' AS five, f1 AS "Correlated Field"
|
1998-02-18 08:32:17 +01:00
|
|
|
FROM SUBSELECT_TBL
|
2000-03-23 08:42:13 +01:00
|
|
|
WHERE (f1, f2) IN (SELECT f2, CAST(f3 AS int4) FROM SUBSELECT_TBL
|
|
|
|
WHERE f3 IS NOT NULL);
|
2000-01-06 07:40:54 +01:00
|
|
|
five | Correlated Field
|
|
|
|
------+------------------
|
2005-02-02 00:08:13 +01:00
|
|
|
| 2
|
2003-01-20 19:55:07 +01:00
|
|
|
| 3
|
2003-01-28 23:13:41 +01:00
|
|
|
| 1
|
2005-01-28 21:34:27 +01:00
|
|
|
| 2
|
2005-02-02 00:08:13 +01:00
|
|
|
| 3
|
1998-02-18 08:32:17 +01:00
|
|
|
(5 rows)
|
|
|
|
|
2000-01-06 07:40:54 +01:00
|
|
|
--
|
|
|
|
-- Use some existing tables in the regression test
|
|
|
|
--
|
|
|
|
SELECT '' AS eight, ss.f1 AS "Correlated Field", ss.f3 AS "Second Field"
|
1998-02-18 08:32:17 +01:00
|
|
|
FROM SUBSELECT_TBL ss
|
2004-10-04 16:42:48 +02:00
|
|
|
WHERE f1 NOT IN (SELECT f1+1 FROM INT4_TBL
|
|
|
|
WHERE f1 != ss.f1 AND f1 < 2147483647);
|
2000-01-06 07:40:54 +01:00
|
|
|
eight | Correlated Field | Second Field
|
|
|
|
-------+------------------+--------------
|
|
|
|
| 2 | 4
|
|
|
|
| 3 | 5
|
|
|
|
| 2 | 2
|
|
|
|
| 3 | 3
|
|
|
|
| 6 | 8
|
|
|
|
| 8 |
|
2000-03-23 08:42:13 +01:00
|
|
|
(6 rows)
|
|
|
|
|
|
|
|
select q1, float8(count(*)) / (select count(*) from int8_tbl)
|
2002-11-21 01:42:20 +01:00
|
|
|
from int8_tbl group by q1 order by q1;
|
2000-03-23 08:42:13 +01:00
|
|
|
q1 | ?column?
|
|
|
|
------------------+----------
|
|
|
|
123 | 0.4
|
|
|
|
4567890123456789 | 0.6
|
|
|
|
(2 rows)
|
1998-02-18 08:32:17 +01:00
|
|
|
|
2003-10-18 18:52:15 +02:00
|
|
|
--
|
|
|
|
-- Test cases to catch unpleasant interactions between IN-join processing
|
|
|
|
-- and subquery pullup.
|
|
|
|
--
|
|
|
|
select count(*) from
|
|
|
|
(select 1 from tenk1 a
|
|
|
|
where unique1 IN (select hundred from tenk1 b)) ss;
|
|
|
|
count
|
|
|
|
-------
|
|
|
|
100
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
select count(distinct ss.ten) from
|
|
|
|
(select ten from tenk1 a
|
|
|
|
where unique1 IN (select hundred from tenk1 b)) ss;
|
|
|
|
count
|
|
|
|
-------
|
|
|
|
10
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
select count(*) from
|
|
|
|
(select 1 from tenk1 a
|
|
|
|
where unique1 IN (select distinct hundred from tenk1 b)) ss;
|
|
|
|
count
|
|
|
|
-------
|
|
|
|
100
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
select count(distinct ss.ten) from
|
|
|
|
(select ten from tenk1 a
|
|
|
|
where unique1 IN (select distinct hundred from tenk1 b)) ss;
|
|
|
|
count
|
|
|
|
-------
|
|
|
|
10
|
|
|
|
(1 row)
|
|
|
|
|
2005-07-15 19:09:26 +02:00
|
|
|
--
|
|
|
|
-- Test cases to check for overenthusiastic optimization of
|
|
|
|
-- "IN (SELECT DISTINCT ...)" and related cases. Per example from
|
|
|
|
-- Luca Pireddu and Michael Fuhr.
|
|
|
|
--
|
|
|
|
CREATE TEMP TABLE foo (id integer);
|
|
|
|
CREATE TEMP TABLE bar (id1 integer, id2 integer);
|
|
|
|
INSERT INTO foo VALUES (1);
|
|
|
|
INSERT INTO bar VALUES (1, 1);
|
|
|
|
INSERT INTO bar VALUES (2, 2);
|
|
|
|
INSERT INTO bar VALUES (3, 1);
|
|
|
|
-- These cases require an extra level of distinct-ing above subquery s
|
|
|
|
SELECT * FROM foo WHERE id IN
|
|
|
|
(SELECT id2 FROM (SELECT DISTINCT id1, id2 FROM bar) AS s);
|
|
|
|
id
|
|
|
|
----
|
|
|
|
1
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
SELECT * FROM foo WHERE id IN
|
|
|
|
(SELECT id2 FROM (SELECT id1,id2 FROM bar GROUP BY id1,id2) AS s);
|
|
|
|
id
|
|
|
|
----
|
|
|
|
1
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
SELECT * FROM foo WHERE id IN
|
|
|
|
(SELECT id2 FROM (SELECT id1, id2 FROM bar UNION
|
|
|
|
SELECT id1, id2 FROM bar) AS s);
|
|
|
|
id
|
|
|
|
----
|
|
|
|
1
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
-- These cases do not
|
|
|
|
SELECT * FROM foo WHERE id IN
|
|
|
|
(SELECT id2 FROM (SELECT DISTINCT ON (id2) id1, id2 FROM bar) AS s);
|
|
|
|
id
|
|
|
|
----
|
|
|
|
1
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
SELECT * FROM foo WHERE id IN
|
|
|
|
(SELECT id2 FROM (SELECT id2 FROM bar GROUP BY id2) AS s);
|
|
|
|
id
|
|
|
|
----
|
|
|
|
1
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
SELECT * FROM foo WHERE id IN
|
|
|
|
(SELECT id2 FROM (SELECT id2 FROM bar UNION
|
|
|
|
SELECT id2 FROM bar) AS s);
|
|
|
|
id
|
|
|
|
----
|
|
|
|
1
|
|
|
|
(1 row)
|
|
|
|
|
2004-05-11 04:21:39 +02:00
|
|
|
--
|
|
|
|
-- Test case to catch problems with multiply nested sub-SELECTs not getting
|
|
|
|
-- recalculated properly. Per bug report from Didier Moens.
|
|
|
|
--
|
|
|
|
CREATE TABLE orderstest (
|
|
|
|
approver_ref integer,
|
|
|
|
po_ref integer,
|
|
|
|
ordercancelled boolean
|
|
|
|
);
|
|
|
|
INSERT INTO orderstest VALUES (1, 1, false);
|
|
|
|
INSERT INTO orderstest VALUES (66, 5, false);
|
|
|
|
INSERT INTO orderstest VALUES (66, 6, false);
|
|
|
|
INSERT INTO orderstest VALUES (66, 7, false);
|
|
|
|
INSERT INTO orderstest VALUES (66, 1, true);
|
|
|
|
INSERT INTO orderstest VALUES (66, 8, false);
|
|
|
|
INSERT INTO orderstest VALUES (66, 1, false);
|
|
|
|
INSERT INTO orderstest VALUES (77, 1, false);
|
|
|
|
INSERT INTO orderstest VALUES (1, 1, false);
|
|
|
|
INSERT INTO orderstest VALUES (66, 1, false);
|
|
|
|
INSERT INTO orderstest VALUES (1, 1, false);
|
|
|
|
CREATE VIEW orders_view AS
|
|
|
|
SELECT *,
|
|
|
|
(SELECT CASE
|
|
|
|
WHEN ord.approver_ref=1 THEN '---' ELSE 'Approved'
|
|
|
|
END) AS "Approved",
|
|
|
|
(SELECT CASE
|
|
|
|
WHEN ord.ordercancelled
|
|
|
|
THEN 'Cancelled'
|
|
|
|
ELSE
|
|
|
|
(SELECT CASE
|
|
|
|
WHEN ord.po_ref=1
|
|
|
|
THEN
|
|
|
|
(SELECT CASE
|
|
|
|
WHEN ord.approver_ref=1
|
|
|
|
THEN '---'
|
|
|
|
ELSE 'Approved'
|
|
|
|
END)
|
|
|
|
ELSE 'PO'
|
|
|
|
END)
|
|
|
|
END) AS "Status",
|
|
|
|
(CASE
|
|
|
|
WHEN ord.ordercancelled
|
|
|
|
THEN 'Cancelled'
|
|
|
|
ELSE
|
|
|
|
(CASE
|
|
|
|
WHEN ord.po_ref=1
|
|
|
|
THEN
|
|
|
|
(CASE
|
|
|
|
WHEN ord.approver_ref=1
|
|
|
|
THEN '---'
|
|
|
|
ELSE 'Approved'
|
|
|
|
END)
|
|
|
|
ELSE 'PO'
|
|
|
|
END)
|
|
|
|
END) AS "Status_OK"
|
|
|
|
FROM orderstest ord;
|
|
|
|
SELECT * FROM orders_view;
|
|
|
|
approver_ref | po_ref | ordercancelled | Approved | Status | Status_OK
|
|
|
|
--------------+--------+----------------+----------+-----------+-----------
|
|
|
|
1 | 1 | f | --- | --- | ---
|
|
|
|
66 | 5 | f | Approved | PO | PO
|
|
|
|
66 | 6 | f | Approved | PO | PO
|
|
|
|
66 | 7 | f | Approved | PO | PO
|
|
|
|
66 | 1 | t | Approved | Cancelled | Cancelled
|
|
|
|
66 | 8 | f | Approved | PO | PO
|
|
|
|
66 | 1 | f | Approved | Approved | Approved
|
|
|
|
77 | 1 | f | Approved | Approved | Approved
|
|
|
|
1 | 1 | f | --- | --- | ---
|
|
|
|
66 | 1 | f | Approved | Approved | Approved
|
|
|
|
1 | 1 | f | --- | --- | ---
|
|
|
|
(11 rows)
|
|
|
|
|
|
|
|
DROP TABLE orderstest cascade;
|
|
|
|
NOTICE: drop cascades to rule _RETURN on view orders_view
|
|
|
|
NOTICE: drop cascades to view orders_view
|
2005-11-23 18:21:04 +01:00
|
|
|
--
|
|
|
|
-- Test cases to catch situations where rule rewriter fails to propagate
|
|
|
|
-- hasSubLinks flag correctly. Per example from Kyle Bateman.
|
|
|
|
--
|
|
|
|
create temp table parts (
|
|
|
|
partnum text,
|
|
|
|
cost float8
|
|
|
|
);
|
|
|
|
create temp table shipped (
|
|
|
|
ttype char(2),
|
|
|
|
ordnum int4,
|
|
|
|
partnum text,
|
|
|
|
value float8
|
|
|
|
);
|
|
|
|
create temp view shipped_view as
|
|
|
|
select * from shipped where ttype = 'wt';
|
|
|
|
create rule shipped_view_insert as on insert to shipped_view do instead
|
|
|
|
insert into shipped values('wt', new.ordnum, new.partnum, new.value);
|
|
|
|
insert into parts (partnum, cost) values (1, 1234.56);
|
|
|
|
insert into shipped_view (ordnum, partnum, value)
|
|
|
|
values (0, 1, (select cost from parts where partnum = 1));
|
|
|
|
select * from shipped_view;
|
|
|
|
ttype | ordnum | partnum | value
|
|
|
|
-------+--------+---------+---------
|
|
|
|
wt | 0 | 1 | 1234.56
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
create rule shipped_view_update as on update to shipped_view do instead
|
|
|
|
update shipped set partnum = new.partnum, value = new.value
|
|
|
|
where ttype = new.ttype and ordnum = new.ordnum;
|
|
|
|
update shipped_view set value = 11
|
|
|
|
from int4_tbl a join int4_tbl b
|
|
|
|
on (a.f1 = (select f1 from int4_tbl c where c.f1=b.f1))
|
|
|
|
where ordnum = a.f1;
|
|
|
|
select * from shipped_view;
|
|
|
|
ttype | ordnum | partnum | value
|
|
|
|
-------+--------+---------+-------
|
|
|
|
wt | 0 | 1 | 11
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
select f1, ss1 as relabel from
|
|
|
|
(select *, (select sum(f1) from int4_tbl b where f1 >= a.f1) as ss1
|
|
|
|
from int4_tbl a) ss;
|
|
|
|
f1 | relabel
|
|
|
|
-------------+------------
|
|
|
|
0 | 2147607103
|
|
|
|
123456 | 2147607103
|
|
|
|
-123456 | 2147483647
|
|
|
|
2147483647 | 2147483647
|
|
|
|
-2147483647 | 0
|
|
|
|
(5 rows)
|
|
|
|
|