]> granicus.if.org Git - postgresql/commitdiff
Fix CREATE MATVIEW/CREATE TABLE AS ... WITH NO DATA to not plan the query.
authorTom Lane <tgl@sss.pgh.pa.us>
Mon, 27 Jun 2016 19:57:21 +0000 (15:57 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Mon, 27 Jun 2016 19:57:50 +0000 (15:57 -0400)
Previously, these commands always planned the given query and went through
executor startup before deciding not to actually run the query if WITH NO
DATA is specified.  This behavior is problematic for pg_dump because it
may cause errors to be raised that we would rather not see before a
REFRESH MATERIALIZED VIEW command is issued.  See for example bug #13907
from Marian Krucina.  This change is not sufficient to fix that particular
bug, because we also need to tweak pg_dump to issue the REFRESH later,
but it's a necessary step on the way.

A user-visible side effect of doing things this way is that the returned
command tag for WITH NO DATA cases will now be "CREATE MATERIALIZED VIEW"
or "CREATE TABLE AS", not "SELECT 0".  We could preserve the old behavior
but it would take more code, and arguably that was just an implementation
artifact not intended behavior anyhow.

In 9.5 and HEAD, also get rid of the static variable CreateAsReladdr, which
was trouble waiting to happen; there is not any prohibition on nested
CREATE commands.

Back-patch to 9.3 where CREATE MATERIALIZED VIEW was introduced.

Michael Paquier and Tom Lane

Report: <20160202161407.2778.24659@wrigleys.postgresql.org>

src/backend/commands/createas.c
src/backend/commands/view.c
src/backend/nodes/makefuncs.c
src/include/nodes/makefuncs.h
src/test/regress/expected/matview.out
src/test/regress/expected/select_into.out
src/test/regress/sql/matview.sql
src/test/regress/sql/select_into.sql

index 5a853c48a8ba4ab00c6318b3cf910158b3422bfc..5b4f6affcce20d4b3970feb4149f89cc2ed747fe 100644 (file)
@@ -10,7 +10,8 @@
  *
  * Formerly, CTAS was implemented as a variant of SELECT, which led
  * to assorted legacy behaviors that we still try to preserve, notably that
- * we must return a tuples-processed count in the completionTag.
+ * we must return a tuples-processed count in the completionTag.  (We no
+ * longer do that for CTAS ... WITH NO DATA, however.)
  *
  * Portions Copyright (c) 1996-2016, PostgreSQL Global Development Group
  * Portions Copyright (c) 1994, Regents of the University of California
@@ -36,6 +37,8 @@
 #include "commands/tablecmds.h"
 #include "commands/view.h"
 #include "miscadmin.h"
+#include "nodes/makefuncs.h"
+#include "nodes/nodeFuncs.h"
 #include "parser/parse_clause.h"
 #include "rewrite/rewriteHandler.h"
 #include "storage/smgr.h"
@@ -53,20 +56,167 @@ typedef struct
        IntoClause *into;                       /* target relation specification */
        /* These fields are filled by intorel_startup: */
        Relation        rel;                    /* relation to write to */
+       ObjectAddress reladdr;          /* address of rel, for ExecCreateTableAs */
        CommandId       output_cid;             /* cmin to insert in output tuples */
        int                     hi_options;             /* heap_insert performance options */
        BulkInsertState bistate;        /* bulk insert state */
 } DR_intorel;
 
-/* the address of the created table, for ExecCreateTableAs consumption */
-static ObjectAddress CreateAsReladdr = {InvalidOid, InvalidOid, 0};
+/* utility functions for CTAS definition creation */
+static ObjectAddress create_ctas_internal(List *attrList, IntoClause *into);
+static ObjectAddress create_ctas_nodata(List *tlist, IntoClause *into);
 
+/* DestReceiver routines for collecting data */
 static void intorel_startup(DestReceiver *self, int operation, TupleDesc typeinfo);
 static bool intorel_receive(TupleTableSlot *slot, DestReceiver *self);
 static void intorel_shutdown(DestReceiver *self);
 static void intorel_destroy(DestReceiver *self);
 
 
