Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1u2LGJ-00Gcs4-C3 for pgsql-docs@arkaria.postgresql.org; Wed, 09 Apr 2025 02:33:59 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1u2LGH-00HPGD-Fj for pgsql-docs@arkaria.postgresql.org; Wed, 09 Apr 2025 02:33:57 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1u2LGH-00HPG5-7n for pgsql-docs@lists.postgresql.org; Wed, 09 Apr 2025 02:33:57 +0000 Received: from sss.pgh.pa.us ([68.162.161.243]) by magus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1u2LGF-004FVY-0h for pgsql-docs@postgresql.org; Wed, 09 Apr 2025 02:33:57 +0000 Received: from sss1.sss.pgh.pa.us (localhost [127.0.0.1]) by sss.pgh.pa.us (8.15.2/8.15.2) with ESMTP id 5392XqFK111829; Tue, 8 Apr 2025 22:33:52 -0400 From: Tom Lane To: David Rowley cc: Zeyuan Hu , pgsql-docs@postgresql.org Subject: Re: Possible documentation inaccuracy in optimizer README In-reply-to: References: <3887651.1744086487@sss.pgh.pa.us> Comments: In-reply-to David Rowley message dated "Wed, 09 Apr 2025 13:24:29 +1200" MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-ID: <111827.1744166032.1@sss.pgh.pa.us> Date: Tue, 08 Apr 2025 22:33:52 -0400 Message-ID: <111828.1744166032@sss.pgh.pa.us> List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk David Rowley writes: > I don't think it'd hurt to mention that we're just ignoring the > existence of ECs for this example. Seems like a reasonable approach. > - (other possibilities will be excluded for lack of join clauses) > + (other possibilities will be excluded for lack of join clauses > + (technically, EquivalenceClasses do allow us to determine derived join > + clauses for this case, but we ignore that for the simplicity of this > + example)) Maybe better: Other possibilities will be excluded for lack of join clauses. (In reality, use of EquivalenceClasses would allow us to deduce additional join clauses that allow more join combinations, but here we ignore that to preserve the simplicity of this example.) regards, tom lane