mirror of
https://github.com/postgres/postgres.git
synced 2026-02-26 19:30:25 -05:00
REFRESH MATERIALIZED VIEW CONCURRENTLY was broken for any matview containing a column of a type without a default btree operator class. It also did not produce results consistent with a non- concurrent REFRESH or a normal view if any column was of a type which allowed user-visible differences between values which compared as equal according to the type's default btree opclass. Concurrent matview refresh was modified to use the new operators to solve these problems. Documentation was added for record comparison, both for the default btree operator class for record, and the newly added operators. Regression tests now check for proper behavior both for a matview with a box column and a matview containing a citext column. Reviewed by Steve Singer, who suggested some of the doc language.
169 lines
5.7 KiB
PL/PgSQL
169 lines
5.7 KiB
PL/PgSQL
-- create a table to use as a basis for views and materialized views in various combinations
|
|
CREATE TABLE t (id int NOT NULL PRIMARY KEY, type text NOT NULL, amt numeric NOT NULL);
|
|
INSERT INTO t VALUES
|
|
(1, 'x', 2),
|
|
(2, 'x', 3),
|
|
(3, 'y', 5),
|
|
(4, 'y', 7),
|
|
(5, 'z', 11);
|
|
|
|
-- we want a view based on the table, too, since views present additional challenges
|
|
CREATE VIEW tv AS SELECT type, sum(amt) AS totamt FROM t GROUP BY type;
|
|
SELECT * FROM tv ORDER BY type;
|
|
|
|
-- create a materialized view with no data, and confirm correct behavior
|
|
EXPLAIN (costs off)
|
|
CREATE MATERIALIZED VIEW tm AS SELECT type, sum(amt) AS totamt FROM t GROUP BY type WITH NO DATA;
|
|
CREATE MATERIALIZED VIEW tm AS SELECT type, sum(amt) AS totamt FROM t GROUP BY type WITH NO DATA;
|
|
SELECT relispopulated FROM pg_class WHERE oid = 'tm'::regclass;
|
|
SELECT * FROM tm;
|
|
REFRESH MATERIALIZED VIEW tm;
|
|
SELECT relispopulated FROM pg_class WHERE oid = 'tm'::regclass;
|
|
CREATE UNIQUE INDEX tm_type ON tm (type);
|
|
SELECT * FROM tm;
|
|
|
|
-- create various views
|
|
EXPLAIN (costs off)
|
|
CREATE MATERIALIZED VIEW tvm AS SELECT * FROM tv ORDER BY type;
|
|
CREATE MATERIALIZED VIEW tvm AS SELECT * FROM tv ORDER BY type;
|
|
SELECT * FROM tvm;
|
|
CREATE MATERIALIZED VIEW tmm AS SELECT sum(totamt) AS grandtot FROM tm;
|
|
CREATE MATERIALIZED VIEW tvmm AS SELECT sum(totamt) AS grandtot FROM tvm;
|
|
CREATE UNIQUE INDEX tvmm_expr ON tvmm ((grandtot > 0));
|
|
CREATE UNIQUE INDEX tvmm_pred ON tvmm (grandtot) WHERE grandtot < 0;
|
|
CREATE VIEW tvv AS SELECT sum(totamt) AS grandtot FROM tv;
|
|
EXPLAIN (costs off)
|
|
CREATE MATERIALIZED VIEW tvvm AS SELECT * FROM tvv;
|
|
CREATE MATERIALIZED VIEW tvvm AS SELECT * FROM tvv;
|
|
CREATE VIEW tvvmv AS SELECT * FROM tvvm;
|
|
CREATE MATERIALIZED VIEW bb AS SELECT * FROM tvvmv;
|
|
CREATE INDEX aa ON bb (grandtot);
|
|
|
|
-- check that plans seem reasonable
|
|
\d+ tvm
|
|
\d+ tvm
|
|
\d+ tvvm
|
|
\d+ bb
|
|
|
|
-- test schema behavior
|
|
CREATE SCHEMA mvschema;
|
|
ALTER MATERIALIZED VIEW tvm SET SCHEMA mvschema;
|
|
\d+ tvm
|
|
\d+ tvmm
|
|
SET search_path = mvschema, public;
|
|
\d+ tvm
|
|
|
|
-- modify the underlying table data
|
|
INSERT INTO t VALUES (6, 'z', 13);
|
|
|
|
-- confirm pre- and post-refresh contents of fairly simple materialized views
|
|
SELECT * FROM tm ORDER BY type;
|
|
SELECT * FROM tvm ORDER BY type;
|
|
REFRESH MATERIALIZED VIEW CONCURRENTLY tm;
|
|
REFRESH MATERIALIZED VIEW tvm;
|
|
SELECT * FROM tm ORDER BY type;
|
|
SELECT * FROM tvm ORDER BY type;
|
|
RESET search_path;
|
|
|
|
-- confirm pre- and post-refresh contents of nested materialized views
|
|
EXPLAIN (costs off)
|
|
SELECT * FROM tmm;
|
|
EXPLAIN (costs off)
|
|
SELECT * FROM tvmm;
|
|
EXPLAIN (costs off)
|
|
SELECT * FROM tvvm;
|
|
SELECT * FROM tmm;
|
|
SELECT * FROM tvmm;
|
|
SELECT * FROM tvvm;
|
|
REFRESH MATERIALIZED VIEW tmm;
|
|
REFRESH MATERIALIZED VIEW CONCURRENTLY tvmm;
|
|
REFRESH MATERIALIZED VIEW tvmm;
|
|
REFRESH MATERIALIZED VIEW tvvm;
|
|
EXPLAIN (costs off)
|
|
SELECT * FROM tmm;
|
|
EXPLAIN (costs off)
|
|
SELECT * FROM tvmm;
|
|
EXPLAIN (costs off)
|
|
SELECT * FROM tvvm;
|
|
SELECT * FROM tmm;
|
|
SELECT * FROM tvmm;
|
|
SELECT * FROM tvvm;
|
|
|
|
-- test diemv when the mv does not exist
|
|
DROP MATERIALIZED VIEW IF EXISTS no_such_mv;
|
|
|
|
-- make sure invalid comination of options is prohibited
|
|
REFRESH MATERIALIZED VIEW CONCURRENTLY tvmm WITH NO DATA;
|
|
|
|
-- no tuple locks on materialized views
|
|
SELECT * FROM tvvm FOR SHARE;
|
|
|
|
-- test join of mv and view
|
|
SELECT type, m.totamt AS mtot, v.totamt AS vtot FROM tm m LEFT JOIN tv v USING (type) ORDER BY type;
|
|
|
|
-- make sure that dependencies are reported properly when they block the drop
|
|
DROP TABLE t;
|
|
|
|
-- make sure dependencies are dropped and reported
|
|
-- and make sure that transactional behavior is correct on rollback
|
|
-- incidentally leaving some interesting materialized views for pg_dump testing
|
|
BEGIN;
|
|
DROP TABLE t CASCADE;
|
|
ROLLBACK;
|
|
|
|
-- some additional tests not using base tables
|
|
CREATE VIEW v_test1 AS SELECT 1 moo;
|
|
CREATE VIEW v_test2 AS SELECT moo, 2*moo FROM v_test1 UNION ALL SELECT moo, 3*moo FROM v_test1;
|
|
\d+ v_test2
|
|
CREATE MATERIALIZED VIEW mv_test2 AS SELECT moo, 2*moo FROM v_test2 UNION ALL SELECT moo, 3*moo FROM v_test2;
|
|
\d+ mv_test2
|
|
CREATE MATERIALIZED VIEW mv_test3 AS SELECT * FROM mv_test2 WHERE moo = 12345;
|
|
SELECT relispopulated FROM pg_class WHERE oid = 'mv_test3'::regclass;
|
|
|
|
DROP VIEW v_test1 CASCADE;
|
|
|
|
-- test that vacuum does not make empty matview look unpopulated
|
|
CREATE TABLE hoge (i int);
|
|
INSERT INTO hoge VALUES (generate_series(1,100000));
|
|
CREATE MATERIALIZED VIEW hogeview AS SELECT * FROM hoge WHERE i % 2 = 0;
|
|
CREATE INDEX hogeviewidx ON hogeview (i);
|
|
DELETE FROM hoge;
|
|
REFRESH MATERIALIZED VIEW hogeview;
|
|
SELECT * FROM hogeview WHERE i < 10;
|
|
VACUUM ANALYZE;
|
|
SELECT * FROM hogeview WHERE i < 10;
|
|
DROP TABLE hoge CASCADE;
|
|
|
|
-- test that duplicate values on unique index prevent refresh
|
|
CREATE TABLE foo(a, b) AS VALUES(1, 10);
|
|
CREATE MATERIALIZED VIEW mv AS SELECT * FROM foo;
|
|
CREATE UNIQUE INDEX ON mv(a);
|
|
INSERT INTO foo SELECT * FROM foo;
|
|
REFRESH MATERIALIZED VIEW mv;
|
|
REFRESH MATERIALIZED VIEW CONCURRENTLY mv;
|
|
DROP TABLE foo CASCADE;
|
|
|
|
-- make sure that all columns covered by unique indexes works
|
|
CREATE TABLE foo(a, b, c) AS VALUES(1, 2, 3);
|
|
CREATE MATERIALIZED VIEW mv AS SELECT * FROM foo;
|
|
CREATE UNIQUE INDEX ON mv (a);
|
|
CREATE UNIQUE INDEX ON mv (b);
|
|
CREATE UNIQUE INDEX on mv (c);
|
|
INSERT INTO foo VALUES(2, 3, 4);
|
|
INSERT INTO foo VALUES(3, 4, 5);
|
|
REFRESH MATERIALIZED VIEW mv;
|
|
REFRESH MATERIALIZED VIEW CONCURRENTLY mv;
|
|
DROP TABLE foo CASCADE;
|
|
|
|
-- make sure that types with unusual equality tests work
|
|
CREATE TABLE boxes (id serial primary key, b box);
|
|
INSERT INTO boxes (b) VALUES
|
|
('(32,32),(31,31)'),
|
|
('(2.0000004,2.0000004),(1,1)'),
|
|
('(1.9999996,1.9999996),(1,1)');
|
|
CREATE MATERIALIZED VIEW boxmv AS SELECT * FROM boxes;
|
|
CREATE UNIQUE INDEX boxmv_id ON boxmv (id);
|
|
UPDATE boxes SET b = '(2,2),(1,1)' WHERE id = 2;
|
|
REFRESH MATERIALIZED VIEW CONCURRENTLY boxmv;
|
|
SELECT * FROM boxmv ORDER BY id;
|
|
DROP TABLE boxes CASCADE;
|