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 1wI4Vq-007lRZ-1S for pgsql-hackers@arkaria.postgresql.org; Wed, 29 Apr 2026 12:59:35 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.96) (envelope-from ) id 1wI4Vp-003ZAa-1A for pgsql-hackers@arkaria.postgresql.org; Wed, 29 Apr 2026 12:59:33 +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.96) (envelope-from ) id 1wI4Vo-003ZAR-3D for pgsql-hackers@lists.postgresql.org; Wed, 29 Apr 2026 12:59:33 +0000 Received: from mail-pf1-x429.google.com ([2607:f8b0:4864:20::429]) by magus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.98.2) (envelope-from ) id 1wI4Vm-00000003nnJ-1pSN for pgsql-hackers@lists.postgresql.org; Wed, 29 Apr 2026 12:59:32 +0000 Received: by mail-pf1-x429.google.com with SMTP id d2e1a72fcca58-82f1bfc9b8fso5711430b3a.1 for ; Wed, 29 Apr 2026 05:59:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1777467568; x=1778072368; darn=lists.postgresql.org; h=references:to:cc:in-reply-to:date:subject:mime-version:message-id :from:from:to:cc:subject:date:message-id:reply-to; bh=U2RYRaQk2ivaAZ7KO2xr9vc3J+9a6jMQvtfYbMSkNe4=; b=JDhiJ1p2g+TiUJ3zBU9ADflKr3Xo3Yba9RG07R6gv0lVwweinwsN2Y4ZEPzIBOPhGj cOISP20+SGIaDbV40+5TVByzM/mcLHzreUNOOeeKbbq/Hp1F7jGNqsb5CV++rGPhfUCF Y42GQcddK9H9KdaQW+tbP9FOlELpMLaPXzzGPqsZvx0XM1Ohm1APB4eIrWVy/9OOIk7l oM0mGl55o7KbT89AMnfW9oqyy5OsJDFOlYLRFawA3fqT8cOLjbZNEBMaCUPSQRA7oPdb bBSTkOufpk5cSXIqokLj8la5qN/ilMb1Y5mETWHlVbMRdBaA2vsYHGog3vBCNz5j6fUD HPBQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1777467568; x=1778072368; h=references:to:cc:in-reply-to:date:subject:mime-version:message-id :from:x-gm-gg:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=U2RYRaQk2ivaAZ7KO2xr9vc3J+9a6jMQvtfYbMSkNe4=; b=jOARLaHFdGXDSlP9c3QSho8u+HpCw7+lYW5s7rClvsiY8xW+4LcIQhCUuA8yveSouS iurGjq31xAW2ZDzOA7ithPXU2/deqPzQ5W1zuQ5Y/UUyBUITrakeqYvr+sQm/j4P4Agf tH/s0zsTQzUoZg0SZuld48jV99OO/wv+x7kQ0EZjALF9CYoPKmCGDAI8IDII+Pt2sorQ 9OrD2tS56XTuyrq1GVw7CiOmnl0E5LMSsFSXcaGbD7Ml5dLh0T/g+uDzv8R6eYOVevLE lF35G0VJS7cTLEHqv22OQP6Kf7A2pR+MCbDTEpZjV8ewVZ7Zwdpmi2Ah8NZlxJ1vQzst ApxA== X-Forwarded-Encrypted: i=1; AFNElJ+bSDHSVlGhSauUb7O5EntS14fXiejT6/NB0A8oLR0HMmuNvlVQSKkLSoO3jBwE3SdISUtcRYl6lBtUWkj1@lists.postgresql.org X-Gm-Message-State: AOJu0Yym+mQpIPiqvf6jFV5U8sX14xZGd82v0M1Pgs/+kJzvWxgWIQhD scGlJfYYR+UIJAYmX4tmCbqqi9UXZ3ugYPadbHhIlaBK86W2/t1OLBXY X-Gm-Gg: AeBDievLbuRd/qYBHKThNvtyq8Rvdkf6pKaOu2I8SIy0VMjW+AJufeDtLLd6ZxLY3MI jLhkAHxk6Dpll470SCZx0SYo236HDqZbIb/LU4tImPBcD4LD7xdvzcYslfZe9fQIadJ2WOofRy6 imdjOoNXOTaKVhlsG7P4PXYbtq4ZDeM2+aMTRLFOVnMD/h/K1I19c5Z5Z+qY7FhdRh4PxdB9NgO H9vFTPQTt8uqz/0qYc7+9IM7uxoUTc1Gw+Lcj3JVJjKbi/t6FJ5REOr8rItLr3XrDdtgTzo0aF5 okSNML+LxP0WnXUcpumSUygbTE3Omf+K19m93SIIAb8g0PUjGLx8FitwRmCLnCF7o9zelOlpLE9 z3ka9+Fo6ijXQeZGXg2kUE4UnWPCA2W1jw/M/4Ak3x8OzFQNeaQ2jsoI6d1KjzM+zdUzZr8uRhE nGnXH/t3pzn1vgEZyla5/XBBGZHiYM8wb9QYcLJBv2cQ== X-Received: by 2002:a05:6a00:6c83:b0:82c:ae0e:dea with SMTP id d2e1a72fcca58-834ddb9f511mr7410772b3a.32.1777467568205; Wed, 29 Apr 2026 05:59:28 -0700 (PDT) Received: from smtpclient.apple ([45.32.121.103]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-834ed7eb783sm2034910b3a.42.2026.04.29.05.59.25 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 29 Apr 2026 05:59:27 -0700 (PDT) From: Chao Li Message-Id: <0E47B575-A8AE-4366-AD73-7A25BF0D7815@gmail.com> Content-Type: multipart/mixed; boundary="Apple-Mail=_3FEB1E90-2E50-4078-B2C9-C5E27ED58F02" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3864.400.21\)) Subject: Re: [Bug][patch]: After dropping the last label from a property graph element, invoking pg_get_propgraphdef() triggers an assertion failure Date: Wed, 29 Apr 2026 20:58:47 +0800 In-Reply-To: Cc: SATYANARAYANA NARLAPURAM , PostgreSQL Hackers To: Ashutosh Bapat References: X-Mailer: Apple Mail (2.3864.400.21) List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --Apple-Mail=_3FEB1E90-2E50-4078-B2C9-C5E27ED58F02 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 > On Apr 28, 2026, at 23:02, Ashutosh Bapat = wrote: >=20 > On Tue, Apr 21, 2026 at 5:49=E2=80=AFPM Ashutosh Bapat > wrote: >>=20 >> On Tue, Apr 21, 2026 at 1:29=E2=80=AFPM SATYANARAYANA NARLAPURAM >> wrote: >>>=20 >>> Hi, >>>=20 >>> On Mon, Apr 20, 2026 at 11:58=E2=80=AFPM Ashutosh Bapat = wrote: >>>>=20 >>>> On Tue, Apr 21, 2026 at 11:28=E2=80=AFAM SATYANARAYANA NARLAPURAM >>>> wrote: >>>>>=20 >>>>> HI Ashutosh, >>>>>=20 >>>>> On Mon, Apr 20, 2026 at 10:34=E2=80=AFPM Ashutosh Bapat = wrote: >>>>>>=20 >>>>>> On Mon, Apr 20, 2026 at 11:42=E2=80=AFPM SATYANARAYANA NARLAPURAM >>>>>> wrote: >>>>>>>=20 >>>>>>> Hi hackers, >>>>>>>=20 >>>>>>> ALTER PROPERTY GRAPH ... ALTER ... DROP LABEL currently allows = removing >>>>>>> the last label from an element, leaving it with zero labels. >>>>>>>=20 >>>>>>> On assert-enabled builds, pg_get_propgraphdef() hits >>>>>>> TRAP: failed Assert("count > 0"), File: "ruleutils.c", Line: = 1837, PID: 1821840 >>>>>>>=20 >>>>>>> Repro: >>>>>>>=20 >>>>>>> CREATE TABLE t (x int PRIMARY KEY, y int, z int); >>>>>>> CREATE PROPERTY GRAPH g VERTEX TABLES (t KEY (x) LABEL l1 LABEL = l2); >>>>>>> ALTER PROPERTY GRAPH g ALTER VERTEX TABLE t DROP LABEL l2; >>>>>>> ALTER PROPERTY GRAPH g ALTER VERTEX TABLE t DROP LABEL l1; >>>>>>> SELECT pg_get_propgraphdef('g'::regclass); >>>>>>>=20 >>>>>>> We can fix it two ways, (1) Prevent dropping the last label; (2) = handle zero labels. >>>>>>> I feel it is easier to prevent dropping the last label than = handling zero labels. Thoughts? >>>>>>>=20 >>>>>>=20 >>>>>> SQL/PGQ standard section 11.25 syntax rule 6 says >>>>>> "Element table descriptor shall include two or more labels, one = of >>>>>> which has an that is equivalent to the