+/*
+ * create_ctas_internal
+ *
+ * Internal utility used for the creation of the definition of a relation
+ * created via CREATE TABLE AS or a materialized view.  Caller needs to
+ * provide a list of attributes (ColumnDef nodes).
+ */
+static ObjectAddress
+create_ctas_internal(List *attrList, IntoClause *into)
+{
+       CreateStmt *create = makeNode(CreateStmt);
+       bool            is_matview;
+       char            relkind;
+       Datum           toast_options;
+       static char *validnsps[] = HEAP_RELOPT_NAMESPACES;
+       ObjectAddress intoRelationAddr;
+
+       /* This code supports both CREATE TABLE AS and CREATE MATERIALIZED VIEW */
+       is_matview = (into->viewQuery != NULL);
+       relkind = is_matview ? RELKIND_MATVIEW : RELKIND_RELATION;
+
+       /*
+        * Create the target relation by faking up a CREATE TABLE parsetree and
+        * passing it to DefineRelation.
+        */
+       create->relation = into->rel;
+       create->tableElts = attrList;
+       create->inhRelations = NIL;
+       create->ofTypename = NULL;
+       create->constraints = NIL;
+       create->options = into->options;
+       create->oncommit = into->onCommit;
+       create->tablespacename = into->tableSpaceName;
+       create->if_not_exists = false;
+
+       /*
+        * Create the relation.  (This will error out if there's an existing view,
+        * so we don't need more code to complain if "replace" is false.)
+        */
+       intoRelationAddr = DefineRelation(create, relkind, InvalidOid, NULL);
+
+       /*
+        * If necessary, create a TOAST table for the target table.  Note that
+        * NewRelationCreateToastTable ends with CommandCounterIncrement(), so
+        * that the TOAST table will be visible for insertion.
+        */
+       CommandCounterIncrement();
+
+       /* parse and validate reloptions for the toast table */
+       toast_options = transformRelOptions((Datum) 0,
+                                                                               create->options,
+                                                                               "toast",
+                                                                               validnsps,
+                                                                               true, false);
+
+       (void) heap_reloptions(RELKIND_TOASTVALUE, toast_options, true);
+
+       NewRelationCreateToastTable(intoRelationAddr.objectId, toast_options);
+
+       /* Create the "view" part of a materialized view. */
+       if (is_matview)
+       {
+               /* StoreViewQuery scribbles on tree, so make a copy */
+               Query      *query = (Query *) copyObject(into->viewQuery);
+
+               StoreViewQuery(intoRelationAddr.objectId, query, false);
+               CommandCounterIncrement();
+       }
+
+       return intoRelationAddr;
+}
+
+
+/*
+ * create_ctas_nodata
+ *
+ * Create CTAS or materialized view when WITH NO DATA is used, starting from
+ * the targetlist of the SELECT or view definition.
+ */
+static ObjectAddress
+create_ctas_nodata(List *tlist, IntoClause *into)
+{
+       List       *attrList;
+       ListCell   *t,
+                          *lc;
+
+       /*
+        * Build list of ColumnDefs from non-junk elements of the tlist.  If a
+        * column name list was specified in CREATE TABLE AS, override the column
+        * names in the query.  (Too few column names are OK, too many are not.)
+        */
+       attrList = NIL;
+       lc = list_head(into->colNames);
+       foreach(t, tlist)
+       {
+               TargetEntry *tle = (TargetEntry *) lfirst(t);
+
+               if (!tle->resjunk)
+               {
+                       ColumnDef  *col;
+                       char       *colname;
+
+                       if (lc)
+                       {
+                               colname = strVal(lfirst(lc));
+                               lc = lnext(lc);
+                       }
+                       else
+                               colname = tle->resname;
+
+                       col = makeColumnDef(colname,
+                                                               exprType((Node *) tle->expr),
+                                                               exprTypmod((Node *) tle->expr),
+                                                               exprCollation((Node *) tle->expr));
+
+                       /*
+                        * It's possible that the column is of a collatable type but the
+                        * collation could not be resolved, so double-check.  (We must
+                        * check this here because DefineRelation would adopt the type's
+                        * default collation rather than complaining.)
+                        */
+                       if (!OidIsValid(col->collOid) &&
+                               type_is_collatable(col->typeName->typeOid))
+                               ereport(ERROR,
+                                               (errcode(ERRCODE_INDETERMINATE_COLLATION),
+                                                errmsg("no collation was derived for column \"%s\" with collatable type %s",
+                                                               col->colname,
+                                                               format_type_be(col->typeName->typeOid)),
+                                                errhint("Use the COLLATE clause to set the collation explicitly.")));
+
+                       attrList = lappend(attrList, col);
+               }
+       }
+
+       if (lc != NULL)
+               ereport(ERROR,
+                               (errcode(ERRCODE_SYNTAX_ERROR),
+                                errmsg("too many column names were specified")));
+
+       /* Create the relation definition using the ColumnDef list */
+       return create_ctas_internal(attrList, into);
+}
+
+
 /*
  * ExecCreateTableAs -- execute a CREATE TABLE AS command
  */
