Received: from malur.postgresql.org ([217.196.149.56])
	by arkaria.postgresql.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256)
	(Exim 4.89)
	(envelope-from <pgsql-hackers-owner+archive@lists.postgresql.org>)
	id 1gyr6i-0000Uo-H9
	for pgsql-hackers@arkaria.postgresql.org; Wed, 27 Feb 2019 04:46:12 +0000
Received: from localhost ([127.0.0.1] helo=malur.postgresql.org)
	by malur.postgresql.org with esmtp (Exim 4.89)
	(envelope-from <pgsql-hackers-owner+archive@lists.postgresql.org>)
	id 1gyr6h-0005NV-Ak
	for pgsql-hackers@arkaria.postgresql.org; Wed, 27 Feb 2019 04:46:11 +0000
Received: from makus.postgresql.org ([2001:4800:3e1:1::229])
	by malur.postgresql.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256)
	(Exim 4.89)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1gyr6g-0005NO-W6
	for pgsql-hackers@lists.postgresql.org; Wed, 27 Feb 2019 04:46:11 +0000
Received: from sss.pgh.pa.us ([66.207.139.130])
	by makus.postgresql.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256)
	(Exim 4.89)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1gyr6e-0000Kq-Fy
	for pgsql-hackers@postgresql.org; Wed, 27 Feb 2019 04:46:09 +0000
Received: from sss1.sss.pgh.pa.us (localhost [127.0.0.1])
	by sss.pgh.pa.us (8.14.4/8.14.4) with ESMTP id x1R4jub4022552;
	Tue, 26 Feb 2019 23:45:57 -0500
From: Tom Lane <tgl@sss.pgh.pa.us>
To: Andrew Gierth <andrew@tao11.riddles.org.uk>
cc: Andreas Karlsson <andreas@proxel.se>,
        Tomas Vondra <tomas.vondra@2ndquadrant.com>,
        Merlin Moncure <mmoncure@gmail.com>,
        Alvaro Herrera <alvherre@2ndquadrant.com>,
        Peter Eisentraut <peter.eisentraut@2ndquadrant.com>,
        Michael Paquier <michael@paquier.xyz>,
        Robert Haas <robertmhaas@gmail.com>,
        Andres Freund <andres@anarazel.de>,
        Thomas Munro <thomas.munro@enterprisedb.com>,
        David Fetter <david@fetter.org>,
        Pg Hackers <pgsql-hackers@postgresql.org>
Subject: Re: Early WIP/PoC for inlining CTEs
In-reply-to: <87h8cqf37i.fsf@news-spur.riddles.org.uk>
References: <c94d0ddb-d7f8-84be-46a2-8eb569561948@2ndquadrant.com>
 <20190214160209.GA13250@alvherre.pgsql>
 <CAHyXU0z6s6gWVYPCuRvNc633+EyG+Y2x_SDp=HhdObNe-U1NEQ@mail.gmail.com>
 <ff927085-883e-6a68-d2e0-e70b6971af4a@2ndquadrant.com>
 <31353.1550351689@sss.pgh.pa.us>
 <62080f95-3934-4700-00ca-7c35630ab7a0@proxel.se>
 <87wolmg60q.fsf@news-spur.riddles.org.uk> <6696.1551192698@sss.pgh.pa.us>
 <87h8cqf37i.fsf@news-spur.riddles.org.uk>
Comments: In-reply-to Andrew Gierth <andrew@tao11.riddles.org.uk>
	message dated "Wed, 27 Feb 2019 01:11:35 +0000"
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <22550.1551242756.1@sss.pgh.pa.us>
Date: Tue, 26 Feb 2019 23:45:56 -0500
Message-ID: <22551.1551242756@sss.pgh.pa.us>
List-Id: <pgsql-hackers.lists.postgresql.org>
List-Help: <https://lists.postgresql.org/manage/>
List-Subscribe: <https://lists.postgresql.org/manage/>
List-Post: <mailto:pgsql-hackers@lists.postgresql.org>
List-Owner: <mailto:pgsql-hackers-owner@lists.postgresql.org>
List-Archive: <https://www.postgresql.org/list/pgsql-hackers>
Precedence: bulk

Andrew Gierth <andrew@tao11.riddles.org.uk> writes:
> "Tom" == Tom Lane <tgl@sss.pgh.pa.us> writes:
>  Tom> Also, I thought of a somewhat-related scenario that the code isn't
>  Tom> accounting for: you can break the restrictions about single
>  Tom> evaluation with nested WITHs, like

> I also thought about that. But what I thought about it on reflection
> was: if the user explicitly wrote NOT MATERIALIZED, then we should
> assume they mean it.

Ah, but the example I gave also had MATERIALIZED on the inner WITH.
Why should the user not also mean that?

			regards, tom lane