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.96) (envelope-from ) id 1wzz6x-004NgE-0n for pgsql-hackers@arkaria.postgresql.org; Fri, 28 Aug 2026 16:07:23 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.96) (envelope-from ) id 1wzz6w-008SnG-0h for pgsql-hackers@arkaria.postgresql.org; Fri, 28 Aug 2026 16:07:22 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1wzz6v-008Sn8-2z for pgsql-hackers@lists.postgresql.org; Fri, 28 Aug 2026 16:07:21 +0000 Received: from mail-wr1-x42c.google.com ([2a00:1450:4864:20::42c]) by makus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.98.2) (envelope-from ) id 1wzz6u-00000002rv1-0sCe for pgsql-hackers@postgresql.org; Fri, 28 Aug 2026 16:07:21 +0000 Received: by mail-wr1-x42c.google.com with SMTP id ffacd0b85a97d-482e29049adso580490f8f.2 for ; Fri, 28 Aug 2026 09:07:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1787933239; x=1788538039; darn=postgresql.org; h=in-reply-to:references:subject:to:from:cc:message-id:date :content-type:content-transfer-encoding:mime-version:from:to:cc :subject:date:message-id:reply-to:content-type; bh=YJtnWAKjKO2h8WOG9XNbs1a0kLeoosHnL1sBe6e67NA=; b=Hxwk/vvO2mDxIjN34QTC82xFk3GJwqgJtr767TQw+XWXkxcdc0UTWBQGQmE+7DVzhv 7bhCQO60xSknLu1pzxFWBJRn6I/RctCh8lZLudZtadsRrwi1AuyLvGUb8OYXKxYb0+SX EZ4kB1H1amAP1xuq7B7vCKVgNmQCGrn2MgBhl78wav/LX9vtdib6wsNiosusnLQbx2wt 2ZUELxpzpHhPPoXLwUFcmGHVFNK1Uln24+iXJ3RxeVES8Ke4A6vQUIwHgdV2b1LEuOvv CCf3QvWqC9xn7buxorPsnruLJHjJElRgTHp4IRZ7TE5W7h8Y9iyd9P+wb5PcioI+3iYa 0m3g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1787933239; x=1788538039; h=in-reply-to:references:subject:to:from:cc:message-id:date :content-type:content-transfer-encoding:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=YJtnWAKjKO2h8WOG9XNbs1a0kLeoosHnL1sBe6e67NA=; b=Wys88k46JpxJH1PGOM7Ss/gxBT1o0A4XM9NMZ27YyRGiBSnL/xkuZGG0GTIU/N74Z7 buX9JAtG9NCFfz1X6CsxnbQmbNooQRnLVolIIqiHdin1ZcK7jVv3JRKOeRWIapsr6ab8 HufFAFMw25PMzxM5DTOgNH5H87UuuiwS/MbM9Uo/EVXXBezQg4d87iRIwFajmbnO38wz Eop/hCQGUE8FGJ3+woqMKdq0kfUv9v+lJXjDya4t3M5mzYjBo9bU0zaTJnSerbE6tgc6 o6ZpxunAUZNHMp/EMxVBIalSLyXmg1yTHCK2XtUs8uOmSJX5mFGUSf7X/NbJo7I2kJE6 jRjg== X-Forwarded-Encrypted: i=1; AHgh+RoeMaBhJyFQHkKtpK7YSU7DodelJMv+2+OdUbcQDWNKB7aLrJGjXz3kjaj+1Zt8OaWZP81nOhXqYgGbbpWH@postgresql.org X-Gm-Message-State: AFuF++kofnZqcOXb6wowKnSMt67aTxCm4AYx0po5j/Wmd2YJYuBWsNuz GEQq1mgF2aQg5YlGY6kT4OEMs4l5tmjftYy2nQULax6lr1CaDg7QBmAf X-Gm-Gg: AR+sD12HvgPwFL5OD+ENj5Y2HzIkb/ARDIQ0ktT2y0Z6t8lWWFEXOYsGIpcq4WUI43B uYXN4Vk6C58B2BVu+Bfpu7Ejc5isDI8a1mrtxQugQqdxiK7IBPd+PzALbd4LPu7bVm0F8b9JwyU M5Qej3wuunGzd/c/xvDLok5I5pds5t/so3MW+eCxsiSgo74TIHUiMAQMUvTqV4x/6XKtj2IFZVQ ORPj7T/S8x/ybIF/oOK1k+/oMowYIDWlsyVrQ4V0NwUuwzXNdSgIycRdBZsJjS0A9E/Bcxz+y8Y 1eD10RodFNizpvaHw09zN7j/hA+WS9Ji5BStwEfKOlXq5mW8XLBIBp6oDNCdchP59AOJp7CZpa+ Qe8YuKk9n0O3pWg5q7PZ6TH0LvKJbeT/dKNCrmQBtUzOLTpFEljUe67/3YaVp/mnnokpcePOE3h CIp3iGC+/skG3frmIDxdnMqHR3YCN49i4L1GSio3Y4i2PWdnZsFM/FYhTcQ9e2ifemPgkfryJ/H f1eqRs= X-Received: by 2002:a05:6000:238a:b0:482:e968:86f9 with SMTP id ffacd0b85a97d-482f7a1523fmr12966527f8f.14.1787933238479; Fri, 28 Aug 2026 09:07:18 -0700 (PDT) Received: from localhost ([2a02:169:191:0:6cd4:7ec3:88a0:e101]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-482fbb32ce2sm5229964f8f.33.2026.08.28.09.07.17 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 28 Aug 2026 09:07:17 -0700 (PDT) Mime-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Date: Fri, 28 Aug 2026 18:07:17 +0200 Message-Id: Cc: =?utf-8?q?=C3=81lvaro_Herrera?= From: "Alberto Piai" To: "Laurenz Albe" , "Alberto Piai" , Subject: Re: Adding a stored generated column without long-lived locks X-Mailer: aerc 0.21.0 References: <2eb68e74ea95fc2f691de7d8cd28448d00d1d216.camel@cybertec.at> <79b63e772179abb4f5ad749d9e067d48a5537599.camel@cybertec.at> <6f5ea02f6e5205a96a9b3979190a4d7cb3c99414.camel@cybertec.at> <86a9336dc25d9a085916ad247a5791dc53d2ab13.camel@cybertec.at> <57bd5c0e2b532c07a1e6cd867520e899b1007622.camel@cybertec.at> <31fec16020bdf25d4a62cbbb4b8ea00af007e0d9.camel@cybertec.at> In-Reply-To: <31fec16020bdf25d4a62cbbb4b8ea00af007e0d9.camel@cybertec.at> List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk On Fri Aug 28, 2026 at 3:36 PM CEST, Laurenz Albe wrote: > On Fri, 2026-08-28 at 07:50 +0200, Alberto Piai wrote: >> Here's v9, rebased on top of current master. > > I can't find any fault with it; will mark it as "ready for committer". Thanks again for all the effort you put into reviewing this, very much appreciated! Before this gets eventually picked up by a committer: I am having second thoughts about my choice to allow =3D in addition to IS NOT DISTINCT FROM. The patch can absolutely be reviewed with that in mind, I think. Removing support for =3D would be an isolated change which wouldn't affect the rest of the implementation. As it stands, I'd probably prefer it committed without that, and expand on the first commit at a later point. Anyway I'll try to find time to think about a more convincing proof (or a counterexample) over the next couple of days. Best regards, Alberto --=20 Alberto Piai Sensational AG Z=C3=BCrich, Switzerland