@@ -85,7 +235,6 @@ ExecCreateTableAs(CreateTableAsStmt *stmt, const char *queryString,
        List       *rewritten;
        PlannedStmt *plan;
        QueryDesc  *queryDesc;
-       ScanDirection dir;
 
        if (stmt->if_not_exists)
        {
@@ -121,8 +270,9 @@ ExecCreateTableAs(CreateTableAsStmt *stmt, const char *queryString,
                Assert(!is_matview);    /* excluded by syntax */
                ExecuteQuery(estmt, into, queryString, params, dest, completionTag);
 
-               address = CreateAsReladdr;
-               CreateAsReladdr = InvalidObjectAddress;
+               /* get object address that intorel_startup saved for us */
+               address = ((DR_intorel *) dest)->reladdr;
+
                return address;
        }
        Assert(query->commandType == CMD_SELECT);
@@ -142,70 +292,81 @@ ExecCreateTableAs(CreateTableAsStmt *stmt, const char *queryString,
                save_nestlevel = NewGUCNestLevel();
        }
 
-       /*
-        * Parse analysis was done already, but we still have to run the rule
-        * rewriter.  We do not do AcquireRewriteLocks: we assume the query either
-        * came straight from the parser, or suitable locks were acquired by
-        * plancache.c.
-        *
-        * Because the rewriter and planner tend to scribble on the input, we make
-        * a preliminary copy of the source querytree.  This prevents problems in
-        * the case that CTAS is in a portal or plpgsql function and is executed
-        * repeatedly.  (See also the same hack in EXPLAIN and PREPARE.)
-        */
-       rewritten = QueryRewrite((Query *) copyObject(query));
+       if (into->skipData)
+       {
+               /*
+                * If WITH NO DATA was specified, do not go through the rewriter,
+                * planner and executor.  Just define the relation using a code path
+                * similar to CREATE VIEW.  This avoids dump/restore problems stemming
+                * from running the planner before all dependencies are set up.
+                */
+               address = create_ctas_nodata(query->targetList, into);
+       }
+       else
+       {
+               /*
+                * Parse analysis was done already, but we still have to run the rule
+                * rewriter.  We do not do AcquireRewriteLocks: we assume the query
+                * either came straight from the parser, or suitable locks were
+                * acquired by plancache.c.
+                *
+                * Because the rewriter and planner tend to scribble on the input, we
+                * make a preliminary copy of the source querytree.  This prevents
+                * problems in the case that CTAS is in a portal or plpgsql function
+                * and is executed repeatedly.  (See also the same hack in EXPLAIN and
+                * PREPARE.)
+                */
+               rewritten = QueryRewrite((Query *) copyObject(query));
 
-       /* SELECT should never rewrite to more or less than one SELECT query */
-       if (list_length(rewritten) != 1)
-               elog(ERROR, "unexpected rewrite result for CREATE TABLE AS SELECT");
-       query = (Query *) linitial(rewritten);
-       Assert(query->commandType == CMD_SELECT);
+               /* SELECT should never rewrite to more or less than one SELECT query */
+               if (list_length(rewritten) != 1)
+                       elog(ERROR, "unexpected rewrite result for %s",
+                                is_matview ? "CREATE MATERIALIZED VIEW" :
+                                "CREATE TABLE AS SELECT");
+               query = (Query *) linitial(rewritten);
+               Assert(query->commandType == CMD_SELECT);
 
-       /* plan the query */
-       plan = pg_plan_query(query, 0, params);
+               /* plan the query */
+               plan = pg_plan_query(query, 0, params);
 
-       /*
-        * Use a snapshot with an updated command ID to ensure this query sees
-        * results of any previously executed queries.  (This could only matter if
-        * the planner executed an allegedly-stable function that changed the
-        * database contents, but let's do it anyway to be parallel to the EXPLAIN
-        * code path.)
-        */
-       PushCopiedSnapshot(GetActiveSnapshot());
-       UpdateActiveSnapshotCommandId();
+               /*
+                * Use a snapshot with an updated command ID to ensure this query sees
+                * results of any previously executed queries.  (This could only
+                * matter if the planner executed an allegedly-stable function that
+                * changed the database contents, but let's do it anyway to be
+                * parallel to the EXPLAIN code path.)
+                */
+               PushCopiedSnapshot(GetActiveSnapshot());
+               UpdateActiveSnapshotCommandId();
 
-       /* Create a QueryDesc, redirecting output to our tuple receiver */
-       queryDesc = CreateQueryDesc(plan, queryString,
-                                                               GetActiveSnapshot(), InvalidSnapshot,
-                                                               dest, params, 0);
+               /* Create a QueryDesc, redirecting output to our tuple receiver */
+               queryDesc = CreateQueryDesc(plan, queryString,
+                                                                       GetActiveSnapshot(), InvalidSnapshot,
+                                                                       dest, params, 0);
 
-       /* call ExecutorStart to prepare the plan for execution */
-       ExecutorStart(queryDesc, GetIntoRelEFlags(into));
+               /* call ExecutorStart to prepare the plan for execution */
+               ExecutorStart(queryDesc, GetIntoRelEFlags(into));
 
-       /*
-        * Normally, we run the plan to completion; but if skipData is specified,
-        * just do tuple receiver startup and shutdown.
-        */
-       if (into->skipData)
-               dir = NoMovementScanDirection;
-       else
-               dir = ForwardScanDirection;
+               /* run the plan to completion */
+               ExecutorRun(queryDesc, ForwardScanDirection, 0L);
 
-       /* run the plan */
-       ExecutorRun(queryDesc, dir, 0L);
+               /* save the rowcount if we're given a completionTag to fill */
+               if (completionTag)
+                       snprintf(completionTag, COMPLETION_TAG_BUFSIZE,
+                                        "SELECT " UINT64_FORMAT,
+                                        queryDesc->estate->es_processed);
 
-       /* save the rowcount if we're given a completionTag to fill */
-       if (completionTag)
-               snprintf(completionTag, COMPLETION_TAG_BUFSIZE,
-                                "SELECT " UINT64_FORMAT, queryDesc->estate->es_processed);
+               /* get object address that intorel_startup saved for us */
+               address = ((DR_intorel *) dest)->reladdr;
 
-       /* and clean up */
-       ExecutorFinish(queryDesc);
-       ExecutorEnd(queryDesc);
+               /* and clean up */
+               ExecutorFinish(queryDesc);
+               ExecutorEnd(queryDesc);
 
-       FreeQueryDesc(queryDesc);
+               FreeQueryDesc(queryDesc);
 
-       PopActiveSnapshot();
+               PopActiveSnapshot();
+       }
 
        if (is_matview)
        {
@@ -216,9 +377,6 @@ ExecCreateTableAs(CreateTableAsStmt *stmt, const char *queryString,
                SetUserIdAndSecContext(save_userid, save_sec_context);
        }
 
-       address = CreateAsReladdr;
-       CreateAsReladdr = InvalidObjectAddress;
-
        return address;
 }
 
@@ -287,14 +445,12 @@ intorel_startup(DestReceiver *self, int operation, TupleDesc typeinfo)
        IntoClause *into = myState->into;
        bool            is_matview;
        char            relkind;
-       CreateStmt *create;
+       List       *attrList;
        ObjectAddress intoRelationAddr;
        Relation        intoRelationDesc;
        RangeTblEntry *rte;
-       Datum           toast_options;
        ListCell   *lc;
        int                     attnum;
-       static char *validnsps[] = HEAP_RELOPT_NAMESPACES;
 
        Assert(into != NULL);           /* else somebody forgot to set it */
 
@@ -302,63 +458,32 @@ intorel_startup(DestReceiver *self, int operation, TupleDesc typeinfo)
        is_matview = (into->viewQuery != NULL);
        relkind = is_matview ? RELKIND_MATVIEW : RELKIND_RELATION;
 
-       /*
-        * Create the target relation by faking up a CREATE TABLE parsetree and
-        * passing it to DefineRelation.
-        */
-       create = makeNode(CreateStmt);
-       create->relation = into->rel;
-       create->tableElts = NIL;        /* will fill below */
-       create->inhRelations = NIL;
-       create->ofTypename = NULL;
-       create->constraints = NIL;
-       create->options = into->options;
-       create->oncommit = into->onCommit;
-       create->tablespacename = into->tableSpaceName;
-       create->if_not_exists = false;
-
        /*
         * Build column definitions using "pre-cooked" type and collation info. If
         * a column name list was specified in CREATE TABLE AS, override the
         * column names derived from the query.  (Too few column names are OK, too
         * many are not.)
         */
+       attrList = NIL;
        lc = list_head(into->colNames);
        for (attnum = 0; attnum < typeinfo->natts; attnum++)
        {
                Form_pg_attribute attribute = typeinfo->attrs[attnum];
-               ColumnDef  *col = makeNode(ColumnDef);
-               TypeName   *coltype = makeNode(TypeName);
+               ColumnDef  *col;
+               char       *colname;
 
                if (lc)
                {
-                       col->colname = strVal(lfirst(lc));
+                       colname = strVal(lfirst(lc));
                        lc = lnext(lc);
                }
                else
-                       col->colname = NameStr(attribute->attname);
-               col->typeName = coltype;
-               col->inhcount = 0;
-               col->is_local = true;
-               col->is_not_null = false;
-               col->is_from_type = false;
-               col->storage = 0;
-               col->raw_default = NULL;
-               col->cooked_default = NULL;
-               col->collClause = NULL;
-               col->collOid = attribute->attcollation;
-               col->constraints = NIL;
-               col->fdwoptions = NIL;
-               col->location = -1;
-
-               coltype->names = NIL;
-               coltype->typeOid = attribute->atttypid;
-               coltype->setof = false;
-               coltype->pct_type = false;
-               coltype->typmods = NIL;
-               coltype->typemod = attribute->atttypmod;
-               coltype->arrayBounds = NIL;
-               coltype->location = -1;
+                       colname = NameStr(attribute->attname);
+
+               col = makeColumnDef(colname,
+                                                       attribute->atttypid,
+                                                       attribute->atttypmod,
+                                                       attribute->attcollation);
 
                /*
                 * It's possible that the column is of a collatable type but the
@@ -367,14 +492,15 @@ intorel_startup(DestReceiver *self, int operation, TupleDesc typeinfo)
                 * collation rather than complaining.)
                 */
                if (!OidIsValid(col->collOid) &&
-                       type_is_collatable(coltype->typeOid))
+                       type_is_collatable(col->typeName->typeOid))
                        ereport(ERROR,
                                        (errcode(ERRCODE_INDETERMINATE_COLLATION),
                                         errmsg("no collation was derived for column \"%s\" with collatable type %s",
-                                                       col->colname, format_type_be(coltype->typeOid)),
+                                                       col->colname,
+                                                       format_type_be(col->typeName->typeOid)),
                                         errhint("Use the COLLATE clause to set the collation explicitly.")));
 
-               create->tableElts = lappend(create->tableElts, col);
+               attrList = lappend(attrList, col);
        }
 
        if (lc != NULL)
