mirror of
https://github.com/postgres/postgres.git
synced 2025-08-28 18:48:04 +03:00
bccfb17766
The grammar will only accept something syntactically similar to a function call in a function-in-FROM expression. However, there are various ways to input something that ruleutils.c won't deparse that way, potentially leading to a view or rule that fails dump/reload. Fix by inserting a dummy CAST around anything that isn't going to deparse as a function (which is one of the ways to get something like that in there in the first place). In HEAD, also make use of the infrastructure added by this to avoid emitting unnecessary parentheses in CREATE INDEX deparsing. I did not change that in back branches, thinking that people might find it to be unexpected/unnecessary behavioral change. In HEAD, also fix incorrect logic for when to add extra parens to partition key expressions. Somebody apparently thought they could get away with simpler logic than pg_get_indexdef_worker has, but they were wrong --- a counterexample is PARTITION BY LIST ((a[1])). Ignoring the prettyprint flag for partition expressions isn't exactly a nice solution anyway. This has been broken all along, so back-patch to all supported branches. Discussion: https://postgr.es/m/10477.1499970459@sss.pgh.pa.us
281 lines
9.5 KiB
SQL
281 lines
9.5 KiB
SQL
--
|
|
-- CREATE_VIEW
|
|
-- Virtual class definitions
|
|
-- (this also tests the query rewrite system)
|
|
--
|
|
|
|
CREATE VIEW street AS
|
|
SELECT r.name, r.thepath, c.cname AS cname
|
|
FROM ONLY road r, real_city c
|
|
WHERE c.outline ## r.thepath;
|
|
|
|
CREATE VIEW iexit AS
|
|
SELECT ih.name, ih.thepath,
|
|
interpt_pp(ih.thepath, r.thepath) AS exit
|
|
FROM ihighway ih, ramp r
|
|
WHERE ih.thepath ## r.thepath;
|
|
|
|
CREATE VIEW toyemp AS
|
|
SELECT name, age, location, 12*salary AS annualsal
|
|
FROM emp;
|
|
|
|
-- Test comments
|
|
COMMENT ON VIEW noview IS 'no view';
|
|
COMMENT ON VIEW toyemp IS 'is a view';
|
|
COMMENT ON VIEW toyemp IS NULL;
|
|
|
|
--
|
|
-- CREATE OR REPLACE VIEW
|
|
--
|
|
|
|
CREATE TABLE viewtest_tbl (a int, b int);
|
|
COPY viewtest_tbl FROM stdin;
|
|
5 10
|
|
10 15
|
|
15 20
|
|
20 25
|
|
\.
|
|
|
|
CREATE OR REPLACE VIEW viewtest AS
|
|
SELECT * FROM viewtest_tbl;
|
|
|
|
CREATE OR REPLACE VIEW viewtest AS
|
|
SELECT * FROM viewtest_tbl WHERE a > 10;
|
|
|
|
SELECT * FROM viewtest;
|
|
|
|
CREATE OR REPLACE VIEW viewtest AS
|
|
SELECT a, b FROM viewtest_tbl WHERE a > 5 ORDER BY b DESC;
|
|
|
|
SELECT * FROM viewtest;
|
|
|
|
-- should fail
|
|
CREATE OR REPLACE VIEW viewtest AS
|
|
SELECT a FROM viewtest_tbl WHERE a <> 20;
|
|
|
|
-- should fail
|
|
CREATE OR REPLACE VIEW viewtest AS
|
|
SELECT 1, * FROM viewtest_tbl;
|
|
|
|
-- should fail
|
|
CREATE OR REPLACE VIEW viewtest AS
|
|
SELECT a, b::numeric FROM viewtest_tbl;
|
|
|
|
-- should work
|
|
CREATE OR REPLACE VIEW viewtest AS
|
|
SELECT a, b, 0 AS c FROM viewtest_tbl;
|
|
|
|
DROP VIEW viewtest;
|
|
DROP TABLE viewtest_tbl;
|
|
|
|
-- tests for temporary views
|
|
|
|
CREATE SCHEMA temp_view_test
|
|
CREATE TABLE base_table (a int, id int)
|
|
CREATE TABLE base_table2 (a int, id int);
|
|
|
|
SET search_path TO temp_view_test, public;
|
|
|
|
CREATE TEMPORARY TABLE temp_table (a int, id int);
|
|
|
|
-- should be created in temp_view_test schema
|
|
CREATE VIEW v1 AS SELECT * FROM base_table;
|
|
-- should be created in temp object schema
|
|
CREATE VIEW v1_temp AS SELECT * FROM temp_table;
|
|
-- should be created in temp object schema
|
|
CREATE TEMP VIEW v2_temp AS SELECT * FROM base_table;
|
|
-- should be created in temp_views schema
|
|
CREATE VIEW temp_view_test.v2 AS SELECT * FROM base_table;
|
|
-- should fail
|
|
CREATE VIEW temp_view_test.v3_temp AS SELECT * FROM temp_table;
|
|
-- should fail
|
|
CREATE SCHEMA test_schema
|
|
CREATE TEMP VIEW testview AS SELECT 1;
|
|
|
|
-- joins: if any of the join relations are temporary, the view
|
|
-- should also be temporary
|
|
|
|
-- should be non-temp
|
|
CREATE VIEW v3 AS
|
|
SELECT t1.a AS t1_a, t2.a AS t2_a
|
|
FROM base_table t1, base_table2 t2
|
|
WHERE t1.id = t2.id;
|
|
-- should be temp (one join rel is temp)
|
|
CREATE VIEW v4_temp AS
|
|
SELECT t1.a AS t1_a, t2.a AS t2_a
|
|
FROM base_table t1, temp_table t2
|
|
WHERE t1.id = t2.id;
|
|
-- should be temp
|
|
CREATE VIEW v5_temp AS
|
|
SELECT t1.a AS t1_a, t2.a AS t2_a, t3.a AS t3_a
|
|
FROM base_table t1, base_table2 t2, temp_table t3
|
|
WHERE t1.id = t2.id and t2.id = t3.id;
|
|
|
|
-- subqueries
|
|
CREATE VIEW v4 AS SELECT * FROM base_table WHERE id IN (SELECT id FROM base_table2);
|
|
CREATE VIEW v5 AS SELECT t1.id, t2.a FROM base_table t1, (SELECT * FROM base_table2) t2;
|
|
CREATE VIEW v6 AS SELECT * FROM base_table WHERE EXISTS (SELECT 1 FROM base_table2);
|
|
CREATE VIEW v7 AS SELECT * FROM base_table WHERE NOT EXISTS (SELECT 1 FROM base_table2);
|
|
CREATE VIEW v8 AS SELECT * FROM base_table WHERE EXISTS (SELECT 1);
|
|
|
|
CREATE VIEW v6_temp AS SELECT * FROM base_table WHERE id IN (SELECT id FROM temp_table);
|
|
CREATE VIEW v7_temp AS SELECT t1.id, t2.a FROM base_table t1, (SELECT * FROM temp_table) t2;
|
|
CREATE VIEW v8_temp AS SELECT * FROM base_table WHERE EXISTS (SELECT 1 FROM temp_table);
|
|
CREATE VIEW v9_temp AS SELECT * FROM base_table WHERE NOT EXISTS (SELECT 1 FROM temp_table);
|
|
|
|
-- a view should also be temporary if it references a temporary view
|
|
CREATE VIEW v10_temp AS SELECT * FROM v7_temp;
|
|
CREATE VIEW v11_temp AS SELECT t1.id, t2.a FROM base_table t1, v10_temp t2;
|
|
CREATE VIEW v12_temp AS SELECT true FROM v11_temp;
|
|
|
|
-- a view should also be temporary if it references a temporary sequence
|
|
CREATE SEQUENCE seq1;
|
|
CREATE TEMPORARY SEQUENCE seq1_temp;
|
|
CREATE VIEW v9 AS SELECT seq1.is_called FROM seq1;
|
|
CREATE VIEW v13_temp AS SELECT seq1_temp.is_called FROM seq1_temp;
|
|
|
|
SELECT relname FROM pg_class
|
|
WHERE relname LIKE 'v_'
|
|
AND relnamespace = (SELECT oid FROM pg_namespace WHERE nspname = 'temp_view_test')
|
|
ORDER BY relname;
|
|
SELECT relname FROM pg_class
|
|
WHERE relname LIKE 'v%'
|
|
AND relnamespace IN (SELECT oid FROM pg_namespace WHERE nspname LIKE 'pg_temp%')
|
|
ORDER BY relname;
|
|
|
|
CREATE SCHEMA testviewschm2;
|
|
SET search_path TO testviewschm2, public;
|
|
|
|
CREATE TABLE t1 (num int, name text);
|
|
CREATE TABLE t2 (num2 int, value text);
|
|
CREATE TEMP TABLE tt (num2 int, value text);
|
|
|
|
CREATE VIEW nontemp1 AS SELECT * FROM t1 CROSS JOIN t2;
|
|
CREATE VIEW temporal1 AS SELECT * FROM t1 CROSS JOIN tt;
|
|
CREATE VIEW nontemp2 AS SELECT * FROM t1 INNER JOIN t2 ON t1.num = t2.num2;
|
|
CREATE VIEW temporal2 AS SELECT * FROM t1 INNER JOIN tt ON t1.num = tt.num2;
|
|
CREATE VIEW nontemp3 AS SELECT * FROM t1 LEFT JOIN t2 ON t1.num = t2.num2;
|
|
CREATE VIEW temporal3 AS SELECT * FROM t1 LEFT JOIN tt ON t1.num = tt.num2;
|
|
CREATE VIEW nontemp4 AS SELECT * FROM t1 LEFT JOIN t2 ON t1.num = t2.num2 AND t2.value = 'xxx';
|
|
CREATE VIEW temporal4 AS SELECT * FROM t1 LEFT JOIN tt ON t1.num = tt.num2 AND tt.value = 'xxx';
|
|
|
|
SELECT relname FROM pg_class
|
|
WHERE relname LIKE 'nontemp%'
|
|
AND relnamespace = (SELECT oid FROM pg_namespace WHERE nspname = 'testviewschm2')
|
|
ORDER BY relname;
|
|
SELECT relname FROM pg_class
|
|
WHERE relname LIKE 'temporal%'
|
|
AND relnamespace IN (SELECT oid FROM pg_namespace WHERE nspname LIKE 'pg_temp%')
|
|
ORDER BY relname;
|
|
|
|
CREATE TABLE tbl1 ( a int, b int);
|
|
CREATE TABLE tbl2 (c int, d int);
|
|
CREATE TABLE tbl3 (e int, f int);
|
|
CREATE TABLE tbl4 (g int, h int);
|
|
CREATE TEMP TABLE tmptbl (i int, j int);
|
|
|
|
--Should be in testviewschm2
|
|
CREATE VIEW pubview AS SELECT * FROM tbl1 WHERE tbl1.a
|
|
BETWEEN (SELECT d FROM tbl2 WHERE c = 1) AND (SELECT e FROM tbl3 WHERE f = 2)
|
|
AND EXISTS (SELECT g FROM tbl4 LEFT JOIN tbl3 ON tbl4.h = tbl3.f);
|
|
|
|
SELECT count(*) FROM pg_class where relname = 'pubview'
|
|
AND relnamespace IN (SELECT OID FROM pg_namespace WHERE nspname = 'testviewschm2');
|
|
|
|
--Should be in temp object schema
|
|
CREATE VIEW mytempview AS SELECT * FROM tbl1 WHERE tbl1.a
|
|
BETWEEN (SELECT d FROM tbl2 WHERE c = 1) AND (SELECT e FROM tbl3 WHERE f = 2)
|
|
AND EXISTS (SELECT g FROM tbl4 LEFT JOIN tbl3 ON tbl4.h = tbl3.f)
|
|
AND NOT EXISTS (SELECT g FROM tbl4 LEFT JOIN tmptbl ON tbl4.h = tmptbl.j);
|
|
|
|
SELECT count(*) FROM pg_class where relname LIKE 'mytempview'
|
|
And relnamespace IN (SELECT OID FROM pg_namespace WHERE nspname LIKE 'pg_temp%');
|
|
|
|
--
|
|
-- CREATE VIEW and WITH(...) clause
|
|
--
|
|
CREATE VIEW mysecview1
|
|
AS SELECT * FROM tbl1 WHERE a = 0;
|
|
CREATE VIEW mysecview2 WITH (security_barrier=true)
|
|
AS SELECT * FROM tbl1 WHERE a > 0;
|
|
CREATE VIEW mysecview3 WITH (security_barrier=false)
|
|
AS SELECT * FROM tbl1 WHERE a < 0;
|
|
CREATE VIEW mysecview4 WITH (security_barrier)
|
|
AS SELECT * FROM tbl1 WHERE a <> 0;
|
|
CREATE VIEW mysecview5 WITH (security_barrier=100) -- Error
|
|
AS SELECT * FROM tbl1 WHERE a > 100;
|
|
CREATE VIEW mysecview6 WITH (invalid_option) -- Error
|
|
AS SELECT * FROM tbl1 WHERE a < 100;
|
|
SELECT relname, relkind, reloptions FROM pg_class
|
|
WHERE oid in ('mysecview1'::regclass, 'mysecview2'::regclass,
|
|
'mysecview3'::regclass, 'mysecview4'::regclass)
|
|
ORDER BY relname;
|
|
|
|
CREATE OR REPLACE VIEW mysecview1
|
|
AS SELECT * FROM tbl1 WHERE a = 256;
|
|
CREATE OR REPLACE VIEW mysecview2
|
|
AS SELECT * FROM tbl1 WHERE a > 256;
|
|
CREATE OR REPLACE VIEW mysecview3 WITH (security_barrier=true)
|
|
AS SELECT * FROM tbl1 WHERE a < 256;
|
|
CREATE OR REPLACE VIEW mysecview4 WITH (security_barrier=false)
|
|
AS SELECT * FROM tbl1 WHERE a <> 256;
|
|
SELECT relname, relkind, reloptions FROM pg_class
|
|
WHERE oid in ('mysecview1'::regclass, 'mysecview2'::regclass,
|
|
'mysecview3'::regclass, 'mysecview4'::regclass)
|
|
ORDER BY relname;
|
|
|
|
-- This test checks that proper typmods are assigned in a multi-row VALUES
|
|
|
|
CREATE VIEW tt1 AS
|
|
SELECT * FROM (
|
|
VALUES
|
|
('abc'::varchar(3), '0123456789', 42, 'abcd'::varchar(4)),
|
|
('0123456789', 'abc'::varchar(3), 42.12, 'abc'::varchar(4))
|
|
) vv(a,b,c,d);
|
|
\d+ tt1
|
|
SELECT * FROM tt1;
|
|
SELECT a::varchar(3) FROM tt1;
|
|
DROP VIEW tt1;
|
|
|
|
-- check display of whole-row variables in some corner cases
|
|
|
|
create type nestedcomposite as (x int8_tbl);
|
|
create view tt15v as select row(i)::nestedcomposite from int8_tbl i;
|
|
select * from tt15v;
|
|
select pg_get_viewdef('tt15v', true);
|
|
select row(i.*::int8_tbl)::nestedcomposite from int8_tbl i;
|
|
|
|
create view tt17v as select * from int8_tbl i where i in (values(i));
|
|
select * from tt17v;
|
|
select pg_get_viewdef('tt17v', true);
|
|
select * from int8_tbl i where i.* in (values(i.*::int8_tbl));
|
|
|
|
-- check display of ScalarArrayOp with a sub-select
|
|
|
|
select 'foo'::text = any(array['abc','def','foo']::text[]);
|
|
select 'foo'::text = any((select array['abc','def','foo']::text[])); -- fail
|
|
select 'foo'::text = any((select array['abc','def','foo']::text[])::text[]);
|
|
|
|
create view tt19v as
|
|
select 'foo'::text = any(array['abc','def','foo']::text[]) c1,
|
|
'foo'::text = any((select array['abc','def','foo']::text[])::text[]) c2;
|
|
select pg_get_viewdef('tt19v', true);
|
|
|
|
-- check display of assorted RTE_FUNCTION expressions
|
|
|
|
create view tt20v as
|
|
select * from
|
|
coalesce(1,2) as c,
|
|
collation for ('x'::text) col,
|
|
current_date as d,
|
|
cast(1+2 as int4) as i4,
|
|
cast(1+2 as int8) as i8;
|
|
select pg_get_viewdef('tt20v', true);
|
|
|
|
-- clean up all the random objects we made above
|
|
set client_min_messages = warning;
|
|
DROP SCHEMA temp_view_test CASCADE;
|
|
DROP SCHEMA testviewschm2 CASCADE;
|
|
|
|
SET search_path to public;
|