Compare commits
22 commits
104-create
...
main
| Author | SHA1 | Date | |
|---|---|---|---|
|
132816cffe | ||
|
|
b926225089 | ||
|
|
3dcf7db2cb | ||
|
|
e1c26275ff | ||
|
|
e92cbe543d | ||
|
|
96fdf6f789 | ||
|
|
8232f7fc9b | ||
|
|
f4b40e93a6 | ||
|
|
f03a6a71da | ||
|
|
deb2652335 | ||
|
|
406381cc37 | ||
|
|
1d78c158a2 | ||
|
|
49b52bcd5e | ||
|
|
3f33229efe | ||
|
|
7966a92b8e | ||
|
|
eab5195be5 | ||
|
|
c31d5ec9ab | ||
|
|
437b2d22d7 | ||
|
|
ddc1382c63 | ||
|
|
966a865d60 | ||
|
|
52b72ab5c5 | ||
|
|
f1166c0421 |
35 changed files with 5889 additions and 119 deletions
28
.gitignore
vendored
28
.gitignore
vendored
|
|
@ -1,8 +1,30 @@
|
|||
# Global excludes across all subdirectories
|
||||
*.bc
|
||||
# Object files
|
||||
*.o
|
||||
|
||||
# Coverage files
|
||||
*.gcno
|
||||
*.gcda
|
||||
|
||||
# Libraries
|
||||
*.lib
|
||||
*.a
|
||||
|
||||
# LLVM bitcode
|
||||
*.bc
|
||||
|
||||
# Shared objects (inc. Windows DLLs)
|
||||
*.dll
|
||||
*.so
|
||||
regression.*
|
||||
*.so.*
|
||||
*.dylib
|
||||
|
||||
# Executables
|
||||
*.exe
|
||||
*.app
|
||||
|
||||
# Dependencies
|
||||
.deps
|
||||
|
||||
# Generated subdirectories
|
||||
/results/
|
||||
/output_iso/
|
||||
|
|
|
|||
18
Makefile
18
Makefile
|
|
@ -1,5 +1,7 @@
|
|||
# contrib/pg_ivm/Makefile
|
||||
|
||||
PG_CONFIG ?= pg_config
|
||||
|
||||
MODULE_big = pg_ivm
|
||||
OBJS = \
|
||||
$(WIN32RES) \
|
||||
|
|
@ -16,10 +18,22 @@ DATA = pg_ivm--1.0.sql \
|
|||
pg_ivm--1.3--1.4.sql pg_ivm--1.4--1.5.sql pg_ivm--1.5--1.6.sql \
|
||||
pg_ivm--1.6--1.7.sql pg_ivm--1.7--1.8.sql pg_ivm--1.8--1.9.sql \
|
||||
pg_ivm--1.9--1.10.sql \
|
||||
pg_ivm--1.10.sql
|
||||
pg_ivm--1.10.sql \
|
||||
pg_ivm--1.10--1.11.sql pg_ivm--1.11--1.12.sql
|
||||
|
||||
REGRESS = pg_ivm create_immv refresh_immv
|
||||
|
||||
PG_CONFIG ?= pg_config
|
||||
PGVER = $(shell $(PG_CONFIG) --version | sed "s/^[^ ]* \([0-9]*\).*$$/\1/" 2>/dev/null)
|
||||
|
||||
# We assume PG13 is the only version that is supported by pg_ivm but
|
||||
# missing pg_isolation_regress.
|
||||
|
||||
ifneq ($(PGVER),13)
|
||||
ISOLATION = create_insert refresh_insert insert_insert \
|
||||
create_insert2 refresh_insert2 insert_insert2 \
|
||||
create_insert3 refresh_insert3 insert_insert3
|
||||
ISOLATION_OPTS = --load-extension=pg_ivm
|
||||
endif
|
||||
|
||||
PGXS := $(shell $(PG_CONFIG) --pgxs)
|
||||
include $(PGXS)
|
||||
|
|
|
|||
171
README.md
171
README.md
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
The `pg_ivm` module provides Incremental View Maintenance (IVM) feature for PostgreSQL.
|
||||
|
||||
The extension is compatible with PostgreSQL 13, 14, 15, 16, and 17.
|
||||
The extension is compatible with PostgreSQL 13, 14, 15, 16, 17, and 18.
|
||||
|
||||
## Description
|
||||
|
||||
|
|
@ -68,19 +68,32 @@ If you installed PostgreSQL from rpm or deb, you will need the devel package (fo
|
|||
|
||||
> **Important:** Don't forget to set the `PG_CONFIG` variable (`make PG_CONFIG=...`) or the `PATH` to the `pg_config` command in case you want to use `pg_ivm` on a non-default or custom build of PostgreSQL. Read more [here](https://wiki.postgresql.org/wiki/Building_and_Installing_PostgreSQL_Extension_Modules).
|
||||
|
||||
And, execute CREATE EXTENSION comand.
|
||||
Once installed, execute `CREATE EXTENSION` comand.
|
||||
|
||||
```sql
|
||||
CREATE EXTENSION pg_ivm;
|
||||
```
|
||||
|
||||
### Configuration
|
||||
|
||||
To ensure `pg_ivm` maintains IMMVs correctly, add it to either shared_preload_libraries or session_preload_libraries in postgresql.conf:
|
||||
|
||||
```
|
||||
# Add pg_ivm to preload libraries
|
||||
shared_preload_libraries = 'pg_ivm'
|
||||
# OR
|
||||
session_preload_libraries = 'pg_ivm'
|
||||
```
|
||||
|
||||
After making this change, restart PostgreSQL for the configuration to take effect.
|
||||
|
||||
### RPM packages and yum repository
|
||||
|
||||
RPM packages of pg_ivm are available from the [PostgreSQL yum repository](https://yum.postgresql.org/). See the [instruction](https://yum.postgresql.org/howto/) for details. Note that we are not the maintainer of this yum repository and RPMs for pg_ivm in it may be not always latest.
|
||||
|
||||
## Objects
|
||||
|
||||
When `pg_ivm` is installed, the following objects are created in the schema `pgivm`.
|
||||
When `pg_ivm` is installed, the 'pgivm' schema is created, along with the following objects within this schema.
|
||||
|
||||
### Functions
|
||||
|
||||
|
|
@ -88,12 +101,14 @@ When `pg_ivm` is installed, the following objects are created in the schema `pgi
|
|||
|
||||
Use `create_immv` function to create IMMV.
|
||||
```
|
||||
pgivim.create_immv(immv_name text, view_definition text) RETURNS bigint
|
||||
pgivm.create_immv(immv_name text, view_definition text) RETURNS bigint
|
||||
```
|
||||
`create_immv` defines a new IMMV of a query. A table of the name `immv_name` is created and a query specified by `view_definition` is executed and used to populate the IMMV. The query is stored in `pg_ivm_immv`, so that it can be refreshed later upon incremental view maintenance. `create_immv` returns the number of rows in the created IMMV.
|
||||
|
||||
When an IMMV is created, some triggers are automatically created so that the view's contents are immediately updated when its base tables are modified. In addition, a unique index is created on the IMMV automatically if possible. If the view definition query has a GROUP BY clause, a unique index is created on the columns of GROUP BY expressions. Also, if the view has DISTINCT clause, a unique index is created on all columns in the target list. Otherwise, if the IMMV contains all primary key attributes of its base tables in the target list, a unique index is created on these attributes. In other cases, no index is created.
|
||||
|
||||
`create_immv` acquires an `AccessExclusiveLock` on the view. However, even if we are able to acquire the lock, a concurrent transaction may have already incrementally updated and committed the view before we can acquire it. In the `REPEATABLE READ` or `SERIALIZABLE` isolation levels, this could lead to an inconsistent state of the view. Unfortunately, this situation cannot be detected during the creation of the view. As a result, `create_immv` raises a warning in these isolation levels, suggesting that the command be used in `READ COMMITTED` or that `refresh_immv` be executed afterward to make the view's contents remain consistent.
|
||||
|
||||
Note that if you use PostgreSQL 17 or later, while `create_immv` is running, the `search_path` is temporarily changed to `pg_catalog, pg_temp`.
|
||||
|
||||
#### refresh_immv
|
||||
|
|
@ -105,7 +120,9 @@ pgivm.refresh_immv(immv_name text, with_data bool) RETURNS bigint
|
|||
|
||||
`refresh_immv` completely replaces the contents of an IMMV as `REFRESH MATERIALIZED VIEW` command does for a materialized view. To execute this function you must be the owner of the IMMV (with PostgreSQL 16 or earlier) or have the `MAINTAIN` privilege on the IMMV (with PostgreSQL 17 or later). The old contents are discarded.
|
||||
|
||||
The with_data flag is corresponding to `WITH [NO] DATA` option of REFRESH MATERIALIZED VIEW` command. If with_data is true, the backing query is executed to provide the new data, and if the IMMV is unpopulated, triggers for maintaining the view are created. Also, a unique index is created for IMMV if it is possible and the view doesn't have that yet. If with_data is false, no new data is generated and the IMMV become unpopulated, and the triggers are dropped from the IMMV. Note that unpopulated IMMV is still scannable although the result is empty. This behaviour may be changed in future to raise an error when an unpopulated IMMV is scanned.
|
||||
The with_data flag is corresponding to `WITH [NO] DATA` option of `REFRESH MATERIALIZED VIEW` command. If with_data is true, the backing query is executed to provide the new data, and if the IMMV is unpopulated, triggers for maintaining the view are created. Also, a unique index is created for IMMV if it is possible and the view doesn't have that yet. If with_data is false, no new data is generated and the IMMV become unpopulated, and the triggers are dropped from the IMMV. Note that unpopulated IMMV is still scannable although the result is empty. This behaviour may be changed in future to raise an error when an unpopulated IMMV is scanned.
|
||||
|
||||
`refresh_immv` acquires `AccessExclusiveLock` on the view. However, even if we are able to acquire the lock, a concurrent transaction may have already incrementally updated and committed the view before we can acquire the lock. In `REPEATABLE READ` or `SERIALIZABLE` isolation level, this could lead to an inconsistent state of the view. Therefore, an error is raised to prevent anomalies when this situation is detected.
|
||||
|
||||
Note that if you use PostgreSQL 17 or later, while `refresh_immv` is running, the `search_path` is temporarily changed to `pg_catalog, pg_temp`.
|
||||
|
||||
|
|
@ -125,10 +142,13 @@ The catalog `pgivm.pg_ivm_immv` stores IMMV information.
|
|||
|immvrelid|regclass|The OID of the IMMV|
|
||||
|viewdef|text|Query tree (in the form of a nodeToString() representation) for the view definition|
|
||||
|ispopulated|bool|True if IMMV is currently populated|
|
||||
|lastivmupdate|xid8|The transaction ID of the most recent incremental update to the view|
|
||||
|
||||
|
||||
## Example
|
||||
|
||||
### `CREATE MATERIALIZED VIEW` and `REFRESH MATERIALIZED VIEW`
|
||||
|
||||
In general, IMMVs allow faster updates than `REFRESH MATERIALIZED VIEW` at the price of slower updates to their base tables. Update of base tables is slower because triggers will be invoked and the IMMV is updated in triggers per modification statement.
|
||||
|
||||
For example, suppose a normal materialized view defined as below:
|
||||
|
|
@ -152,6 +172,8 @@ REFRESH MATERIALIZED VIEW
|
|||
Time: 20575.721 ms (00:20.576)
|
||||
```
|
||||
|
||||
### Creating an IMMV
|
||||
|
||||
On the other hand, after creating IMMV with the same view definition as below:
|
||||
|
||||
```
|
||||
|
|
@ -165,7 +187,7 @@ NOTICE: created index "immv_index" on immv "immv"
|
|||
(1 row)
|
||||
```
|
||||
|
||||
updating a tuple in a base table takes more than the normal view, but its content is updated automatically and this is faster than the `REFRESH MATERIALIZED VIEW` command.
|
||||
Updating a tuple in a base table takes more than the normal view, but its content is updated automatically and this is faster than the `REFRESH MATERIALIZED VIEW` command.
|
||||
|
||||
```sql
|
||||
test=# UPDATE pgbench_accounts SET abalance = 1234 WHERE aid = 1;
|
||||
|
|
@ -194,6 +216,131 @@ UPDATE 1
|
|||
Time: 3224.741 ms (00:03.225)
|
||||
```
|
||||
|
||||
### IMMV with Aggregate Functions
|
||||
|
||||
You can create an IMMV that includes aggregate functions.
|
||||
|
||||
```sql
|
||||
test=# SELECT pgivm.create_immv('immv_agg',
|
||||
'SELECT bid, count(*), sum(abalance), avg(abalance)
|
||||
FROM pgbench_accounts JOIN pgbench_branches USING(bid) GROUP BY bid');
|
||||
NOTICE: created index "immv_agg_index" on immv "immv_agg"
|
||||
create_immv
|
||||
-------------
|
||||
100
|
||||
(1 row)
|
||||
|
||||
Time: 5772.625 ms (00:05.773)
|
||||
```
|
||||
|
||||
Creating this view takes about five seconds, and the normal refresh operation requires a similar amount of time. The following example demonstrates refreshing the IMMV using `refresh_immv`. The execution time would be approximately the same if you used `REFRESH MATERIALIZED VIEW` on a regular materialized view with the same definition.
|
||||
|
||||
```sql
|
||||
test=# SELECT pgivm.refresh_immv('immv_agg',true);
|
||||
refresh_immv
|
||||
--------------
|
||||
100
|
||||
(1 row)
|
||||
|
||||
Time: 5766.292 ms (00:05.766)
|
||||
```
|
||||
|
||||
When a base table is updated, the IMMV is also automatically updated incrementally, as expected.
|
||||
|
||||
```sql
|
||||
test=# SELECT bid, count, sum, avg FROM immv_agg WHERE bid = 42;
|
||||
bid | count | sum | avg
|
||||
-----+--------+-------+------------------------
|
||||
42 | 100000 | 38774 | 0.38774000000000000000
|
||||
(1 row)
|
||||
|
||||
Time: 3.123 ms
|
||||
|
||||
test=# UPDATE pgbench_accounts SET abalance = abalance + 1000 WHERE aid = 4112345 AND bid = 42;
|
||||
UPDATE 1
|
||||
Time: 16.616 ms
|
||||
|
||||
test=# SELECT bid, count, sum, avg FROM immv_agg WHERE bid = 42;
|
||||
bid | count | sum | avg
|
||||
-----+--------+-------+------------------------
|
||||
42 | 100000 | 39774 | 0.39774000000000000000
|
||||
(1 row)
|
||||
|
||||
Time: 1.987 ms
|
||||
```
|
||||
|
||||
After updating a row in the `pgbench_accounts` table, you can see that the aggregated values in `immv_agg` are updated automatically.
|
||||
|
||||
### Listing IMMVs and Viewing Their Definitions
|
||||
|
||||
You can find all IMMVs in the `pg_ivm_immv` catalog and view their definition queries by executing the `get_immv_def` function."
|
||||
|
||||
```sql
|
||||
test=# SELECT immvrelid AS immv, pgivm.get_immv_def(immvrelid) AS immv_def FROM pgivm.pg_ivm_immv;
|
||||
immv | immv_def
|
||||
----------+--------------------------------------------
|
||||
immv_agg | SELECT pgbench_accounts.bid, +
|
||||
| count(*) AS count, +
|
||||
| sum(pgbench_accounts.abalance) AS sum,+
|
||||
| avg(pgbench_accounts.abalance) AS avg +
|
||||
| FROM (pgbench_accounts +
|
||||
| JOIN pgbench_branches USING (bid)) +
|
||||
| GROUP BY pgbench_accounts.bid
|
||||
immv | SELECT a.aid, +
|
||||
| b.bid, +
|
||||
| a.abalance, +
|
||||
| b.bbalance +
|
||||
| FROM (pgbench_accounts a +
|
||||
| JOIN pgbench_branches b USING (bid))
|
||||
(2 rows)
|
||||
```
|
||||
|
||||
### Dropping an IMMV
|
||||
|
||||
An IMMV can be dropped using the `DROP TABLE` command. Once an IMMV is dropped, its entry is automatically removed from the `pg_ivm_immv` catalog.
|
||||
|
||||
```sql
|
||||
test=# DROP TABLE immv
|
||||
DROP TABLE
|
||||
|
||||
test=# SELECT immvrelid AS immv, pgivm.get_immv_def(immvrelid) AS immv_def FROM pgivm.pg_ivm_immv;
|
||||
immv | immv_def
|
||||
----------+--------------------------------------------
|
||||
immv_agg | SELECT pgbench_accounts.bid, +
|
||||
| count(*) AS count, +
|
||||
| sum(pgbench_accounts.abalance) AS sum,+
|
||||
| avg(pgbench_accounts.abalance) AS avg +
|
||||
| FROM (pgbench_accounts +
|
||||
| JOIN pgbench_branches USING (bid)) +
|
||||
| GROUP BY pgbench_accounts.bid
|
||||
(1 row)
|
||||
```
|
||||
|
||||
### Renaming an IMMV
|
||||
|
||||
An IMMV can be renamed using the `ALTER TABLE` command.
|
||||
|
||||
```sql
|
||||
test=# ALTER TABLE immv_agg RENAME TO immv_agg2;
|
||||
ALTER TABLE
|
||||
|
||||
test=# SELECT immvrelid AS immv, pgivm.get_immv_def(immvrelid) AS immv_def FROM pgivm.pg_ivm_immv;
|
||||
immv | immv_def
|
||||
-----------+--------------------------------------------
|
||||
immv_agg2 | SELECT pgbench_accounts.bid, +
|
||||
| count(*) AS count, +
|
||||
| sum(pgbench_accounts.abalance) AS sum,+
|
||||
| avg(pgbench_accounts.abalance) AS avg +
|
||||
| FROM (pgbench_accounts +
|
||||
| JOIN pgbench_branches USING (bid)) +
|
||||
| GROUP BY pgbench_accounts.bid
|
||||
(1 row)
|
||||
```
|
||||
|
||||
## `pg_dump` and `pg_upgrade`
|
||||
|
||||
After restoring data from a `pg_dump` backup or upgrading `PostgreSQL` using `pg_upgrade`, all IMMVs must be manually dropped and recreated.
|
||||
|
||||
## Supported View Definitions and Restriction
|
||||
|
||||
Currently, IMMV's view definition can contain inner joins, DISTINCT clause, some built-in aggregate functions, simple sub-queries in `FROM` clause, EXISTS sub-queries, and simple CTE (`WITH` query). Inner joins including self-join are supported, but outer joins are not supported. Supported aggregate functions are count, sum, avg, min and max. Other aggregates, sub-queries which contain an aggregate or `DISTINCT` clause, sub-queries in other than `FROM` clause, window functions, `HAVING`, `ORDER BY`, `LIMIT`/`OFFSET`, `UNION`/`INTERSECT`/`EXCEPT`, `DISTINCT ON`, `TABLESAMPLE`, `VALUES`, and `FOR UPDATE`/`SHARE` can not be used in view definition.
|
||||
|
|
@ -259,11 +406,19 @@ When a base table is truncated, the IMMV is also truncated and the contents beco
|
|||
|
||||
### Concurrent Transactions
|
||||
|
||||
Suppose an IMMV is defined on two base tables and each table was modified in different a concurrent transaction simultaneously. In the transaction which was committed first, the IMMV can be updated considering only the change which happened in this transaction. On the other hand, in order to update the IMMV correctly in the transaction which was committed later, we need to know the changes occurred in both transactions. For this reason, `ExclusiveLock` is held on an IMMV immediately after a base table is modified in `READ COMMITTED` mode to make sure that the IMMV is updated in the latter transaction after the former transaction is committed. In `REPEATABLE READ` or `SERIALIZABLE` mode, an error is raised immediately if lock acquisition fails because any changes which occurred in other transactions are not visible in these modes and IMMV cannot be updated correctly in such situations. However, as an exception if the IMMV has only one base table and doesn't use DISTINCT or GROUP BY, and the table is modified by `INSERT`, then the lock held on the IMMV is `RowExclusiveLock`.
|
||||
Incremental updates of a view are basically performed in sequentially even with concurrent transactions running.
|
||||
|
||||
Suppose an IMMV is defined on two base tables and each table is modified in different concurrent transactions simultaneously. In the transaction which was committed first, the IMMV can be updated considering only the change made in that transaction. However, to update the IMMV correctly in the transaction that commits later, we need to account for the changes made in both transactions.
|
||||
|
||||
For this reason, `ExclusiveLock` is held on an IMMV immediately after a base table is modified in `READ COMMITTED` isolation level. This ensures that the IMMV is updated in the latter transaction only after the former transaction has committed. In `REPEATABLE READ` or `SERIALIZABLE` isolation level, an error is raised immediately if lock acquisition fails, as changes made by other transactions are not visible in these levels, and the IMMV cannot be updated correctly in such situations.
|
||||
|
||||
However, as an exception if the IMMV has only one base table, does not use DISTINCT or GROUP BY, and is modified by `INSERT`, then the lock held on the IMMV is `RowExclusiveLock`.
|
||||
|
||||
Even if we are able to acquire a lock, a concurrent transaction may have already incrementally updated and committed the view before we can acquire the lock. In `REPEATABLE READ` or `SERIALIZABLE` isolation level, this could lead to an inconsistent state of the view. Therefore, an error is raised to prevent anomalies when this situation is detected.
|
||||
|
||||
### Row Level Security
|
||||
|
||||
If some base tables have row level security policy, rows that are not visible to the materialized view's owner are excluded from the result. In addition, such rows are excluded as well when views are incrementally maintained. However, if a new policy is defined or policies are changed after the materialized view was created, the new policy will not be applied to the view contents. To apply the new policy, you need to recreate IMMV.
|
||||
If some base tables have row level security policy, rows that are not visible to the materialized view's owner are excluded from the result. In addition, such rows are excluded as well when views are incrementally maintained. However, if a new policy is defined or policies are changed after the materialized view was created, the new policy will not be applied to the view contents. To apply the new policy, you need to refresh or recreate the IMMV.
|
||||
|
||||
### How to Disable or Enable Immediate Maintenance
|
||||
|
||||
|
|
|
|||
45
createas.c
45
createas.c
|
|
@ -101,7 +101,11 @@ create_immv_internal(List *attrList, IntoClause *into)
|
|||
CreateStmt *create = makeNode(CreateStmt);
|
||||
char relkind;
|
||||
Datum toast_options;
|
||||
#if defined(PG_VERSION_NUM) && (PG_VERSION_NUM >= 180000)
|
||||
const char *const validnsps[] = HEAP_RELOPT_NAMESPACES;
|
||||
#else
|
||||
static char *validnsps[] = HEAP_RELOPT_NAMESPACES;
|
||||
#endif
|
||||
ObjectAddress intoRelationAddr;
|
||||
|
||||
/* This code supports both CREATE TABLE AS and CREATE MATERIALIZED VIEW */
|
||||
|
|
@ -148,7 +152,12 @@ create_immv_internal(List *attrList, IntoClause *into)
|
|||
NewRelationCreateToastTable(intoRelationAddr.objectId, toast_options);
|
||||
|
||||
/* Create the "view" part of an IMMV. */
|
||||
#if defined(PG_VERSION_NUM) && (PG_VERSION_NUM >= 180000)
|
||||
StoreImmvQuery(intoRelationAddr.objectId, into->viewQuery);
|
||||
#else
|
||||
StoreImmvQuery(intoRelationAddr.objectId, (Query *) into->viewQuery);
|
||||
#endif
|
||||
|
||||
CommandCounterIncrement();
|
||||
|
||||
return intoRelationAddr;
|
||||
|
|
@ -285,7 +294,7 @@ ExecCreateImmv(ParseState *pstate, CreateTableAsStmt *stmt,
|
|||
{
|
||||
Relation matviewRel;
|
||||
|
||||
RefreshImmvByOid(address.objectId, false, pstate->p_sourcetext, qc);
|
||||
RefreshImmvByOid(address.objectId, true, false, pstate->p_sourcetext, qc);
|
||||
|
||||
if (qc)
|
||||
qc->commandTag = CMDTAG_SELECT;
|
||||
|
|
@ -295,10 +304,17 @@ ExecCreateImmv(ParseState *pstate, CreateTableAsStmt *stmt,
|
|||
/* Create an index on incremental maintainable materialized view, if possible */
|
||||
CreateIndexOnIMMV(query, matviewRel);
|
||||
|
||||
/* Create triggers to prevent IMMV from beeing changed */
|
||||
/* Create triggers to prevent IMMV from being changed */
|
||||
CreateChangePreventTrigger(address.objectId);
|
||||
|
||||
table_close(matviewRel, NoLock);
|
||||
|
||||
if (IsolationUsesXactSnapshot())
|
||||
ereport(WARNING,
|
||||
(errmsg("inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ"),
|
||||
errdetail("The view may not include effects of a concurrent transaction."),
|
||||
errhint("create_immv should be used in isolation level READ COMMITTED, "
|
||||
"or execute refresh_immv to make sure the view is consistent.")));
|
||||
}
|
||||
|
||||
return address;
|
||||
|
|
@ -325,7 +341,7 @@ rewriteQueryForIMMV(Query *query, List *colNames)
|
|||
FuncCall *fn;
|
||||
|
||||
/*
|
||||
* Check the length of colunm name list not to override names of
|
||||
* Check the length of column name list not to override names of
|
||||
* additional columns
|
||||
*/
|
||||
if (list_length(colNames) > list_length(query->targetList))
|
||||
|
|
@ -994,7 +1010,7 @@ check_ivm_restriction_walker(Node *node, check_ivm_restriction_context *context)
|
|||
errmsg("WITH query name %s is not supported on incrementally maintainable materialized view", cte->ctename)));
|
||||
|
||||
/*
|
||||
* When a table in a unreferenced CTE is TRUNCATEd, the contents of the
|
||||
* When a table in an unreferenced CTE is TRUNCATEd, the contents of the
|
||||
* IMMV is not affected so it must not be truncated. For confirming it
|
||||
* at the maintenance time, we have to check if the modified table used
|
||||
* in a CTE is actually referenced. Although it would be possible, we
|
||||
|
|
@ -1036,7 +1052,7 @@ check_ivm_restriction_walker(Node *node, check_ivm_restriction_context *context)
|
|||
check_ivm_restriction_walker((Node *) from->fromlist, context);
|
||||
|
||||
/*
|
||||
* EXIEST is allowed directly under FROM clause
|
||||
* EXIST is allowed directly under FROM clause
|
||||
*/
|
||||
context->allow_exists = true;
|
||||
check_ivm_restriction_walker(from->quals, context);
|
||||
|
|
@ -1108,7 +1124,7 @@ check_ivm_restriction_walker(Node *node, check_ivm_restriction_context *context)
|
|||
Node *opnode = (Node *) lfirst(lc);
|
||||
|
||||
/*
|
||||
* EXIEST is allowed under AND expression only if it is
|
||||
* EXIST is allowed under AND expression only if it is
|
||||
* directly under WHERE.
|
||||
*/
|
||||
if (allow_exists)
|
||||
|
|
@ -1347,8 +1363,8 @@ check_aggregate_supports_ivm(Oid aggfnoid)
|
|||
* Create a unique index on incremental maintainable materialized view.
|
||||
* If the view definition query has a GROUP BY clause, the index is created
|
||||
* on the columns of GROUP BY expressions. Otherwise, if the view contains
|
||||
* all primary key attritubes of its base tables in the target list, the index
|
||||
* is created on these attritubes. In other cases, no index is created.
|
||||
* all primary key attributes of its base tables in the target list, the index
|
||||
* is created on these attributes. In other cases, no index is created.
|
||||
*/
|
||||
void
|
||||
CreateIndexOnIMMV(Query *query, Relation matviewRel)
|
||||
|
|
@ -1507,10 +1523,18 @@ CreateIndexOnIMMV(Query *query, Relation matviewRel)
|
|||
|
||||
indexRel = index_open(indexoid, AccessShareLock);
|
||||
|
||||
#if defined(PG_VERSION_NUM) && (PG_VERSION_NUM >= 180000)
|
||||
if (CheckIndexCompatible(indexRel->rd_id,
|
||||
index->accessMethod,
|
||||
index->indexParams,
|
||||
index->excludeOpNames,
|
||||
false))
|
||||
#else
|
||||
if (CheckIndexCompatible(indexRel->rd_id,
|
||||
index->accessMethod,
|
||||
index->indexParams,
|
||||
index->excludeOpNames))
|
||||
#endif
|
||||
hasCompatibleIndex = true;
|
||||
|
||||
index_close(indexRel, AccessShareLock);
|
||||
|
|
@ -1534,7 +1558,7 @@ CreateIndexOnIMMV(Query *query, Relation matviewRel)
|
|||
idxname, RelationGetRelationName(matviewRel))));
|
||||
|
||||
/*
|
||||
* Make dependencies so that the index is dropped if any base tables's
|
||||
* Make dependencies so that the index is dropped if any base tables'
|
||||
* primary key is dropped.
|
||||
*/
|
||||
foreach(lc, constraintList)
|
||||
|
|
@ -1697,7 +1721,7 @@ get_primary_key_attnos_from_query(Query *query, List **constraintList)
|
|||
}
|
||||
|
||||
/*
|
||||
* Store the query for the IMMV to pg_ivwm_immv
|
||||
* Store the query for the IMMV to pg_ivm_immv
|
||||
*/
|
||||
static void
|
||||
StoreImmvQuery(Oid viewOid, Query *viewQuery)
|
||||
|
|
@ -1716,6 +1740,7 @@ StoreImmvQuery(Oid viewOid, Query *viewQuery)
|
|||
values[Anum_pg_ivm_immv_immvrelid -1 ] = ObjectIdGetDatum(viewOid);
|
||||
values[Anum_pg_ivm_immv_ispopulated -1 ] = BoolGetDatum(false);
|
||||
values[Anum_pg_ivm_immv_viewdef -1 ] = CStringGetTextDatum(querytree);
|
||||
isNulls[Anum_pg_ivm_immv_lastivmupdate -1 ] = true;
|
||||
|
||||
pgIvmImmv = table_open(PgIvmImmvRelationId(), RowExclusiveLock);
|
||||
|
||||
|
|
|
|||
325
expected/create_insert.out
Normal file
325
expected/create_insert.out
Normal file
|
|
@ -0,0 +1,325 @@
|
|||
Parsed test spec with 2 sessions
|
||||
|
||||
starting permutation: s1 create s2 insert c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2); <waiting ...>
|
||||
step c1: COMMIT;
|
||||
step insert: <... completed>
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 create s2 c1 insert check2 c2 mv
|
||||
step s1: SELECT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step s2: SELECT;
|
||||
step c1: COMMIT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 create insert c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step insert: INSERT INTO a VALUES (2); <waiting ...>
|
||||
step c1: COMMIT;
|
||||
step insert: <... completed>
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert create c2 check1 c1 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
<waiting ...>
|
||||
step c2: COMMIT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
step create: <... completed>
|
||||
create_immv
|
||||
-----------
|
||||
2
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 create c1 insert check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert s1 create c2 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step s1: SELECT;
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
<waiting ...>
|
||||
step c2: COMMIT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
step create: <... completed>
|
||||
create_immv
|
||||
-----------
|
||||
2
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert s1 c2 create check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step s1: SELECT;
|
||||
step c2: COMMIT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
2
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 s1 insert c2 create check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step s1: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step c2: COMMIT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
2
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
345
expected/create_insert2.out
Normal file
345
expected/create_insert2.out
Normal file
|
|
@ -0,0 +1,345 @@
|
|||
Parsed test spec with 2 sessions
|
||||
|
||||
starting permutation: s1 create s2 insert c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2); <waiting ...>
|
||||
step c1: COMMIT;
|
||||
step insert: <... completed>
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 create s2 c1 insert check2 c2 mv
|
||||
step s1: SELECT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step s2: SELECT;
|
||||
step c1: COMMIT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 create insert c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step insert: INSERT INTO a VALUES (2); <waiting ...>
|
||||
step c1: COMMIT;
|
||||
step insert: <... completed>
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert create c2 check1 c1 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
<waiting ...>
|
||||
step c2: COMMIT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create: <... completed>
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ng
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 create c1 insert check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert s1 create c2 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step s1: SELECT;
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
<waiting ...>
|
||||
step c2: COMMIT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create: <... completed>
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ng
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert s1 c2 create check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step s1: SELECT;
|
||||
step c2: COMMIT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ng
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 s1 insert c2 create check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step s1: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step c2: COMMIT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ng
|
||||
(1 row)
|
||||
|
||||
329
expected/create_insert3.out
Normal file
329
expected/create_insert3.out
Normal file
|
|
@ -0,0 +1,329 @@
|
|||
Parsed test spec with 2 sessions
|
||||
|
||||
starting permutation: s1 create s2 insert c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2); <waiting ...>
|
||||
step c1: COMMIT;
|
||||
step insert: <... completed>
|
||||
ERROR: could not serialize access due to read/write dependencies among transactions
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 create s2 c1 insert check2 c2 mv
|
||||
step s1: SELECT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step s2: SELECT;
|
||||
step c1: COMMIT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
ERROR: could not serialize access due to read/write dependencies among transactions
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 create insert c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step insert: INSERT INTO a VALUES (2); <waiting ...>
|
||||
step c1: COMMIT;
|
||||
step insert: <... completed>
|
||||
ERROR: could not serialize access due to read/write dependencies among transactions
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert create c2 check1 c1 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
<waiting ...>
|
||||
step c2: COMMIT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create: <... completed>
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ng
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 create c1 insert check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
ERROR: could not serialize access due to read/write dependencies among transactions
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert s1 create c2 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step s1: SELECT;
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
<waiting ...>
|
||||
step c2: COMMIT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create: <... completed>
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ng
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert s1 c2 create check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step s1: SELECT;
|
||||
step c2: COMMIT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ng
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 s1 insert c2 create check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step s1: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step c2: COMMIT;
|
||||
tx1: NOTICE: could not create an index on immv "mv" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
HINT: Create an index on the immv for efficient incremental maintenance.
|
||||
tx1: WARNING: inconsistent view can be created in isolation level SERIALIZABLE or REPEATABLE READ
|
||||
DETAIL: The view may not include effects of a concurrent transaction.
|
||||
HINT: create_immv should be used in isolation level READ COMMITTED, or execute refresh_immv to make sure the view is consistent.
|
||||
step create:
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
|
||||
create_immv
|
||||
-----------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ng
|
||||
(1 row)
|
||||
|
||||
497
expected/insert_insert.out
Normal file
497
expected/insert_insert.out
Normal file
|
|
@ -0,0 +1,497 @@
|
|||
Parsed test spec with 2 sessions
|
||||
|
||||
starting permutation: s1 update1 s2 update2 c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step s2: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1; <waiting ...>
|
||||
step c1: COMMIT;
|
||||
step update2: <... completed>
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 update1 s2 c1 update2 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step s2: SELECT;
|
||||
step c1: COMMIT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 update1 update2 c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1; <waiting ...>
|
||||
step c1: COMMIT;
|
||||
step update2: <... completed>
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 update2 update1 c2 check1 c1 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1; <waiting ...>
|
||||
step c2: COMMIT;
|
||||
step update1: <... completed>
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 update1 c1 update2 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step c1: COMMIT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 update2 s1 update1 c2 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step s1: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1; <waiting ...>
|
||||
step c2: COMMIT;
|
||||
step update1: <... completed>
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 update2 s1 c2 update1 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step s1: SELECT;
|
||||
step c2: COMMIT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 s1 update2 c2 update1 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step s1: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step c2: COMMIT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 insert1 s2 insert2 c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step s2: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201); <waiting ...>
|
||||
step c1: COMMIT;
|
||||
step insert2: <... completed>
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
20|20|200
|
||||
20|20|201
|
||||
20|21|200
|
||||
20|21|201
|
||||
21|20|200
|
||||
21|20|201
|
||||
21|21|200
|
||||
21|21|201
|
||||
(12 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 insert1 s2 c1 insert2 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step s2: SELECT;
|
||||
step c1: COMMIT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
20|20|200
|
||||
20|20|201
|
||||
20|21|200
|
||||
20|21|201
|
||||
21|20|200
|
||||
21|20|201
|
||||
21|21|200
|
||||
21|21|201
|
||||
(12 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert1 insert2 c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201); <waiting ...>
|
||||
step c1: COMMIT;
|
||||
step insert2: <... completed>
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
20|20|200
|
||||
20|20|201
|
||||
20|21|200
|
||||
20|21|201
|
||||
21|20|200
|
||||
21|20|201
|
||||
21|21|200
|
||||
21|21|201
|
||||
(12 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert2 insert1 c2 check1 c1 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200); <waiting ...>
|
||||
step c2: COMMIT;
|
||||
step insert1: <... completed>
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
20|20|200
|
||||
20|20|201
|
||||
20|21|200
|
||||
20|21|201
|
||||
21|20|200
|
||||
21|20|201
|
||||
21|21|200
|
||||
21|21|201
|
||||
(12 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert1 c1 insert2 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step c1: COMMIT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
20|20|200
|
||||
20|20|201
|
||||
20|21|200
|
||||
20|21|201
|
||||
21|20|200
|
||||
21|20|201
|
||||
21|21|200
|
||||
21|21|201
|
||||
(12 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert2 s1 insert1 c2 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step s1: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200); <waiting ...>
|
||||
step c2: COMMIT;
|
||||
step insert1: <... completed>
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
20|20|200
|
||||
20|20|201
|
||||
20|21|200
|
||||
20|21|201
|
||||
21|20|200
|
||||
21|20|201
|
||||
21|21|200
|
||||
21|21|201
|
||||
(12 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert2 s1 c2 insert1 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step s1: SELECT;
|
||||
step c2: COMMIT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
20|20|200
|
||||
20|20|201
|
||||
20|21|200
|
||||
20|21|201
|
||||
21|20|200
|
||||
21|20|201
|
||||
21|21|200
|
||||
21|21|201
|
||||
(12 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 s1 insert2 c2 insert1 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step s1: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step c2: COMMIT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
20|20|200
|
||||
20|20|201
|
||||
20|21|200
|
||||
20|21|201
|
||||
21|20|200
|
||||
21|20|201
|
||||
21|21|200
|
||||
21|21|201
|
||||
(12 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
373
expected/insert_insert2.out
Normal file
373
expected/insert_insert2.out
Normal file
|
|
@ -0,0 +1,373 @@
|
|||
Parsed test spec with 2 sessions
|
||||
|
||||
starting permutation: s1 update1 s2 update2 c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step s2: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c1: COMMIT;
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|100
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 update1 s2 c1 update2 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step s2: SELECT;
|
||||
step c1: COMMIT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|100
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 update1 update2 c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c1: COMMIT;
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|100
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 update2 update1 c2 check1 c1 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c2: COMMIT;
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 update1 c1 update2 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step c1: COMMIT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|100
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 update2 s1 update1 c2 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step s1: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c2: COMMIT;
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 update2 s1 c2 update1 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step s1: SELECT;
|
||||
step c2: COMMIT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 s1 update2 c2 update1 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step s1: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step c2: COMMIT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 insert1 s2 insert2 c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step s2: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c1: COMMIT;
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
20|20|200
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 insert1 s2 c1 insert2 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step s2: SELECT;
|
||||
step c1: COMMIT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
20|20|200
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert1 insert2 c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c1: COMMIT;
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
20|20|200
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert2 insert1 c2 check1 c1 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c2: COMMIT;
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
21|21|201
|
||||
(5 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert1 c1 insert2 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step c1: COMMIT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
20|20|200
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert2 s1 insert1 c2 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step s1: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c2: COMMIT;
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
21|21|201
|
||||
(5 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert2 s1 c2 insert1 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step s1: SELECT;
|
||||
step c2: COMMIT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
21|21|201
|
||||
(5 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 s1 insert2 c2 insert1 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step s1: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step c2: COMMIT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
21|21|201
|
||||
(5 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
373
expected/insert_insert3.out
Normal file
373
expected/insert_insert3.out
Normal file
|
|
@ -0,0 +1,373 @@
|
|||
Parsed test spec with 2 sessions
|
||||
|
||||
starting permutation: s1 update1 s2 update2 c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step s2: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c1: COMMIT;
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|100
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 update1 s2 c1 update2 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step s2: SELECT;
|
||||
step c1: COMMIT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|100
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 update1 update2 c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c1: COMMIT;
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|100
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 update2 update1 c2 check1 c1 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c2: COMMIT;
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 update1 c1 update2 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
step c1: COMMIT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
11|11|100
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 update2 s1 update1 c2 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step s1: SELECT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c2: COMMIT;
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 update2 s1 c2 update1 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step s1: SELECT;
|
||||
step c2: COMMIT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 s1 update2 c2 update1 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step s1: SELECT;
|
||||
step update2: UPDATE b SET j = 111 WHERE i = 1;
|
||||
step c2: COMMIT;
|
||||
step update1: UPDATE a SET j = 11 WHERE i = 1;
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|111
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 insert1 s2 insert2 c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step s2: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c1: COMMIT;
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
20|20|200
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 insert1 s2 c1 insert2 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step s2: SELECT;
|
||||
step c1: COMMIT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
20|20|200
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert1 insert2 c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c1: COMMIT;
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
20|20|200
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert2 insert1 c2 check1 c1 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c2: COMMIT;
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
21|21|201
|
||||
(5 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert1 c1 insert2 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
step c1: COMMIT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
20|20|200
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert2 s1 insert1 c2 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step s1: SELECT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c2: COMMIT;
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
21|21|201
|
||||
(5 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert2 s1 c2 insert1 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step s1: SELECT;
|
||||
step c2: COMMIT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
21|21|201
|
||||
(5 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 s1 insert2 c2 insert1 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step s1: SELECT;
|
||||
step insert2: INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201);
|
||||
step c2: COMMIT;
|
||||
step insert1: INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200);
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv();
|
||||
x| y| z
|
||||
--+--+---
|
||||
10|10|100
|
||||
10|11|100
|
||||
11|10|100
|
||||
11|11|100
|
||||
21|21|201
|
||||
(5 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
|
@ -81,6 +81,21 @@ SELECT * FROM mv_ivm_1 ORDER BY 1,2,3;
|
|||
4 | 40 | 104
|
||||
(4 rows)
|
||||
|
||||
-- test for renaming column name to camel style
|
||||
BEGIN;
|
||||
ALTER TABLE mv_base_a RENAME i TO "I";
|
||||
ALTER TABLE mv_base_a RENAME j TO "J";
|
||||
UPDATE mv_base_a SET "J" = 0 WHERE "I" = 1;
|
||||
SELECT * FROM mv_ivm_1 ORDER BY 1,2,3;
|
||||
i | j | k
|
||||
---+----+-----
|
||||
1 | 0 | 101
|
||||
2 | 20 | 102
|
||||
3 | 30 | 103
|
||||
4 | 40 | 104
|
||||
(4 rows)
|
||||
|
||||
ROLLBACK;
|
||||
-- TRUNCATE a base table in join views
|
||||
BEGIN;
|
||||
TRUNCATE mv_base_a;
|
||||
|
|
@ -1380,6 +1395,8 @@ CREATE FUNCTION mytype_out(mytype)
|
|||
RETURNS cstring AS 'int4out'
|
||||
LANGUAGE INTERNAL STRICT IMMUTABLE;
|
||||
NOTICE: argument type mytype is only a shell
|
||||
LINE 1: CREATE FUNCTION mytype_out(mytype)
|
||||
^
|
||||
CREATE TYPE mytype (
|
||||
LIKE = int4,
|
||||
INPUT = mytype_in,
|
||||
|
|
@ -1516,17 +1533,17 @@ ERROR: VALUES is not supported on incrementally maintainable materialized view
|
|||
SELECT pgivm.create_immv('mv_ivm_only_values2', 'SELECT * FROM (values(1)) AS tmp');
|
||||
ERROR: VALUES is not supported on incrementally maintainable materialized view
|
||||
-- views containing base tables with Row Level Security
|
||||
DROP USER IF EXISTS ivm_admin;
|
||||
NOTICE: role "ivm_admin" does not exist, skipping
|
||||
DROP USER IF EXISTS ivm_user;
|
||||
NOTICE: role "ivm_user" does not exist, skipping
|
||||
CREATE USER ivm_admin;
|
||||
CREATE USER ivm_user;
|
||||
DROP USER IF EXISTS regress_ivm_admin;
|
||||
NOTICE: role "regress_ivm_admin" does not exist, skipping
|
||||
DROP USER IF EXISTS regress_ivm_user;
|
||||
NOTICE: role "regress_ivm_user" does not exist, skipping
|
||||
CREATE USER regress_ivm_admin;
|
||||
CREATE USER regress_ivm_user;
|
||||
--- create a table with RLS
|
||||
SET SESSION AUTHORIZATION ivm_admin;
|
||||
SET SESSION AUTHORIZATION regress_ivm_admin;
|
||||
CREATE TABLE rls_tbl(id int, data text, owner name);
|
||||
INSERT INTO rls_tbl VALUES
|
||||
(1,'foo','ivm_user'),
|
||||
(1,'foo','regress_ivm_user'),
|
||||
(2,'bar','postgres');
|
||||
CREATE TABLE num_tbl(id int, num text);
|
||||
INSERT INTO num_tbl VALUES
|
||||
|
|
@ -1541,8 +1558,8 @@ CREATE POLICY rls_tbl_policy ON rls_tbl FOR SELECT TO PUBLIC USING(owner = curre
|
|||
ALTER TABLE rls_tbl ENABLE ROW LEVEL SECURITY;
|
||||
GRANT ALL on rls_tbl TO PUBLIC;
|
||||
GRANT ALL on num_tbl TO PUBLIC;
|
||||
--- create a view owned by ivm_user
|
||||
SET SESSION AUTHORIZATION ivm_user;
|
||||
--- create a view owned by regress_ivm_user
|
||||
SET SESSION AUTHORIZATION regress_ivm_user;
|
||||
SELECT pgivm.create_immv('ivm_rls', 'SELECT * FROM rls_tbl');
|
||||
NOTICE: could not create an index on immv "ivm_rls" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
|
|
@ -1553,42 +1570,42 @@ HINT: Create an index on the immv for efficient incremental maintenance.
|
|||
(1 row)
|
||||
|
||||
SELECT id, data, owner FROM ivm_rls ORDER BY 1,2,3;
|
||||
id | data | owner
|
||||
----+------+----------
|
||||
1 | foo | ivm_user
|
||||
id | data | owner
|
||||
----+------+------------------
|
||||
1 | foo | regress_ivm_user
|
||||
(1 row)
|
||||
|
||||
RESET SESSION AUTHORIZATION;
|
||||
--- inserts rows owned by different users
|
||||
INSERT INTO rls_tbl VALUES
|
||||
(3,'baz','ivm_user'),
|
||||
(3,'baz','regress_ivm_user'),
|
||||
(4,'qux','postgres');
|
||||
SELECT id, data, owner FROM ivm_rls ORDER BY 1,2,3;
|
||||
id | data | owner
|
||||
----+------+----------
|
||||
1 | foo | ivm_user
|
||||
3 | baz | ivm_user
|
||||
id | data | owner
|
||||
----+------+------------------
|
||||
1 | foo | regress_ivm_user
|
||||
3 | baz | regress_ivm_user
|
||||
(2 rows)
|
||||
|
||||
--- combination of diffent kinds of commands
|
||||
WITH
|
||||
i AS (INSERT INTO rls_tbl VALUES(5,'quux','postgres'), (6,'corge','ivm_user')),
|
||||
i AS (INSERT INTO rls_tbl VALUES(5,'quux','postgres'), (6,'corge','regress_ivm_user')),
|
||||
u AS (UPDATE rls_tbl SET owner = 'postgres' WHERE id = 1),
|
||||
u2 AS (UPDATE rls_tbl SET owner = 'ivm_user' WHERE id = 2)
|
||||
u2 AS (UPDATE rls_tbl SET owner = 'regress_ivm_user' WHERE id = 2)
|
||||
SELECT;
|
||||
--
|
||||
(1 row)
|
||||
|
||||
SELECT id, data, owner FROM ivm_rls ORDER BY 1,2,3;
|
||||
id | data | owner
|
||||
----+-------+----------
|
||||
2 | bar | ivm_user
|
||||
3 | baz | ivm_user
|
||||
6 | corge | ivm_user
|
||||
id | data | owner
|
||||
----+-------+------------------
|
||||
2 | bar | regress_ivm_user
|
||||
3 | baz | regress_ivm_user
|
||||
6 | corge | regress_ivm_user
|
||||
(3 rows)
|
||||
|
||||
---
|
||||
SET SESSION AUTHORIZATION ivm_user;
|
||||
SET SESSION AUTHORIZATION regress_ivm_user;
|
||||
SELECT pgivm.create_immv('ivm_rls2', 'SELECT * FROM rls_tbl JOIN num_tbl USING(id)');
|
||||
NOTICE: could not create an index on immv "ivm_rls2" automatically
|
||||
DETAIL: This target list does not have all the primary key columns, or this view does not contain GROUP BY or DISTINCT clause.
|
||||
|
|
@ -1607,11 +1624,11 @@ SELECT;
|
|||
(1 row)
|
||||
|
||||
SELECT * FROM ivm_rls2 ORDER BY 1,2,3;
|
||||
id | data | owner | num
|
||||
----+-------+----------+---------
|
||||
2 | bar | ivm_user | two
|
||||
3 | baz_2 | ivm_user | three_2
|
||||
6 | corge | ivm_user | six
|
||||
id | data | owner | num
|
||||
----+-------+------------------+---------
|
||||
2 | bar | regress_ivm_user | two
|
||||
3 | baz_2 | regress_ivm_user | three_2
|
||||
6 | corge | regress_ivm_user | six
|
||||
(3 rows)
|
||||
|
||||
DROP TABLE rls_tbl CASCADE;
|
||||
|
|
@ -1619,8 +1636,8 @@ NOTICE: drop cascades to 2 other objects
|
|||
DETAIL: drop cascades to table ivm_rls
|
||||
drop cascades to table ivm_rls2
|
||||
DROP TABLE num_tbl CASCADE;
|
||||
DROP USER ivm_user;
|
||||
DROP USER ivm_admin;
|
||||
DROP USER regress_ivm_user;
|
||||
DROP USER regress_ivm_admin;
|
||||
-- automatic index creation
|
||||
BEGIN;
|
||||
CREATE TABLE base_a (i int primary key, j int);
|
||||
|
|
|
|||
1743
expected/pg_ivm_0.out
Normal file
1743
expected/pg_ivm_0.out
Normal file
File diff suppressed because it is too large
Load diff
253
expected/refresh_insert.out
Normal file
253
expected/refresh_insert.out
Normal file
|
|
@ -0,0 +1,253 @@
|
|||
Parsed test spec with 2 sessions
|
||||
|
||||
starting permutation: s1 refresh s2 insert c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2); <waiting ...>
|
||||
step c1: COMMIT;
|
||||
step insert: <... completed>
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 refresh s2 c1 insert check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step s2: SELECT;
|
||||
step c1: COMMIT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 refresh insert c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step insert: INSERT INTO a VALUES (2); <waiting ...>
|
||||
step c1: COMMIT;
|
||||
step insert: <... completed>
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert refresh c2 check1 c1 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true); <waiting ...>
|
||||
step c2: COMMIT;
|
||||
step refresh: <... completed>
|
||||
refresh_immv
|
||||
------------
|
||||
2
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 refresh c1 insert check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert s1 refresh c2 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step s1: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true); <waiting ...>
|
||||
step c2: COMMIT;
|
||||
step refresh: <... completed>
|
||||
refresh_immv
|
||||
------------
|
||||
2
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert s1 c2 refresh check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step s1: SELECT;
|
||||
step c2: COMMIT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
2
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 s1 insert c2 refresh check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step s1: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step c2: COMMIT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
2
|
||||
(1 row)
|
||||
|
||||
step check1: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
211
expected/refresh_insert2.out
Normal file
211
expected/refresh_insert2.out
Normal file
|
|
@ -0,0 +1,211 @@
|
|||
Parsed test spec with 2 sessions
|
||||
|
||||
starting permutation: s1 refresh s2 insert c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c1: COMMIT;
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 refresh s2 c1 insert check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step s2: SELECT;
|
||||
step c1: COMMIT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 refresh insert c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c1: COMMIT;
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert refresh c2 check1 c1 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true); <waiting ...>
|
||||
step c2: COMMIT;
|
||||
step refresh: <... completed>
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 refresh c1 insert check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert s1 refresh c2 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step s1: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true); <waiting ...>
|
||||
step c2: COMMIT;
|
||||
step refresh: <... completed>
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert s1 c2 refresh check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step s1: SELECT;
|
||||
step c2: COMMIT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 s1 insert c2 refresh check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step s1: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step c2: COMMIT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
211
expected/refresh_insert3.out
Normal file
211
expected/refresh_insert3.out
Normal file
|
|
@ -0,0 +1,211 @@
|
|||
Parsed test spec with 2 sessions
|
||||
|
||||
starting permutation: s1 refresh s2 insert c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c1: COMMIT;
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 refresh s2 c1 insert check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step s2: SELECT;
|
||||
step c1: COMMIT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 refresh insert c1 check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
ERROR: could not obtain lock on materialized view "mv" during incremental maintenance
|
||||
step c1: COMMIT;
|
||||
step check2: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
(1 row)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 insert refresh c2 check1 c1 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true); <waiting ...>
|
||||
step c2: COMMIT;
|
||||
step refresh: <... completed>
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s1 s2 refresh c1 insert check2 c2 mv
|
||||
step s1: SELECT;
|
||||
step s2: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
refresh_immv
|
||||
------------
|
||||
1
|
||||
(1 row)
|
||||
|
||||
step c1: COMMIT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step check2: SELECT check_mv();
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
step c2: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert s1 refresh c2 check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step s1: SELECT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true); <waiting ...>
|
||||
step c2: COMMIT;
|
||||
step refresh: <... completed>
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 insert s1 c2 refresh check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step s1: SELECT;
|
||||
step c2: COMMIT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
|
||||
starting permutation: s2 s1 insert c2 refresh check1 c1 mv
|
||||
step s2: SELECT;
|
||||
step s1: SELECT;
|
||||
step insert: INSERT INTO a VALUES (2);
|
||||
step c2: COMMIT;
|
||||
step refresh: SELECT pgivm.refresh_immv('mv', true);
|
||||
ERROR: the materialized view is incrementally updated in concurrent transaction
|
||||
step check1: SELECT check_mv();
|
||||
ERROR: current transaction is aborted, commands ignored until end of transaction block
|
||||
step c1: COMMIT;
|
||||
step mv: SELECT * FROM mv ORDER BY 1,2; SELECT check_mv();
|
||||
x|y
|
||||
-+-
|
||||
1|1
|
||||
2|2
|
||||
(2 rows)
|
||||
|
||||
check_mv
|
||||
--------
|
||||
ok
|
||||
(1 row)
|
||||
|
||||
338
matview.c
338
matview.c
|
|
@ -50,6 +50,7 @@
|
|||
#include "utils/rel.h"
|
||||
#include "utils/snapmgr.h"
|
||||
#include "utils/typcache.h"
|
||||
#include "utils/xid8.h"
|
||||
|
||||
#include "pg_ivm.h"
|
||||
|
||||
|
|
@ -107,6 +108,15 @@ typedef struct MV_TriggerHashEntry
|
|||
List *tables; /* List of MV_TriggerTable */
|
||||
bool has_old; /* tuples are deleted from any table? */
|
||||
bool has_new; /* tuples are inserted into any table? */
|
||||
|
||||
/*
|
||||
* List of sub-transaction IDs that incrementally updated the view.
|
||||
* This list is maintained through a transaction, and an ID is removed
|
||||
* when a sub-transaction is aborted. If any ID is left when the
|
||||
* transaction is committed, this means the view is incrementally
|
||||
* updated in this transaction.
|
||||
*/
|
||||
List *subxids;
|
||||
} MV_TriggerHashEntry;
|
||||
|
||||
/*
|
||||
|
|
@ -218,7 +228,11 @@ static void mv_InitHashTables(void);
|
|||
static SPIPlanPtr mv_FetchPreparedPlan(MV_QueryKey *key);
|
||||
static void mv_HashPreparedPlan(MV_QueryKey *key, SPIPlanPtr plan);
|
||||
static void mv_BuildQueryKey(MV_QueryKey *key, Oid matview_id, int32 query_type);
|
||||
static void clean_up_IVM_hash_entry(MV_TriggerHashEntry *entry, bool is_abort);
|
||||
static void clean_up_IVM_hash_entry(MV_TriggerHashEntry *entry, bool is_abort,
|
||||
SubTransactionId subxid);
|
||||
static void setLastUpdateXid(Oid immv_oid, FullTransactionId xid);
|
||||
static FullTransactionId getLastUpdateXid(Oid immv_oid);
|
||||
|
||||
|
||||
/* SQL callable functions */
|
||||
PG_FUNCTION_INFO_V1(IVM_immediate_before);
|
||||
|
|
@ -257,16 +271,18 @@ ExecRefreshImmv(const RangeVar *relation, bool skipData,
|
|||
NULL);
|
||||
#endif
|
||||
|
||||
return RefreshImmvByOid(matviewOid, skipData, queryString, qc);
|
||||
return RefreshImmvByOid(matviewOid, false, skipData, queryString, qc);
|
||||
}
|
||||
|
||||
/*
|
||||
* RefreshMatViewByOid -- refresh IMMV view by OID
|
||||
*
|
||||
* This is also used to populate the IMMV created by create_immv command.
|
||||
*
|
||||
* This imitates PostgreSQL's RefreshMatViewByOid().
|
||||
*/
|
||||
ObjectAddress
|
||||
RefreshImmvByOid(Oid matviewOid, bool skipData,
|
||||
RefreshImmvByOid(Oid matviewOid, bool is_create, bool skipData,
|
||||
const char *queryString, QueryCompletion *qc)
|
||||
{
|
||||
Relation matviewRel;
|
||||
|
|
@ -446,6 +462,19 @@ RefreshImmvByOid(Oid matviewOid, bool skipData,
|
|||
free_object_addresses(immv_triggers);
|
||||
}
|
||||
|
||||
/*
|
||||
* Create triggers on incremental maintainable materialized view
|
||||
* This argument should use 'dataQuery'. This needs to use a rewritten query,
|
||||
* because a sublink in jointree is not supported by this function.
|
||||
*
|
||||
* This is performed before generating data because we have to wait
|
||||
* concurrent transactions modifying a base table and then take a snapshot
|
||||
* to see changes by these transactions to make sure a consistent view
|
||||
* is created.
|
||||
*/
|
||||
if (!skipData && !oldPopulated)
|
||||
CreateIvmTriggersOnBaseTables(dataQuery, matviewOid);
|
||||
|
||||
/*
|
||||
* Create the transient table that will receive the regenerated data. Lock
|
||||
* it against access by any other process until commit (by which time it
|
||||
|
|
@ -461,10 +490,41 @@ RefreshImmvByOid(Oid matviewOid, bool skipData,
|
|||
LockRelationOid(OIDNewHeap, AccessExclusiveLock);
|
||||
dest = CreateTransientRelDestReceiver(OIDNewHeap);
|
||||
|
||||
/*
|
||||
* In READ COMMITTED, get and push the latest snapshot again to see the
|
||||
* results of concurrent transactions committed after the current
|
||||
* transaction started.
|
||||
*/
|
||||
if (!IsolationUsesXactSnapshot())
|
||||
PushActiveSnapshot(GetTransactionSnapshot());
|
||||
|
||||
/*
|
||||
* If a concurrent transaction updated the view incrementally and was
|
||||
* committed before we acquired the lock, the results of refresh_immv could
|
||||
* be inconsistent. Therefore, we have to check the transaction ID of the
|
||||
* most recent update of the view, and if this was in progress at the
|
||||
* transaction start, raise an error to prevent anomalies.
|
||||
*/
|
||||
if (!is_create)
|
||||
{
|
||||
FullTransactionId xid;
|
||||
|
||||
xid = getLastUpdateXid(matviewOid);
|
||||
if (XidInMVCCSnapshot(XidFromFullTransactionId(xid), GetActiveSnapshot()))
|
||||
ereport(ERROR,
|
||||
(errcode(ERRCODE_T_R_SERIALIZATION_FAILURE),
|
||||
errmsg("the materialized view is incrementally updated in concurrent transaction"),
|
||||
errhint("The transaction might succeed if retried.")));
|
||||
}
|
||||
|
||||
/* Generate the data, if wanted. */
|
||||
if (!skipData)
|
||||
processed = refresh_immv_datafill(dest, dataQuery, NULL, NULL, queryString);
|
||||
|
||||
/* Pop the original snapshot. */
|
||||
if (!IsolationUsesXactSnapshot())
|
||||
PopActiveSnapshot();
|
||||
|
||||
/* Make the matview match the newly generated data. */
|
||||
refresh_by_heap_swap(matviewOid, OIDNewHeap, relpersistence);
|
||||
|
||||
|
|
@ -478,14 +538,6 @@ RefreshImmvByOid(Oid matviewOid, bool skipData,
|
|||
if (!skipData)
|
||||
pgstat_count_heap_insert(matviewRel, processed);
|
||||
|
||||
/*
|
||||
* Create triggers on incremental maintainable materialized view
|
||||
* This argument should use 'dataQuery'. This needs to use a rewritten query,
|
||||
* because a sublink in jointree is not supported by this function.
|
||||
*/
|
||||
if (!skipData && !oldPopulated)
|
||||
CreateIvmTriggersOnBaseTables(dataQuery, matviewOid);
|
||||
|
||||
table_close(matviewRel, NoLock);
|
||||
|
||||
/* Roll back any GUC changes */
|
||||
|
|
@ -565,7 +617,11 @@ refresh_immv_datafill(DestReceiver *dest, Query *query,
|
|||
ExecutorStart(queryDesc, 0);
|
||||
|
||||
/* run the plan */
|
||||
#if PG_VERSION_NUM < 180000
|
||||
ExecutorRun(queryDesc, ForwardScanDirection, 0, true);
|
||||
#else
|
||||
ExecutorRun(queryDesc, ForwardScanDirection, 0);
|
||||
#endif
|
||||
|
||||
processed = queryDesc->estate->es_processed;
|
||||
|
||||
|
|
@ -707,6 +763,8 @@ IVM_immediate_before(PG_FUNCTION_ARGS)
|
|||
/* If the view has more than one tables, we have to use an exclusive lock. */
|
||||
if (ex_lock)
|
||||
{
|
||||
FullTransactionId xid;
|
||||
|
||||
/*
|
||||
* Wait for concurrent transactions which update this materialized view at
|
||||
* READ COMMITED. This is needed to see changes committed in other
|
||||
|
|
@ -731,6 +789,21 @@ IVM_immediate_before(PG_FUNCTION_ARGS)
|
|||
errmsg("could not obtain lock on materialized view \"%s\" during incremental maintenance",
|
||||
relname)));
|
||||
}
|
||||
|
||||
/*
|
||||
* Even if we can acquire an lock, a concurrent transaction could have
|
||||
* updated the view incrementally and been committed before we acquired
|
||||
* the lock. Therefore, we have to check the transaction ID of the most
|
||||
* recent update of the view, and if this was in progress at the
|
||||
* transaction start, raise an error to prevent anomalies.
|
||||
*/
|
||||
xid = getLastUpdateXid(matviewOid);
|
||||
if (XidInMVCCSnapshot(XidFromFullTransactionId(xid), GetTransactionSnapshot()))
|
||||
ereport(ERROR,
|
||||
(errcode(ERRCODE_T_R_SERIALIZATION_FAILURE),
|
||||
errmsg("the materialized view is incrementally updated in concurrent transaction"),
|
||||
errhint("The transaction might succeed if retried.")));
|
||||
|
||||
}
|
||||
else
|
||||
LockRelationOid(matviewOid, RowExclusiveLock);
|
||||
|
|
@ -746,13 +819,22 @@ IVM_immediate_before(PG_FUNCTION_ARGS)
|
|||
HASH_ENTER, &found);
|
||||
|
||||
/* On the first BEFORE to update the view, initialize trigger data */
|
||||
if (!found)
|
||||
if (!found || entry->snapshot == InvalidSnapshot)
|
||||
{
|
||||
Snapshot snapshot;
|
||||
|
||||
/*
|
||||
* Get a snapshot just before the table was modified for checking
|
||||
* tuple visibility in the pre-update state of the table.
|
||||
*
|
||||
* In READ COMMITTED, use the latest snapshot again to see the
|
||||
* results of concurrent transactions committed after the current
|
||||
* transaction started.
|
||||
*/
|
||||
Snapshot snapshot = GetActiveSnapshot();
|
||||
if (IsolationUsesXactSnapshot())
|
||||
snapshot = GetActiveSnapshot();
|
||||
else
|
||||
snapshot = GetTransactionSnapshot();
|
||||
|
||||
entry->matview_id = matviewOid;
|
||||
entry->before_trig_count = 0;
|
||||
|
|
@ -761,11 +843,17 @@ IVM_immediate_before(PG_FUNCTION_ARGS)
|
|||
entry->tables = NIL;
|
||||
entry->has_old = false;
|
||||
entry->has_new = false;
|
||||
|
||||
/*
|
||||
* If this is the first table modifying query in the transaction,
|
||||
* initialize the list of subxids.
|
||||
*/
|
||||
if (!found)
|
||||
entry->subxids = NIL;
|
||||
}
|
||||
|
||||
entry->before_trig_count++;
|
||||
|
||||
|
||||
return PointerGetDatum(NULL);
|
||||
}
|
||||
|
||||
|
|
@ -788,6 +876,7 @@ IVM_immediate_maintenance(PG_FUNCTION_ARGS)
|
|||
char *matviewOid_text = trigdata->tg_trigger->tgargs[0];
|
||||
Relation matviewRel;
|
||||
int old_depth = immv_maintenance_depth;
|
||||
SubTransactionId subxid;
|
||||
|
||||
Oid relowner;
|
||||
Tuplestorestate *old_tuplestore = NULL;
|
||||
|
|
@ -886,7 +975,23 @@ IVM_immediate_maintenance(PG_FUNCTION_ARGS)
|
|||
*/
|
||||
|
||||
/*
|
||||
* Advance command counter to make the updated base table row locally
|
||||
* record the subxid that updated the view incrementally
|
||||
*
|
||||
* Note:
|
||||
* PG16 or later has list_member_xid and lappend_xid. It would be better
|
||||
* to use them, but we use integer for supporting older PGs since there
|
||||
* is no problem or now.
|
||||
*/
|
||||
subxid = GetCurrentSubTransactionId();
|
||||
if (!list_member_int(entry->subxids, subxid))
|
||||
{
|
||||
oldcxt = MemoryContextSwitchTo(TopTransactionContext);
|
||||
entry->subxids = lappend_int(entry->subxids, subxid);
|
||||
MemoryContextSwitchTo(oldcxt);
|
||||
}
|
||||
|
||||
/*
|
||||
* Advance command counter to make the updated base table rows locally
|
||||
* visible.
|
||||
*/
|
||||
CommandCounterIncrement();
|
||||
|
|
@ -897,10 +1002,12 @@ IVM_immediate_maintenance(PG_FUNCTION_ARGS)
|
|||
Assert(matviewRel->rd_rel->relkind == RELKIND_RELATION);
|
||||
|
||||
/*
|
||||
* Get and push the latast snapshot to see any changes which is committed
|
||||
* during waiting in other transactions at READ COMMITTED level.
|
||||
* In READ COMMITTED, get and push the latest snapshot again to see the
|
||||
* results of concurrent transactions committed after the current
|
||||
* transaction started.
|
||||
*/
|
||||
PushActiveSnapshot(GetTransactionSnapshot());
|
||||
if (!IsolationUsesXactSnapshot())
|
||||
PushActiveSnapshot(GetTransactionSnapshot());
|
||||
|
||||
/*
|
||||
* Check for active uses of the relation in the current transaction, such
|
||||
|
|
@ -985,10 +1092,11 @@ IVM_immediate_maintenance(PG_FUNCTION_ARGS)
|
|||
}
|
||||
|
||||
/* Clean up hash entry and delete tuplestores */
|
||||
clean_up_IVM_hash_entry(entry, false);
|
||||
clean_up_IVM_hash_entry(entry, false, InvalidSubTransactionId);
|
||||
|
||||
/* Pop the original snapshot. */
|
||||
PopActiveSnapshot();
|
||||
if (!IsolationUsesXactSnapshot())
|
||||
PopActiveSnapshot();
|
||||
|
||||
table_close(matviewRel, NoLock);
|
||||
|
||||
|
|
@ -1148,7 +1256,7 @@ IVM_immediate_maintenance(PG_FUNCTION_ARGS)
|
|||
}
|
||||
|
||||
/* Clean up hash entry and delete tuplestores */
|
||||
clean_up_IVM_hash_entry(entry, false);
|
||||
clean_up_IVM_hash_entry(entry, false, InvalidSubTransactionId);
|
||||
if (old_tuplestore)
|
||||
{
|
||||
dest_old->rDestroy(dest_old);
|
||||
|
|
@ -1161,7 +1269,8 @@ IVM_immediate_maintenance(PG_FUNCTION_ARGS)
|
|||
}
|
||||
|
||||
/* Pop the original snapshot. */
|
||||
PopActiveSnapshot();
|
||||
if (!IsolationUsesXactSnapshot())
|
||||
PopActiveSnapshot();
|
||||
|
||||
table_close(matviewRel, NoLock);
|
||||
|
||||
|
|
@ -1507,7 +1616,7 @@ make_subquery_targetlist_from_table(MV_TriggerTable *table)
|
|||
if (attr->attisdropped)
|
||||
appendStringInfo(&str, "null");
|
||||
else
|
||||
appendStringInfo(&str, "%s", NameStr(attr->attname));
|
||||
appendStringInfo(&str, "%s", quote_identifier(NameStr(attr->attname)));
|
||||
}
|
||||
|
||||
return str.data;
|
||||
|
|
@ -1839,7 +1948,7 @@ calc_delta(MV_TriggerTable *table, List *rte_path, Query *query,
|
|||
in_delta_calculation = true;
|
||||
|
||||
/* Generate old delta */
|
||||
if (list_length(table->old_rtes) > 0)
|
||||
if (dest_old && list_length(table->old_rtes) > 0)
|
||||
{
|
||||
/* Replace the modified table with the old delta table and calculate the old view delta. */
|
||||
lfirst(lc) = union_ENRs(rte, table, table->old_rtes, "old", queryEnv);
|
||||
|
|
@ -1847,7 +1956,7 @@ calc_delta(MV_TriggerTable *table, List *rte_path, Query *query,
|
|||
}
|
||||
|
||||
/* Generate new delta */
|
||||
if (list_length(table->new_rtes) > 0)
|
||||
if (dest_new && list_length(table->new_rtes) > 0)
|
||||
{
|
||||
/* Replace the modified table with the new delta table and calculate the new view delta*/
|
||||
lfirst(lc) = union_ENRs(rte, table, table->new_rtes, "new", queryEnv);
|
||||
|
|
@ -2652,6 +2761,7 @@ apply_new_delta_with_count(const char *matviewname, const char* deltaname_new,
|
|||
matviewname, target_list->data,
|
||||
target_list->data, deltaname_new_for_insert.data,
|
||||
match_cond);
|
||||
|
||||
if (SPI_exec(querybuf.data, 0) != SPI_OK_INSERT)
|
||||
elog(ERROR, "SPI_exec failed: %s", querybuf.data);
|
||||
}
|
||||
|
|
@ -3218,10 +3328,11 @@ mv_BuildQueryKey(MV_QueryKey *key, Oid matview_id, int32 query_type)
|
|||
* AtAbort_IVM
|
||||
*
|
||||
* Clean up hash entries for all materialized views. This is called at
|
||||
* transaction abort.
|
||||
* (sub-)transaction abort. When the top-level transaction is aborted,
|
||||
* InvalidSubTransactionId is set to subxid.
|
||||
*/
|
||||
void
|
||||
AtAbort_IVM()
|
||||
AtAbort_IVM(SubTransactionId subxid)
|
||||
{
|
||||
HASH_SEQ_STATUS seq;
|
||||
MV_TriggerHashEntry *entry;
|
||||
|
|
@ -3230,7 +3341,38 @@ AtAbort_IVM()
|
|||
{
|
||||
hash_seq_init(&seq, mv_trigger_info);
|
||||
while ((entry = hash_seq_search(&seq)) != NULL)
|
||||
clean_up_IVM_hash_entry(entry, true);
|
||||
clean_up_IVM_hash_entry(entry, true, subxid);
|
||||
}
|
||||
|
||||
in_delta_calculation = false;
|
||||
}
|
||||
|
||||
/*
|
||||
* AtPreCommit_IVM
|
||||
*
|
||||
* Store the transaction ID that updated the view incrementally
|
||||
* into the pg_ivm_immv catalog at transaction commit.
|
||||
*/
|
||||
void
|
||||
AtPreCommit_IVM()
|
||||
{
|
||||
HASH_SEQ_STATUS seq;
|
||||
MV_TriggerHashEntry *entry;
|
||||
|
||||
if (mv_trigger_info)
|
||||
{
|
||||
/*
|
||||
* For each view that was incrementally updated in the transaction,
|
||||
* record the transaction ID into the pg_ivm_immv catalog, and perform
|
||||
* the final clean up of the entry.
|
||||
*/
|
||||
hash_seq_init(&seq, mv_trigger_info);
|
||||
while ((entry = hash_seq_search(&seq)) != NULL)
|
||||
{
|
||||
bool found;
|
||||
setLastUpdateXid(entry->matview_id, GetTopFullTransactionId());
|
||||
hash_search(mv_trigger_info, (void *) &entry->matview_id, HASH_REMOVE, &found);
|
||||
}
|
||||
}
|
||||
|
||||
in_delta_calculation = false;
|
||||
|
|
@ -3240,14 +3382,18 @@ AtAbort_IVM()
|
|||
* clean_up_IVM_hash_entry
|
||||
*
|
||||
* Clean up tuple stores and hash entries for a materialized view after its
|
||||
* maintenance finished.
|
||||
* maintenance finished. This is called at the end of table modifying query
|
||||
* or (sub-)transaction abort. When the top-level transaction is aborted,
|
||||
* InvalidSubTransactionId is set to subxid.
|
||||
*/
|
||||
static void
|
||||
clean_up_IVM_hash_entry(MV_TriggerHashEntry *entry, bool is_abort)
|
||||
clean_up_IVM_hash_entry(MV_TriggerHashEntry *entry, bool is_abort,
|
||||
SubTransactionId subxid)
|
||||
{
|
||||
bool found;
|
||||
ListCell *lc;
|
||||
|
||||
/* clean up tuple stores */
|
||||
foreach(lc, entry->tables)
|
||||
{
|
||||
MV_TriggerTable *table = (MV_TriggerTable *) lfirst(lc);
|
||||
|
|
@ -3273,12 +3419,140 @@ clean_up_IVM_hash_entry(MV_TriggerHashEntry *entry, bool is_abort)
|
|||
}
|
||||
}
|
||||
list_free(entry->tables);
|
||||
entry->tables = NIL;
|
||||
|
||||
if (!is_abort)
|
||||
if (is_abort)
|
||||
{
|
||||
bool remove_entry = false;
|
||||
|
||||
/*
|
||||
* When the top-level transaction is aborted, remove all subxids.
|
||||
* When a sub-transaction is aborted, remove only its subxid.
|
||||
*/
|
||||
if (subxid == InvalidSubTransactionId)
|
||||
remove_entry = true;
|
||||
else
|
||||
{
|
||||
foreach(lc, entry->subxids)
|
||||
{
|
||||
/* Note:
|
||||
* PG16 or later has lfirst_xid, but we use lfirst_int for
|
||||
* supporting older PGs since there is no problem or now.
|
||||
*/
|
||||
if (lfirst_int(lc) == subxid)
|
||||
{
|
||||
entry->subxids = list_delete_cell(entry->subxids, lc);
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
/*
|
||||
* If all the subxid are removed, it means that the view was not
|
||||
* updated at all in this transaction.
|
||||
*/
|
||||
if (list_length(entry->subxids) == 0)
|
||||
remove_entry = true;
|
||||
}
|
||||
|
||||
|
||||
/*
|
||||
* Remove entries of not updated views from the hash table.
|
||||
*/
|
||||
if (remove_entry)
|
||||
hash_search(mv_trigger_info, (void *) &entry->matview_id, HASH_REMOVE, &found);
|
||||
}
|
||||
else
|
||||
{
|
||||
/* When the query sucsessully finished, unregister the snapshot */
|
||||
UnregisterSnapshot(entry->snapshot);
|
||||
}
|
||||
|
||||
entry->snapshot = InvalidSnapshot;
|
||||
}
|
||||
|
||||
hash_search(mv_trigger_info, (void *) &entry->matview_id, HASH_REMOVE, &found);
|
||||
/*
|
||||
* setLastUpdateXid
|
||||
*
|
||||
* Store the transaction ID that updated the view incremenally into the
|
||||
* pg_ivm_immv catalog.
|
||||
*/
|
||||
static void
|
||||
setLastUpdateXid(Oid immv_oid, FullTransactionId xid)
|
||||
{
|
||||
Relation pgIvmImmv = table_open(PgIvmImmvRelationId(), ShareRowExclusiveLock);
|
||||
TupleDesc tupdesc = RelationGetDescr(pgIvmImmv);
|
||||
SysScanDesc scan;
|
||||
ScanKeyData key;
|
||||
HeapTuple tup;
|
||||
Datum values[Natts_pg_ivm_immv];
|
||||
bool nulls[Natts_pg_ivm_immv];
|
||||
bool replaces[Natts_pg_ivm_immv];
|
||||
HeapTuple newtup = NULL;
|
||||
|
||||
ScanKeyInit(&key,
|
||||
Anum_pg_ivm_immv_immvrelid,
|
||||
BTEqualStrategyNumber, F_OIDEQ,
|
||||
ObjectIdGetDatum(immv_oid));
|
||||
scan = systable_beginscan(pgIvmImmv, PgIvmImmvPrimaryKeyIndexId(),
|
||||
true, NULL, 1, &key);
|
||||
tup = systable_getnext(scan);
|
||||
|
||||
memset(values, 0, sizeof(values));
|
||||
values[Anum_pg_ivm_immv_lastivmupdate -1 ] = FullTransactionIdGetDatum(xid);
|
||||
MemSet(nulls, false, sizeof(nulls));
|
||||
MemSet(replaces, false, sizeof(replaces));
|
||||
replaces[Anum_pg_ivm_immv_lastivmupdate -1 ] = true;
|
||||
|
||||
newtup = heap_modify_tuple(tup, tupdesc, values, nulls, replaces);
|
||||
|
||||
CatalogTupleUpdate(pgIvmImmv, &newtup->t_self, newtup);
|
||||
heap_freetuple(newtup);
|
||||
|
||||
/*
|
||||
* Advance command counter to make the updated pg_ivm_immv row locally
|
||||
* visible.
|
||||
*/
|
||||
CommandCounterIncrement();
|
||||
|
||||
systable_endscan(scan);
|
||||
table_close(pgIvmImmv, ShareRowExclusiveLock);
|
||||
}
|
||||
|
||||
/*
|
||||
* getLastUpdateXid
|
||||
*
|
||||
* Get the most recent transaction ID that updated the view incrementally
|
||||
* from the pg_ivm_immv catalog.
|
||||
*/
|
||||
static FullTransactionId
|
||||
getLastUpdateXid(Oid immv_oid)
|
||||
{
|
||||
Relation pgIvmImmv = table_open(PgIvmImmvRelationId(), AccessShareLock);
|
||||
TupleDesc tupdesc = RelationGetDescr(pgIvmImmv);
|
||||
SysScanDesc scan;
|
||||
ScanKeyData key;
|
||||
HeapTuple tup;
|
||||
bool isnull;
|
||||
Datum datum;
|
||||
FullTransactionId xid = InvalidFullTransactionId;
|
||||
|
||||
ScanKeyInit(&key,
|
||||
Anum_pg_ivm_immv_immvrelid,
|
||||
BTEqualStrategyNumber, F_OIDEQ,
|
||||
ObjectIdGetDatum(immv_oid));
|
||||
scan = systable_beginscan(pgIvmImmv, PgIvmImmvPrimaryKeyIndexId(),
|
||||
true, NULL, 1, &key);
|
||||
|
||||
tup = systable_getnext(scan);
|
||||
datum = heap_getattr(tup, Anum_pg_ivm_immv_lastivmupdate, tupdesc, &isnull);
|
||||
|
||||
if (!isnull)
|
||||
xid = DatumGetFullTransactionId(datum);
|
||||
|
||||
systable_endscan(scan);
|
||||
table_close(pgIvmImmv, NoLock);
|
||||
|
||||
return xid;
|
||||
}
|
||||
|
||||
/*
|
||||
|
|
|
|||
101
meson.build
Normal file
101
meson.build
Normal file
|
|
@ -0,0 +1,101 @@
|
|||
project('pg_ivm', ['c'])
|
||||
|
||||
pg_config = find_program('pg_config')
|
||||
|
||||
bindir = run_command(pg_config, '--bindir', check: true).stdout().strip()
|
||||
includedir_server = run_command(pg_config, '--includedir-server', check: true).stdout().strip()
|
||||
includedir = run_command(pg_config, '--includedir', check: true).stdout().strip()
|
||||
pkglibdir = run_command(pg_config, '--pkglibdir', check: true).stdout().strip()
|
||||
sharedir = run_command(pg_config, '--sharedir', check: true).stdout().strip()
|
||||
libdir = run_command(pg_config, '--libdir', check: true).stdout().strip()
|
||||
|
||||
module_name = meson.project_name()
|
||||
|
||||
# ruleutils.c includes ruleutils_13.c or ruleutils_14.c based on PostgreSQL version
|
||||
# Note: We don't need to explicitly add these files since they're included by ruleutils.c
|
||||
pg_ivm_sources = files(
|
||||
'createas.c',
|
||||
'matview.c',
|
||||
'pg_ivm.c',
|
||||
'ruleutils.c',
|
||||
'subselect.c',
|
||||
)
|
||||
|
||||
if meson.get_compiler('c').get_id() == 'msvc'
|
||||
incdir = [includedir_server / 'port/win32_msvc',
|
||||
includedir_server / 'port/win32',
|
||||
includedir_server,
|
||||
includedir]
|
||||
postgres_lib = meson.get_compiler('c').find_library(
|
||||
'postgres',
|
||||
dirs: libdir,
|
||||
static: true,
|
||||
required: true
|
||||
)
|
||||
else
|
||||
incdir = [ includedir_server ]
|
||||
postgres_lib = []
|
||||
endif
|
||||
|
||||
shared_module(module_name,
|
||||
pg_ivm_sources,
|
||||
include_directories: incdir,
|
||||
install: true,
|
||||
install_dir: pkglibdir,
|
||||
name_prefix: '',
|
||||
dependencies: postgres_lib,
|
||||
)
|
||||
|
||||
install_data(
|
||||
'pg_ivm--1.0.sql',
|
||||
'pg_ivm--1.0--1.1.sql',
|
||||
'pg_ivm--1.1--1.2.sql',
|
||||
'pg_ivm--1.2--1.3.sql',
|
||||
'pg_ivm--1.3--1.4.sql',
|
||||
'pg_ivm--1.4--1.5.sql',
|
||||
'pg_ivm--1.5--1.6.sql',
|
||||
'pg_ivm--1.6--1.7.sql',
|
||||
'pg_ivm--1.7--1.8.sql',
|
||||
'pg_ivm--1.8--1.9.sql',
|
||||
'pg_ivm--1.9--1.10.sql',
|
||||
'pg_ivm--1.10.sql',
|
||||
'pg_ivm--1.10--1.11.sql',
|
||||
'pg_ivm--1.11--1.12.sql',
|
||||
'pg_ivm.control',
|
||||
install_dir: sharedir / 'extension',
|
||||
)
|
||||
|
||||
pg_regress = find_program('pg_regress',
|
||||
dirs: [pkglibdir / 'pgxs/src/test/regress']
|
||||
)
|
||||
|
||||
regress_tests = ['pg_ivm', 'create_immv', 'refresh_immv']
|
||||
|
||||
test('regress',
|
||||
pg_regress,
|
||||
args: ['--bindir', bindir,
|
||||
'--inputdir', meson.current_source_dir(),
|
||||
] + regress_tests,
|
||||
)
|
||||
|
||||
pg_isolation_regress = find_program('pg_isolation_regress',
|
||||
dirs: [pkglibdir / 'pgxs/src/test/isolation']
|
||||
)
|
||||
|
||||
isolation_tests = [
|
||||
'create_insert', 'refresh_insert', 'insert_insert',
|
||||
'create_insert2', 'refresh_insert2', 'insert_insert2',
|
||||
'create_insert3', 'refresh_insert3', 'insert_insert3'
|
||||
]
|
||||
|
||||
isolation_opts = [
|
||||
'--load-extension','pg_ivm',
|
||||
]
|
||||
|
||||
test('isolation',
|
||||
pg_isolation_regress,
|
||||
args: ['--bindir', bindir,
|
||||
'--inputdir', meson.current_source_dir(),
|
||||
'--outputdir', 'output_iso',
|
||||
] + isolation_opts + isolation_tests,
|
||||
)
|
||||
0
pg_ivm--1.10--1.11.sql
Normal file
0
pg_ivm--1.10--1.11.sql
Normal file
|
|
@ -6,6 +6,7 @@ CREATE TABLE pgivm.pg_ivm_immv(
|
|||
immvrelid regclass NOT NULL,
|
||||
viewdef text NOT NULL,
|
||||
ispopulated bool NOT NULL,
|
||||
lastivmupdate xid8,
|
||||
|
||||
CONSTRAINT pg_ivm_immv_pkey PRIMARY KEY (immvrelid)
|
||||
);
|
||||
|
|
|
|||
0
pg_ivm--1.11--1.12.sql
Normal file
0
pg_ivm--1.11--1.12.sql
Normal file
|
|
@ -12,5 +12,7 @@ ALTER FUNCTION "IVM_prevent_immv_change"() SET SCHEMA pgivm;
|
|||
|
||||
GRANT USAGE ON SCHEMA pgivm TO PUBLIC;
|
||||
|
||||
ALTER TABLE pgivm.pg_ivm_immv ADD COLUMN lastivmupdate xid8;
|
||||
|
||||
-- drop a garbage
|
||||
DROP SCHEMA __pg_ivm__;
|
||||
|
|
|
|||
14
pg_ivm.c
14
pg_ivm.c
|
|
@ -63,8 +63,10 @@ PG_FUNCTION_INFO_V1(get_immv_def);
|
|||
static void
|
||||
IvmXactCallback(XactEvent event, void *arg)
|
||||
{
|
||||
if (event == XACT_EVENT_ABORT)
|
||||
AtAbort_IVM();
|
||||
if (event == XACT_EVENT_PRE_COMMIT)
|
||||
AtPreCommit_IVM();
|
||||
else if (event == XACT_EVENT_ABORT)
|
||||
AtAbort_IVM(InvalidSubTransactionId);
|
||||
}
|
||||
|
||||
static void
|
||||
|
|
@ -72,7 +74,7 @@ IvmSubXactCallback(SubXactEvent event, SubTransactionId mySubid,
|
|||
SubTransactionId parentSubid, void *arg)
|
||||
{
|
||||
if (event == SUBXACT_EVENT_ABORT_SUB)
|
||||
AtAbort_IVM();
|
||||
AtAbort_IVM(mySubid);
|
||||
}
|
||||
|
||||
|
||||
|
|
@ -222,10 +224,14 @@ create_immv(PG_FUNCTION_ARGS)
|
|||
ctas->into->options = NIL;
|
||||
ctas->into->onCommit = ONCOMMIT_NOOP;
|
||||
ctas->into->tableSpaceName = NULL;
|
||||
#if defined(PG_VERSION_NUM) && (PG_VERSION_NUM >= 180000)
|
||||
ctas->into->viewQuery = (Query *) parsetree->stmt;
|
||||
#else
|
||||
ctas->into->viewQuery = parsetree->stmt;
|
||||
#endif
|
||||
ctas->into->skipData = false;
|
||||
|
||||
query = transformStmt(pstate, (Node *)ctas);
|
||||
query = transformStmt(pstate, (Node *) ctas);
|
||||
Assert(query->commandType == CMD_UTILITY && IsA(query->utilityStmt, CreateTableAsStmt));
|
||||
|
||||
ExecCreateImmv(pstate, (CreateTableAsStmt *) query->utilityStmt, &qc);
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
# incremental view maintenance extension_
|
||||
# incremental view maintenance extension
|
||||
comment = 'incremental view maintenance on PostgreSQL'
|
||||
default_version = '1.10'
|
||||
default_version = '1.12'
|
||||
module_pathname = '$libdir/pg_ivm'
|
||||
relocatable = false
|
||||
schema = pg_catalog
|
||||
|
|
|
|||
14
pg_ivm.h
14
pg_ivm.h
|
|
@ -20,11 +20,12 @@
|
|||
#include "tcop/dest.h"
|
||||
#include "utils/queryenvironment.h"
|
||||
|
||||
#define Natts_pg_ivm_immv 3
|
||||
#define Natts_pg_ivm_immv 4
|
||||
|
||||
#define Anum_pg_ivm_immv_immvrelid 1
|
||||
#define Anum_pg_ivm_immv_viewdef 2
|
||||
#define Anum_pg_ivm_immv_ispopulated 3
|
||||
#define Anum_pg_ivm_immv_lastivmupdate 4
|
||||
|
||||
/* pg_ivm.c */
|
||||
|
||||
|
|
@ -48,14 +49,15 @@ extern void makeIvmAggColumn(ParseState *pstate, Aggref *aggref, char *resname,
|
|||
extern Query *get_immv_query(Relation matviewRel);
|
||||
extern ObjectAddress ExecRefreshImmv(const RangeVar *relation, bool skipData,
|
||||
const char *queryString, QueryCompletion *qc);
|
||||
extern ObjectAddress RefreshImmvByOid(Oid matviewOid, bool skipData,
|
||||
extern ObjectAddress RefreshImmvByOid(Oid matviewOid, bool is_create, bool skipData,
|
||||
const char *queryString, QueryCompletion *qc);
|
||||
extern bool ImmvIncrementalMaintenanceIsEnabled(void);
|
||||
extern Datum IVM_immediate_before(PG_FUNCTION_ARGS);
|
||||
extern Datum IVM_immediate_maintenance(PG_FUNCTION_ARGS);
|
||||
extern PGDLLEXPORT Datum IVM_immediate_before(PG_FUNCTION_ARGS);
|
||||
extern PGDLLEXPORT Datum IVM_immediate_maintenance(PG_FUNCTION_ARGS);
|
||||
extern Query* rewrite_query_for_exists_subquery(Query *query);
|
||||
extern Datum ivm_visible_in_prestate(PG_FUNCTION_ARGS);
|
||||
extern void AtAbort_IVM(void);
|
||||
extern PGDLLEXPORT Datum ivm_visible_in_prestate(PG_FUNCTION_ARGS);
|
||||
extern void AtAbort_IVM(SubTransactionId subtxid);
|
||||
extern void AtPreCommit_IVM(void);
|
||||
extern char *getColumnNameStartWith(RangeTblEntry *rte, char *str, int *attnum);
|
||||
extern bool isIvmName(const char *s);
|
||||
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
# How to build RPM:
|
||||
#
|
||||
# rpmbuild -bb pg_ivm.spec --define "pgmajorversion 17" --define "pginstdir /usr/pgsql-17"
|
||||
# rpmbuild -bb pg_ivm.spec --define "pgmajorversion 18" --define "pginstdir /usr/pgsql-18"
|
||||
|
||||
%global sname pg_ivm
|
||||
|
||||
|
|
@ -8,11 +8,11 @@
|
|||
%global llvm 1
|
||||
%endif
|
||||
|
||||
Summary: PostgreSQL-based distributed RDBMS
|
||||
Summary: Incremental View Maintenance (IVM) feature for PostgreSQL.
|
||||
Name: %{sname}_%{pgmajorversion}
|
||||
Version: 1.10
|
||||
Version: 1.12
|
||||
Release: 1%{dist}
|
||||
License: BSD
|
||||
License: PostgreSQL
|
||||
Vendor: IVM Development Group
|
||||
URL: https://github.com/sraoss/%{sname}
|
||||
Source0: https://github.com/sraoss/%{sname}/archive/v%{version}.tar.gz
|
||||
|
|
@ -55,7 +55,11 @@ PATH=%{pginstdir}/bin:$PATH %{__make} %{?_smp_mflags} INSTALL_PREFIX=%{buildroot
|
|||
%endif
|
||||
|
||||
%changelog
|
||||
* xxxxx - Yugo Nagata <nagata@sraoss.co.jp> 1.10-1
|
||||
* Mon Sep 4 2025 - Yugo Nagata <nagata@sraoss.co.jp> 1.12-1
|
||||
- Update to 1.12
|
||||
* Mon May 25 2025 - Yugo Nagata <nagata@sraoss.co.jp> 1.11-1
|
||||
- Update to 1.11
|
||||
* Tue Mar 11 2025 - Yugo Nagata <nagata@sraoss.co.jp> 1.10-1
|
||||
- Update to 1.10
|
||||
* Fri Jul 31 2024 - Yugo Nagata <nagata@sraoss.co.jp> 1.9-1
|
||||
- Update to 1.9
|
||||
|
|
|
|||
47
specs/create_insert.spec
Normal file
47
specs/create_insert.spec
Normal file
|
|
@ -0,0 +1,47 @@
|
|||
# Test interaction between concurrent transactions performing
|
||||
# create_immv and insert in READ COMMITTED isolation level
|
||||
|
||||
setup
|
||||
{
|
||||
CREATE TABLE a (i int);
|
||||
INSERT INTO a VALUES (1);
|
||||
CREATE VIEW v(x,y) AS SELECT * FROM a AS a1, a AS a2 WHERE a1.i = a2.i;
|
||||
}
|
||||
|
||||
teardown
|
||||
{
|
||||
DROP FUNCTION check_mv();
|
||||
DROP TABLE mv;
|
||||
DROP VIEW v;
|
||||
DROP TABLE a;
|
||||
}
|
||||
|
||||
session tx1
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL READ COMMITTED; }
|
||||
step s1 { SELECT; }
|
||||
step create {
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
}
|
||||
step check1 {SELECT check_mv();}
|
||||
step c1 { COMMIT; }
|
||||
step mv { SELECT * FROM mv ORDER BY 1,2; SELECT check_mv(); }
|
||||
|
||||
session tx2
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL READ COMMITTED; }
|
||||
step s2 { SELECT; }
|
||||
step insert { INSERT INTO a VALUES (2); }
|
||||
step check2 { SELECT check_mv(); }
|
||||
step c2 { COMMIT; }
|
||||
|
||||
permutation s1 create s2 insert c1 check2 c2 mv
|
||||
permutation s1 create s2 c1 insert check2 c2 mv
|
||||
permutation s1 s2 create insert c1 check2 c2 mv
|
||||
permutation s1 s2 insert create c2 check1 c1 mv
|
||||
permutation s1 s2 create c1 insert check2 c2 mv
|
||||
permutation s2 insert s1 create c2 check1 c1 mv
|
||||
permutation s2 insert s1 c2 create check1 c1 mv
|
||||
permutation s2 s1 insert c2 create check1 c1 mv
|
||||
54
specs/create_insert2.spec
Normal file
54
specs/create_insert2.spec
Normal file
|
|
@ -0,0 +1,54 @@
|
|||
# Test interaction between concurrent transactions performing
|
||||
# create_immv and insert in REPEATABLE READ isolation level
|
||||
#
|
||||
# Note:
|
||||
# In this isolation level, it is possible that create_immv could
|
||||
# create an inconsistent view not including effects of a concurrent
|
||||
# transaction. So, an warning message is raised to suggest using it
|
||||
# in READ COMMITTED or executing refresh_immv to make sure to
|
||||
# make the view contents consistent.
|
||||
|
||||
setup
|
||||
{
|
||||
CREATE TABLE a (i int);
|
||||
INSERT INTO a VALUES (1);
|
||||
CREATE VIEW v(x,y) AS SELECT * FROM a AS a1, a AS a2 WHERE a1.i = a2.i;
|
||||
}
|
||||
|
||||
teardown
|
||||
{
|
||||
DROP FUNCTION check_mv();
|
||||
DROP TABLE mv;
|
||||
DROP VIEW v;
|
||||
DROP TABLE a;
|
||||
}
|
||||
|
||||
session tx1
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ; }
|
||||
step s1 { SELECT; }
|
||||
step create {
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
}
|
||||
step check1 {SELECT check_mv();}
|
||||
step c1 { COMMIT; }
|
||||
step mv { SELECT * FROM mv ORDER BY 1,2; SELECT check_mv(); }
|
||||
|
||||
session tx2
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ; }
|
||||
step s2 { SELECT; }
|
||||
step insert { INSERT INTO a VALUES (2); }
|
||||
step check2 {SELECT check_mv(); }
|
||||
step c2 { COMMIT; }
|
||||
|
||||
permutation s1 create s2 insert c1 check2 c2 mv
|
||||
permutation s1 create s2 c1 insert check2 c2 mv
|
||||
permutation s1 s2 create insert c1 check2 c2 mv
|
||||
permutation s1 s2 insert create c2 check1 c1 mv
|
||||
permutation s1 s2 create c1 insert check2 c2 mv
|
||||
permutation s2 insert s1 create c2 check1 c1 mv
|
||||
permutation s2 insert s1 c2 create check1 c1 mv
|
||||
permutation s2 s1 insert c2 create check1 c1 mv
|
||||
54
specs/create_insert3.spec
Normal file
54
specs/create_insert3.spec
Normal file
|
|
@ -0,0 +1,54 @@
|
|||
# Test interaction between concurrent transactions performing
|
||||
# create_immv and insert in SERIALIZABLE isolation level
|
||||
#
|
||||
# Note:
|
||||
# In this isolation level, it is possible that create_immv could
|
||||
# create an inconsistent view not including effects of a concurrent
|
||||
# transaction. So, an warning message is raised to suggest using it
|
||||
# in READ COMMITTED or executing refresh_immv to make sure to
|
||||
# make the view contents consistent.
|
||||
|
||||
setup
|
||||
{
|
||||
CREATE TABLE a (i int);
|
||||
INSERT INTO a VALUES (1);
|
||||
CREATE VIEW v(x,y) AS SELECT * FROM a AS a1, a AS a2 WHERE a1.i = a2.i;
|
||||
}
|
||||
|
||||
teardown
|
||||
{
|
||||
DROP FUNCTION check_mv();
|
||||
DROP TABLE mv;
|
||||
DROP VIEW v;
|
||||
DROP TABLE a;
|
||||
}
|
||||
|
||||
session tx1
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL SERIALIZABLE; }
|
||||
step s1 { SELECT; }
|
||||
step create {
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
}
|
||||
step check1 {SELECT check_mv();}
|
||||
step c1 { COMMIT; }
|
||||
step mv { SELECT * FROM mv ORDER BY 1,2; SELECT check_mv(); }
|
||||
|
||||
session tx2
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL SERIALIZABLE; }
|
||||
step s2 { SELECT; }
|
||||
step insert { INSERT INTO a VALUES (2); }
|
||||
step check2 {SELECT check_mv(); }
|
||||
step c2 { COMMIT; }
|
||||
|
||||
permutation s1 create s2 insert c1 check2 c2 mv
|
||||
permutation s1 create s2 c1 insert check2 c2 mv
|
||||
permutation s1 s2 create insert c1 check2 c2 mv
|
||||
permutation s1 s2 insert create c2 check1 c1 mv
|
||||
permutation s1 s2 create c1 insert check2 c2 mv
|
||||
permutation s2 insert s1 create c2 check1 c1 mv
|
||||
permutation s2 insert s1 c2 create check1 c1 mv
|
||||
permutation s2 s1 insert c2 create check1 c1 mv
|
||||
62
specs/insert_insert.spec
Normal file
62
specs/insert_insert.spec
Normal file
|
|
@ -0,0 +1,62 @@
|
|||
# Test interaction between concurrent transactions performing
|
||||
# table modifications in READ COMMITTED isolation level
|
||||
|
||||
setup
|
||||
{
|
||||
CREATE TABLE a (i int, j int);
|
||||
CREATE TABLE b (i int, j int);
|
||||
INSERT INTO a VALUES (1,10);
|
||||
INSERT INTO b VALUES (1,100);
|
||||
SELECT pgivm.create_immv('mv(x,y,z)',
|
||||
'SELECT a1.j, a2.j,b.j FROM a AS a1, a AS a2,b WHERE a1.i = a2.i AND a1.i = b.i');
|
||||
CREATE VIEW v(x,y,z) AS
|
||||
SELECT a1.j, a2.j,b.j FROM a AS a1, a AS a2,b WHERE a1.i = a2.i AND a1.i = b.i;
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
}
|
||||
|
||||
teardown
|
||||
{
|
||||
DROP FUNCTION check_mv();
|
||||
DROP TABLE mv;
|
||||
DROP VIEW v;
|
||||
DROP TABLE a;
|
||||
DROP TABLE b;
|
||||
}
|
||||
|
||||
session tx1
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL READ COMMITTED; }
|
||||
step s1 { SELECT; }
|
||||
step insert1 { INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200); }
|
||||
step update1 { UPDATE a SET j = 11 WHERE i = 1; }
|
||||
step check1 { SELECT check_mv();}
|
||||
step c1 { COMMIT; }
|
||||
step mv { SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv(); }
|
||||
|
||||
session tx2
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL READ COMMITTED; }
|
||||
step s2 { SELECT; }
|
||||
step insert2 { INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201); }
|
||||
step update2 { UPDATE b SET j = 111 WHERE i = 1; }
|
||||
step check2 { SELECT check_mv(); }
|
||||
step c2 { COMMIT; }
|
||||
|
||||
permutation s1 update1 s2 update2 c1 check2 c2 mv
|
||||
permutation s1 update1 s2 c1 update2 check2 c2 mv
|
||||
permutation s1 s2 update1 update2 c1 check2 c2 mv
|
||||
permutation s1 s2 update2 update1 c2 check1 c1 mv
|
||||
permutation s1 s2 update1 c1 update2 check2 c2 mv
|
||||
permutation s2 update2 s1 update1 c2 check1 c1 mv
|
||||
permutation s2 update2 s1 c2 update1 check1 c1 mv
|
||||
permutation s2 s1 update2 c2 update1 check1 c1 mv
|
||||
|
||||
permutation s1 insert1 s2 insert2 c1 check2 c2 mv
|
||||
permutation s1 insert1 s2 c1 insert2 check2 c2 mv
|
||||
permutation s1 s2 insert1 insert2 c1 check2 c2 mv
|
||||
permutation s1 s2 insert2 insert1 c2 check1 c1 mv
|
||||
permutation s1 s2 insert1 c1 insert2 check2 c2 mv
|
||||
permutation s2 insert2 s1 insert1 c2 check1 c1 mv
|
||||
permutation s2 insert2 s1 c2 insert1 check1 c1 mv
|
||||
permutation s2 s1 insert2 c2 insert1 check1 c1 mv
|
||||
62
specs/insert_insert2.spec
Normal file
62
specs/insert_insert2.spec
Normal file
|
|
@ -0,0 +1,62 @@
|
|||
# Test interaction between concurrent transactions performing
|
||||
# table modifications in REPEATABLE READ isolation level
|
||||
|
||||
setup
|
||||
{
|
||||
CREATE TABLE a (i int, j int);
|
||||
CREATE TABLE b (i int, j int);
|
||||
INSERT INTO a VALUES (1,10);
|
||||
INSERT INTO b VALUES (1,100);
|
||||
SELECT pgivm.create_immv('mv(x,y,z)',
|
||||
'SELECT a1.j, a2.j,b.j FROM a AS a1, a AS a2,b WHERE a1.i = a2.i AND a1.i = b.i');
|
||||
CREATE VIEW v(x,y,z) AS
|
||||
SELECT a1.j, a2.j,b.j FROM a AS a1, a AS a2,b WHERE a1.i = a2.i AND a1.i = b.i;
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
}
|
||||
|
||||
teardown
|
||||
{
|
||||
DROP FUNCTION check_mv();
|
||||
DROP TABLE mv;
|
||||
DROP VIEW v;
|
||||
DROP TABLE a;
|
||||
DROP TABLE b;
|
||||
}
|
||||
|
||||
session tx1
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ; }
|
||||
step s1 { SELECT; }
|
||||
step insert1 { INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200); }
|
||||
step update1 { UPDATE a SET j = 11 WHERE i = 1; }
|
||||
step check1 { SELECT check_mv();}
|
||||
step c1 { COMMIT; }
|
||||
step mv { SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv(); }
|
||||
|
||||
session tx2
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ; }
|
||||
step s2 { SELECT; }
|
||||
step insert2 { INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201); }
|
||||
step update2 { UPDATE b SET j = 111 WHERE i = 1; }
|
||||
step check2 { SELECT check_mv(); }
|
||||
step c2 { COMMIT; }
|
||||
|
||||
permutation s1 update1 s2 update2 c1 check2 c2 mv
|
||||
permutation s1 update1 s2 c1 update2 check2 c2 mv
|
||||
permutation s1 s2 update1 update2 c1 check2 c2 mv
|
||||
permutation s1 s2 update2 update1 c2 check1 c1 mv
|
||||
permutation s1 s2 update1 c1 update2 check2 c2 mv
|
||||
permutation s2 update2 s1 update1 c2 check1 c1 mv
|
||||
permutation s2 update2 s1 c2 update1 check1 c1 mv
|
||||
permutation s2 s1 update2 c2 update1 check1 c1 mv
|
||||
|
||||
permutation s1 insert1 s2 insert2 c1 check2 c2 mv
|
||||
permutation s1 insert1 s2 c1 insert2 check2 c2 mv
|
||||
permutation s1 s2 insert1 insert2 c1 check2 c2 mv
|
||||
permutation s1 s2 insert2 insert1 c2 check1 c1 mv
|
||||
permutation s1 s2 insert1 c1 insert2 check2 c2 mv
|
||||
permutation s2 insert2 s1 insert1 c2 check1 c1 mv
|
||||
permutation s2 insert2 s1 c2 insert1 check1 c1 mv
|
||||
permutation s2 s1 insert2 c2 insert1 check1 c1 mv
|
||||
62
specs/insert_insert3.spec
Normal file
62
specs/insert_insert3.spec
Normal file
|
|
@ -0,0 +1,62 @@
|
|||
# Test interaction between concurrent transactions performing
|
||||
# table modifications in SERIALIZABLE isolation level
|
||||
|
||||
setup
|
||||
{
|
||||
CREATE TABLE a (i int, j int);
|
||||
CREATE TABLE b (i int, j int);
|
||||
INSERT INTO a VALUES (1,10);
|
||||
INSERT INTO b VALUES (1,100);
|
||||
SELECT pgivm.create_immv('mv(x,y,z)',
|
||||
'SELECT a1.j, a2.j,b.j FROM a AS a1, a AS a2,b WHERE a1.i = a2.i AND a1.i = b.i');
|
||||
CREATE VIEW v(x,y,z) AS
|
||||
SELECT a1.j, a2.j,b.j FROM a AS a1, a AS a2,b WHERE a1.i = a2.i AND a1.i = b.i;
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
}
|
||||
|
||||
teardown
|
||||
{
|
||||
DROP FUNCTION check_mv();
|
||||
DROP TABLE mv;
|
||||
DROP VIEW v;
|
||||
DROP TABLE a;
|
||||
DROP TABLE b;
|
||||
}
|
||||
|
||||
session tx1
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL SERIALIZABLE; }
|
||||
step s1 { SELECT; }
|
||||
step insert1 { INSERT INTO a VALUES (2,20); INSERT INTO b VALUES (2,200); }
|
||||
step update1 { UPDATE a SET j = 11 WHERE i = 1; }
|
||||
step check1 { SELECT check_mv();}
|
||||
step c1 { COMMIT; }
|
||||
step mv { SELECT * FROM mv ORDER BY 1,2,3; SELECT check_mv(); }
|
||||
|
||||
session tx2
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL SERIALIZABLE; }
|
||||
step s2 { SELECT; }
|
||||
step insert2 { INSERT INTO a VALUES (1,11), (2,21); INSERT INTO b VALUES (2,201); }
|
||||
step update2 { UPDATE b SET j = 111 WHERE i = 1; }
|
||||
step check2 { SELECT check_mv(); }
|
||||
step c2 { COMMIT; }
|
||||
|
||||
permutation s1 update1 s2 update2 c1 check2 c2 mv
|
||||
permutation s1 update1 s2 c1 update2 check2 c2 mv
|
||||
permutation s1 s2 update1 update2 c1 check2 c2 mv
|
||||
permutation s1 s2 update2 update1 c2 check1 c1 mv
|
||||
permutation s1 s2 update1 c1 update2 check2 c2 mv
|
||||
permutation s2 update2 s1 update1 c2 check1 c1 mv
|
||||
permutation s2 update2 s1 c2 update1 check1 c1 mv
|
||||
permutation s2 s1 update2 c2 update1 check1 c1 mv
|
||||
|
||||
permutation s1 insert1 s2 insert2 c1 check2 c2 mv
|
||||
permutation s1 insert1 s2 c1 insert2 check2 c2 mv
|
||||
permutation s1 s2 insert1 insert2 c1 check2 c2 mv
|
||||
permutation s1 s2 insert2 insert1 c2 check1 c1 mv
|
||||
permutation s1 s2 insert1 c1 insert2 check2 c2 mv
|
||||
permutation s2 insert2 s1 insert1 c2 check1 c1 mv
|
||||
permutation s2 insert2 s1 c2 insert1 check1 c1 mv
|
||||
permutation s2 s1 insert2 c2 insert1 check1 c1 mv
|
||||
46
specs/refresh_insert.spec
Normal file
46
specs/refresh_insert.spec
Normal file
|
|
@ -0,0 +1,46 @@
|
|||
# Test interaction between concurrent transactions performing
|
||||
# refresh_immv and insert in READ COMMITTED isolation level
|
||||
|
||||
setup
|
||||
{
|
||||
CREATE TABLE a (i int);
|
||||
INSERT INTO a VALUES (1);
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE VIEW v(x,y) AS SELECT * FROM a AS a1, a AS a2 WHERE a1.i = a2.i;
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
}
|
||||
|
||||
teardown
|
||||
{
|
||||
DROP FUNCTION check_mv();
|
||||
DROP TABLE mv;
|
||||
DROP VIEW v;
|
||||
DROP TABLE a;
|
||||
}
|
||||
|
||||
session tx1
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL READ COMMITTED; }
|
||||
step s1 { SELECT; }
|
||||
step refresh { SELECT pgivm.refresh_immv('mv', true); }
|
||||
step check1 {SELECT check_mv();}
|
||||
step c1 { COMMIT; }
|
||||
step mv { SELECT * FROM mv ORDER BY 1,2; SELECT check_mv(); }
|
||||
|
||||
session tx2
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL READ COMMITTED; }
|
||||
step s2 { SELECT; }
|
||||
step insert { INSERT INTO a VALUES (2); }
|
||||
step check2 {SELECT check_mv(); }
|
||||
step c2 { COMMIT; }
|
||||
|
||||
permutation s1 refresh s2 insert c1 check2 c2 mv
|
||||
permutation s1 refresh s2 c1 insert check2 c2 mv
|
||||
permutation s1 s2 refresh insert c1 check2 c2 mv
|
||||
permutation s1 s2 insert refresh c2 check1 c1 mv
|
||||
permutation s1 s2 refresh c1 insert check2 c2 mv
|
||||
permutation s2 insert s1 refresh c2 check1 c1 mv
|
||||
permutation s2 insert s1 c2 refresh check1 c1 mv
|
||||
permutation s2 s1 insert c2 refresh check1 c1 mv
|
||||
46
specs/refresh_insert2.spec
Normal file
46
specs/refresh_insert2.spec
Normal file
|
|
@ -0,0 +1,46 @@
|
|||
# Test interaction between concurrent transactions performing
|
||||
# refresh_immv and insert in REPEATABLE READ isolation level
|
||||
|
||||
setup
|
||||
{
|
||||
CREATE TABLE a (i int);
|
||||
INSERT INTO a VALUES (1);
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE VIEW v(x,y) AS SELECT * FROM a AS a1, a AS a2 WHERE a1.i = a2.i;
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
}
|
||||
|
||||
teardown
|
||||
{
|
||||
DROP FUNCTION check_mv();
|
||||
DROP TABLE mv;
|
||||
DROP VIEW v;
|
||||
DROP TABLE a;
|
||||
}
|
||||
|
||||
session tx1
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ; }
|
||||
step s1 { SELECT; }
|
||||
step refresh { SELECT pgivm.refresh_immv('mv', true); }
|
||||
step check1 {SELECT check_mv();}
|
||||
step c1 { COMMIT; }
|
||||
step mv { SELECT * FROM mv ORDER BY 1,2; SELECT check_mv(); }
|
||||
|
||||
session tx2
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ; }
|
||||
step s2 { SELECT; }
|
||||
step insert { INSERT INTO a VALUES (2); }
|
||||
step check2 {SELECT check_mv(); }
|
||||
step c2 { COMMIT; }
|
||||
|
||||
permutation s1 refresh s2 insert c1 check2 c2 mv
|
||||
permutation s1 refresh s2 c1 insert check2 c2 mv
|
||||
permutation s1 s2 refresh insert c1 check2 c2 mv
|
||||
permutation s1 s2 insert refresh c2 check1 c1 mv
|
||||
permutation s1 s2 refresh c1 insert check2 c2 mv
|
||||
permutation s2 insert s1 refresh c2 check1 c1 mv
|
||||
permutation s2 insert s1 c2 refresh check1 c1 mv
|
||||
permutation s2 s1 insert c2 refresh check1 c1 mv
|
||||
46
specs/refresh_insert3.spec
Normal file
46
specs/refresh_insert3.spec
Normal file
|
|
@ -0,0 +1,46 @@
|
|||
# Test interaction between concurrent transactions performing
|
||||
# refresh_immv and insert in SERIALIZABLE isolation level
|
||||
|
||||
setup
|
||||
{
|
||||
CREATE TABLE a (i int);
|
||||
INSERT INTO a VALUES (1);
|
||||
SELECT pgivm.create_immv('mv(x,y)', 'SELECT * FROM a a1, a a2 WHERE a1.i = a2.i');
|
||||
CREATE VIEW v(x,y) AS SELECT * FROM a AS a1, a AS a2 WHERE a1.i = a2.i;
|
||||
CREATE FUNCTION check_mv() RETURNS text AS
|
||||
$$ SELECT CASE WHEN count(*) = 0 THEN 'ok' ELSE 'ng' END
|
||||
FROM ((SELECT * FROM mv EXCEPT ALL SELECT * FROM v) UNION ALL
|
||||
(SELECT * FROM v EXCEPT ALL SELECT * FROM mv)) v $$ LANGUAGE sql;
|
||||
}
|
||||
|
||||
teardown
|
||||
{
|
||||
DROP FUNCTION check_mv();
|
||||
DROP TABLE mv;
|
||||
DROP VIEW v;
|
||||
DROP TABLE a;
|
||||
}
|
||||
|
||||
session tx1
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL SERIALIZABLE; }
|
||||
step s1 { SELECT; }
|
||||
step refresh { SELECT pgivm.refresh_immv('mv', true); }
|
||||
step check1 {SELECT check_mv();}
|
||||
step c1 { COMMIT; }
|
||||
step mv { SELECT * FROM mv ORDER BY 1,2; SELECT check_mv(); }
|
||||
|
||||
session tx2
|
||||
setup { BEGIN TRANSACTION ISOLATION LEVEL SERIALIZABLE; }
|
||||
step s2 { SELECT; }
|
||||
step insert { INSERT INTO a VALUES (2); }
|
||||
step check2 {SELECT check_mv(); }
|
||||
step c2 { COMMIT; }
|
||||
|
||||
permutation s1 refresh s2 insert c1 check2 c2 mv
|
||||
permutation s1 refresh s2 c1 insert check2 c2 mv
|
||||
permutation s1 s2 refresh insert c1 check2 c2 mv
|
||||
permutation s1 s2 insert refresh c2 check1 c1 mv
|
||||
permutation s1 s2 refresh c1 insert check2 c2 mv
|
||||
permutation s2 insert s1 refresh c2 check1 c1 mv
|
||||
permutation s2 insert s1 c2 refresh check1 c1 mv
|
||||
permutation s2 s1 insert c2 refresh check1 c1 mv
|
||||
|
|
@ -37,6 +37,14 @@ SELECT * FROM mv_ivm_1 ORDER BY 1,2,3;
|
|||
ROLLBACK;
|
||||
SELECT * FROM mv_ivm_1 ORDER BY 1,2,3;
|
||||
|
||||
-- test for renaming column name to camel style
|
||||
BEGIN;
|
||||
ALTER TABLE mv_base_a RENAME i TO "I";
|
||||
ALTER TABLE mv_base_a RENAME j TO "J";
|
||||
UPDATE mv_base_a SET "J" = 0 WHERE "I" = 1;
|
||||
SELECT * FROM mv_ivm_1 ORDER BY 1,2,3;
|
||||
ROLLBACK;
|
||||
|
||||
-- TRUNCATE a base table in join views
|
||||
BEGIN;
|
||||
TRUNCATE mv_base_a;
|
||||
|
|
@ -588,16 +596,16 @@ SELECT pgivm.create_immv('mv_ivm_only_values2', 'SELECT * FROM (values(1)) AS t
|
|||
|
||||
|
||||
-- views containing base tables with Row Level Security
|
||||
DROP USER IF EXISTS ivm_admin;
|
||||
DROP USER IF EXISTS ivm_user;
|
||||
CREATE USER ivm_admin;
|
||||
CREATE USER ivm_user;
|
||||
DROP USER IF EXISTS regress_ivm_admin;
|
||||
DROP USER IF EXISTS regress_ivm_user;
|
||||
CREATE USER regress_ivm_admin;
|
||||
CREATE USER regress_ivm_user;
|
||||
|
||||
--- create a table with RLS
|
||||
SET SESSION AUTHORIZATION ivm_admin;
|
||||
SET SESSION AUTHORIZATION regress_ivm_admin;
|
||||
CREATE TABLE rls_tbl(id int, data text, owner name);
|
||||
INSERT INTO rls_tbl VALUES
|
||||
(1,'foo','ivm_user'),
|
||||
(1,'foo','regress_ivm_user'),
|
||||
(2,'bar','postgres');
|
||||
CREATE TABLE num_tbl(id int, num text);
|
||||
INSERT INTO num_tbl VALUES
|
||||
|
|
@ -614,28 +622,28 @@ ALTER TABLE rls_tbl ENABLE ROW LEVEL SECURITY;
|
|||
GRANT ALL on rls_tbl TO PUBLIC;
|
||||
GRANT ALL on num_tbl TO PUBLIC;
|
||||
|
||||
--- create a view owned by ivm_user
|
||||
SET SESSION AUTHORIZATION ivm_user;
|
||||
--- create a view owned by regress_ivm_user
|
||||
SET SESSION AUTHORIZATION regress_ivm_user;
|
||||
SELECT pgivm.create_immv('ivm_rls', 'SELECT * FROM rls_tbl');
|
||||
SELECT id, data, owner FROM ivm_rls ORDER BY 1,2,3;
|
||||
RESET SESSION AUTHORIZATION;
|
||||
|
||||
--- inserts rows owned by different users
|
||||
INSERT INTO rls_tbl VALUES
|
||||
(3,'baz','ivm_user'),
|
||||
(3,'baz','regress_ivm_user'),
|
||||
(4,'qux','postgres');
|
||||
SELECT id, data, owner FROM ivm_rls ORDER BY 1,2,3;
|
||||
|
||||
--- combination of diffent kinds of commands
|
||||
WITH
|
||||
i AS (INSERT INTO rls_tbl VALUES(5,'quux','postgres'), (6,'corge','ivm_user')),
|
||||
i AS (INSERT INTO rls_tbl VALUES(5,'quux','postgres'), (6,'corge','regress_ivm_user')),
|
||||
u AS (UPDATE rls_tbl SET owner = 'postgres' WHERE id = 1),
|
||||
u2 AS (UPDATE rls_tbl SET owner = 'ivm_user' WHERE id = 2)
|
||||
u2 AS (UPDATE rls_tbl SET owner = 'regress_ivm_user' WHERE id = 2)
|
||||
SELECT;
|
||||
SELECT id, data, owner FROM ivm_rls ORDER BY 1,2,3;
|
||||
|
||||
---
|
||||
SET SESSION AUTHORIZATION ivm_user;
|
||||
SET SESSION AUTHORIZATION regress_ivm_user;
|
||||
SELECT pgivm.create_immv('ivm_rls2', 'SELECT * FROM rls_tbl JOIN num_tbl USING(id)');
|
||||
RESET SESSION AUTHORIZATION;
|
||||
|
||||
|
|
@ -648,8 +656,8 @@ SELECT * FROM ivm_rls2 ORDER BY 1,2,3;
|
|||
DROP TABLE rls_tbl CASCADE;
|
||||
DROP TABLE num_tbl CASCADE;
|
||||
|
||||
DROP USER ivm_user;
|
||||
DROP USER ivm_admin;
|
||||
DROP USER regress_ivm_user;
|
||||
DROP USER regress_ivm_admin;
|
||||
|
||||
-- automatic index creation
|
||||
BEGIN;
|
||||
|
|
|
|||
Loading…
Reference in a new issue