@@ -385,35 +511,7 @@ intorel_startup(DestReceiver *self, int operation, TupleDesc typeinfo)
        /*
         * Actually create the target table
         */
-       intoRelationAddr = DefineRelation(create, relkind, InvalidOid, NULL);
-
-       /*
-        * If necessary, create a TOAST table for the target table.  Note that
-        * NewRelationCreateToastTable ends with CommandCounterIncrement(), so
-        * that the TOAST table will be visible for insertion.
-        */
-       CommandCounterIncrement();
-
-       /* parse and validate reloptions for the toast table */
-       toast_options = transformRelOptions((Datum) 0,
-                                                                               create->options,
-                                                                               "toast",
-                                                                               validnsps,
-                                                                               true, false);
-
-       (void) heap_reloptions(RELKIND_TOASTVALUE, toast_options, true);
-
-       NewRelationCreateToastTable(intoRelationAddr.objectId, toast_options);
-
-       /* Create the "view" part of a materialized view. */
-       if (is_matview)
-       {
-               /* StoreViewQuery scribbles on tree, so make a copy */
-               Query      *query = (Query *) copyObject(into->viewQuery);
-
-               StoreViewQuery(intoRelationAddr.objectId, query, false);
-               CommandCounterIncrement();
-       }
+       intoRelationAddr = create_ctas_internal(attrList, into);
 
        /*
         * Finally we can open the target table
@@ -462,11 +560,9 @@ intorel_startup(DestReceiver *self, int operation, TupleDesc typeinfo)
         * Fill private fields of myState for use by later routines
         */
        myState->rel = intoRelationDesc;
+       myState->reladdr = intoRelationAddr;
        myState->output_cid = GetCurrentCommandId(true);
 
-       /* and remember the new relation's address for ExecCreateTableAs */
-       CreateAsReladdr = intoRelationAddr;
-
        /*
         * We can skip WAL-logging the insertions, unless PITR or streaming
         * replication is in use. We can skip the FSM in any case.
index e9d9ba288ada0eaa4a16c264a10e5a450e615183..085bf3232054dd240bd1a124eaf7cf649ff09a1f 100644 (file)
@@ -82,25 +82,14 @@ DefineVirtualRelation(RangeVar *relation, List *tlist, bool replace,
        attrList = NIL;
        foreach(t, tlist)
        {
-               TargetEntry *tle = lfirst(t);
+               TargetEntry *tle = (TargetEntry *) lfirst(t);
 
                if (!tle->resjunk)
                {
-                       ColumnDef  *def = makeNode(ColumnDef);
-
-                       def->colname = pstrdup(tle->resname);
-                       def->typeName = makeTypeNameFromOid(exprType((Node *) tle->expr),
-                                                                                        exprTypmod((Node *) tle->expr));
-                       def->inhcount = 0;
-                       def->is_local = true;
-                       def->is_not_null = false;
-                       def->is_from_type = false;
-                       def->storage = 0;
-                       def->raw_default = NULL;
-                       def->cooked_default = NULL;
-                       def->collClause = NULL;
-                       def->collOid = exprCollation((Node *) tle->expr);
-                       def->location = -1;
+                       ColumnDef  *def = makeColumnDef(tle->resname,
+                                                                                       exprType((Node *) tle->expr),
+                                                                                       exprTypmod((Node *) tle->expr),
+                                                                                 exprCollation((Node *) tle->expr));
 
                        /*
                         * It's possible that the column is of a collatable type but the
@@ -117,7 +106,6 @@ DefineVirtualRelation(RangeVar *relation, List *tlist, bool replace,
                        }
                        else
                                Assert(!OidIsValid(def->collOid));
-                       def->constraints = NIL;
 
                        attrList = lappend(attrList, def);
                }
index f625c32df7aed9f39e6c09ebdf5f471c88244f68..d72a85ee1b16a48faf9c4f5f6788a9986f271df0 100644 (file)
@@ -476,6 +476,36 @@ makeTypeNameFromOid(Oid typeOid, int32 typmod)
        return n;
 }
 
+/*
+ * makeColumnDef -
+ *     build a ColumnDef node to represent a simple column definition.
+ *
+ * Type and collation are specified by OID.
+ * Other properties are all basic to start with.
+ */
+ColumnDef *
+makeColumnDef(const char *colname, Oid typeOid, int32 typmod, Oid collOid)
+{
+       ColumnDef  *n = makeNode(ColumnDef);
+
+       n->colname = pstrdup(colname);
+       n->typeName = makeTypeNameFromOid(typeOid, typmod);
+       n->inhcount = 0;
+       n->is_local = true;
+       n->is_not_null = false;
+       n->is_from_type = false;
+       n->storage = 0;
+       n->raw_default = NULL;
+       n->cooked_default = NULL;
+       n->collClause = NULL;
+       n->collOid = collOid;
+       n->constraints = NIL;
+       n->fdwoptions = NIL;
+       n->location = -1;
+
+       return n;
+}
+
 /*
  * makeFuncExpr -
  *     build an expression tree representing a function call.
index ef34a6e25b367905b6a2832c7edbb2e170148cca..01c5cb45d531604a6bc6408c12f16ae084390938 100644 (file)
@@ -72,6 +72,9 @@ extern TypeName *makeTypeName(char *typnam);
 extern TypeName *makeTypeNameFromNameList(List *names);
 extern TypeName *makeTypeNameFromOid(Oid typeOid, int32 typmod);
 
+extern ColumnDef *makeColumnDef(const char *colname,
+                         Oid typeOid, int32 typmod, Oid collOid);
+
 extern FuncExpr *makeFuncExpr(Oid funcid, Oid rettype, List *args,
                         Oid funccollid, Oid inputcollid, CoercionForm fformat);
 
index 7f9741ec41ec782ba7bc8bc64416081c1bb2df59..102bf1f155d0837a60dea714fe64460c249ae82e 100644 (file)
@@ -455,13 +455,23 @@ DROP TABLE mvtest_boxes CASCADE;
 NOTICE:  drop cascades to materialized view mvtest_boxmv
 -- make sure that column names are handled correctly
 CREATE TABLE mvtest_v (i int, j int);
-CREATE MATERIALIZED VIEW mvtest_mv_v (ii) AS SELECT i, j AS jj FROM mvtest_v;
+CREATE MATERIALIZED VIEW mvtest_mv_v (ii, jj, kk) AS SELECT i, j FROM mvtest_v; -- error
+ERROR:  too many column names were specified
+CREATE MATERIALIZED VIEW mvtest_mv_v (ii, jj) AS SELECT i, j FROM mvtest_v; -- ok
+CREATE MATERIALIZED VIEW mvtest_mv_v_2 (ii) AS SELECT i, j FROM mvtest_v; -- ok
+CREATE MATERIALIZED VIEW mvtest_mv_v_3 (ii, jj, kk) AS SELECT i, j FROM mvtest_v WITH NO DATA; -- error
+ERROR:  too many column names were specified
+CREATE MATERIALIZED VIEW mvtest_mv_v_3 (ii, jj) AS SELECT i, j FROM mvtest_v WITH NO DATA; -- ok
+CREATE MATERIALIZED VIEW mvtest_mv_v_4 (ii) AS SELECT i, j FROM mvtest_v WITH NO DATA; -- ok
 ALTER TABLE mvtest_v RENAME COLUMN i TO x;
 INSERT INTO mvtest_v values (1, 2);
 CREATE UNIQUE INDEX mvtest_mv_v_ii ON mvtest_mv_v (ii);
 REFRESH MATERIALIZED VIEW mvtest_mv_v;
 UPDATE mvtest_v SET j = 3 WHERE x = 1;
 REFRESH MATERIALIZED VIEW CONCURRENTLY mvtest_mv_v;
+REFRESH MATERIALIZED VIEW mvtest_mv_v_2;
+REFRESH MATERIALIZED VIEW mvtest_mv_v_3;
+REFRESH MATERIALIZED VIEW mvtest_mv_v_4;
 SELECT * FROM mvtest_v;
  x | j 
 ---+---
@@ -474,8 +484,37 @@ SELECT * FROM mvtest_mv_v;
   1 |  3
 (1 row)
 
+SELECT * FROM mvtest_mv_v_2;
+ ii | j 
+----+---
+  1 | 3
+(1 row)
+
+SELECT * FROM mvtest_mv_v_3;
+ ii | jj 
+----+----
+  1 |  3
+(1 row)
+
+SELECT * FROM mvtest_mv_v_4;
+ ii | j 
+----+---
+  1 | 3
+(1 row)
+
 DROP TABLE mvtest_v CASCADE;
-NOTICE:  drop cascades to materialized view mvtest_mv_v
+NOTICE:  drop cascades to 4 other objects
+DETAIL:  drop cascades to materialized view mvtest_mv_v
+drop cascades to materialized view mvtest_mv_v_2
+drop cascades to materialized view mvtest_mv_v_3
+drop cascades to materialized view mvtest_mv_v_4
+-- make sure that create WITH NO DATA does not plan the query (bug #13907)
+create materialized view mvtest_error as select 1/0 as x;  -- fail
+ERROR:  division by zero
+create materialized view mvtest_error as select 1/0 as x with no data;
+refresh materialized view mvtest_error;  -- fail here
+ERROR:  division by zero
+drop materialized view mvtest_error;
 -- make sure that matview rows can be referenced as source rows (bug #9398)
 CREATE TABLE mvtest_v AS SELECT generate_series(1,10) AS a;
 CREATE MATERIALIZED VIEW mvtest_mv_v AS SELECT a FROM mvtest_v WHERE a <= 5;
index b577d1b3ccb6eb73110e62e1df7e93e0105015ac..cee77e7f19754be0f8d051adf8b9354089b752f5 100644 (file)
@@ -50,6 +50,44 @@ DETAIL:  drop cascades to table selinto_schema.tmp1
 drop cascades to table selinto_schema.tmp2
 drop cascades to table selinto_schema.tmp3
 DROP USER selinto_user;
+-- Tests for WITH NO DATA and column name consistency
+CREATE TABLE ctas_base (i int, j int);
+INSERT INTO ctas_base VALUES (1, 2);
+CREATE TABLE ctas_nodata (ii, jj, kk) AS SELECT i, j FROM ctas_base; -- Error
+ERROR:  too many column names were specified
+CREATE TABLE ctas_nodata (ii, jj, kk) AS SELECT i, j FROM ctas_base WITH NO DATA; -- Error
+ERROR:  too many column names were specified
+CREATE TABLE ctas_nodata (ii, jj) AS SELECT i, j FROM ctas_base; -- OK
+CREATE TABLE ctas_nodata_2 (ii, jj) AS SELECT i, j FROM ctas_base WITH NO DATA; -- OK
+CREATE TABLE ctas_nodata_3 (ii) AS SELECT i, j FROM ctas_base; -- OK
+CREATE TABLE ctas_nodata_4 (ii) AS SELECT i, j FROM ctas_base WITH NO DATA; -- OK
+SELECT * FROM ctas_nodata;
+ ii | jj 
+----+----
+  1 |  2
+(1 row)
+
+SELECT * FROM ctas_nodata_2;
+ ii | jj 
+----+----
+(0 rows)
+
+SELECT * FROM ctas_nodata_3;
+ ii | j 
+----+---
+  1 | 2
+(1 row)
+
+SELECT * FROM ctas_nodata_4;
+ ii | j 
+----+---
+(0 rows)
+
+DROP TABLE ctas_base;
+DROP TABLE ctas_nodata;
+DROP TABLE ctas_nodata_2;
+DROP TABLE ctas_nodata_3;
+DROP TABLE ctas_nodata_4;
 --
 -- CREATE TABLE AS/SELECT INTO as last command in a SQL function
 -- have been known to cause problems
index 002698ab57ad70192878d917127c156615d6b53c..a108b6943dcad0c947234e00a3cf4d56eab3c004 100644 (file)
@@ -176,17 +176,34 @@ DROP TABLE mvtest_boxes CASCADE;
 
 -- make sure that column names are handled correctly
 CREATE TABLE mvtest_v (i int, j int);
-CREATE MATERIALIZED VIEW mvtest_mv_v (ii) AS SELECT i, j AS jj FROM mvtest_v;
+CREATE MATERIALIZED VIEW mvtest_mv_v (ii, jj, kk) AS SELECT i, j FROM mvtest_v; -- error
+CREATE MATERIALIZED VIEW mvtest_mv_v (ii, jj) AS SELECT i, j FROM mvtest_v; -- ok
+CREATE MATERIALIZED VIEW mvtest_mv_v_2 (ii) AS SELECT i, j FROM mvtest_v; -- ok
+CREATE MATERIALIZED VIEW mvtest_mv_v_3 (ii, jj, kk) AS SELECT i, j FROM mvtest_v WITH NO DATA; -- error
+CREATE MATERIALIZED VIEW mvtest_mv_v_3 (ii, jj) AS SELECT i, j FROM mvtest_v WITH NO DATA; -- ok
+CREATE MATERIALIZED VIEW mvtest_mv_v_4 (ii) AS SELECT i, j FROM mvtest_v WITH NO DATA; -- ok
 ALTER TABLE mvtest_v RENAME COLUMN i TO x;
 INSERT INTO mvtest_v values (1, 2);
 CREATE UNIQUE INDEX mvtest_mv_v_ii ON mvtest_mv_v (ii);
 REFRESH MATERIALIZED VIEW mvtest_mv_v;
 UPDATE mvtest_v SET j = 3 WHERE x = 1;
 REFRESH MATERIALIZED VIEW CONCURRENTLY mvtest_mv_v;
+REFRESH MATERIALIZED VIEW mvtest_mv_v_2;
+REFRESH MATERIALIZED VIEW mvtest_mv_v_3;
+REFRESH MATERIALIZED VIEW mvtest_mv_v_4;
 SELECT * FROM mvtest_v;
 SELECT * FROM mvtest_mv_v;
+SELECT * FROM mvtest_mv_v_2;
+SELECT * FROM mvtest_mv_v_3;
+SELECT * FROM mvtest_mv_v_4;
 DROP TABLE mvtest_v CASCADE;
 
+-- make sure that create WITH NO DATA does not plan the query (bug #13907)
+create materialized view mvtest_error as select 1/0 as x;  -- fail
+create materialized view mvtest_error as select 1/0 as x with no data;
+refresh materialized view mvtest_error;  -- fail here
+drop materialized view mvtest_error;
+
 -- make sure that matview rows can be referenced as source rows (bug #9398)
 CREATE TABLE mvtest_v AS SELECT generate_series(1,10) AS a;
 CREATE MATERIALIZED VIEW mvtest_mv_v AS SELECT a FROM mvtest_v WHERE a <= 5;
index e4460aea2fd5162441356f59165fe3ac22ee2d77..632077c4a4f76e100e0f71a276b905eba52f0bd0 100644 (file)
@@ -53,6 +53,25 @@ RESET SESSION AUTHORIZATION;
 DROP SCHEMA selinto_schema CASCADE;
 DROP USER selinto_user;
 
+-- Tests for WITH NO DATA and column name consistency
+CREATE TABLE ctas_base (i int, j int);
+INSERT INTO ctas_base VALUES (1, 2);
+CREATE TABLE ctas_nodata (ii, jj, kk) AS SELECT i, j FROM ctas_base; -- Error
+CREATE TABLE ctas_nodata (ii, jj, kk) AS SELECT i, j FROM ctas_base WITH NO DATA; -- Error
+CREATE TABLE ctas_nodata (ii, jj) AS SELECT i, j FROM ctas_base; -- OK
+CREATE TABLE ctas_nodata_2 (ii, jj) AS SELECT i, j FROM ctas_base WITH NO DATA; -- OK
+CREATE TABLE ctas_nodata_3 (ii) AS SELECT i, j FROM ctas_base; -- OK
+CREATE TABLE ctas_nodata_4 (ii) AS SELECT i, j FROM ctas_base WITH NO DATA; -- OK
+SELECT * FROM ctas_nodata;
+SELECT * FROM ctas_nodata_2;
+SELECT * FROM ctas_nodata_3;
+SELECT * FROM ctas_nodata_4;
+DROP TABLE ctas_base;
+DROP TABLE ctas_nodata;
+DROP TABLE ctas_nodata_2;
+DROP TABLE ctas_nodata_3;
+DROP TABLE ctas_nodata_4;
+
 --
 -- CREATE TABLE AS/SELECT INTO as last command in a SQL function
 -- have been known to cause problems