MIME-Version: 1.0
References: <d2d872c3-84f9-48f6-9963-f4537f02bc91@eisentraut.org>
 <adb15d59-2e6b-4d2e-ac5b-7aaea41f738f@gmail.com>
 <CAK98qZ2QGcyJrJAFv9wjY6S8yP9dUVnmG9Gb4OXuzuMMuM1Z5Q@mail.gmail.com>
 <b24dc997-d78f-47bd-b323-14e68232d127@dunslane.net>
 <21fa36b4-6d56-4556-b524-9e3955b922c8@eisentraut.org>
 <CAK98qZ3Ly6PhRwCVmMKJBba5oHVF9k370MMT2b_gep-SuQfRtg@mail.gmail.com>
 <CAK98qZ1za8XgOLY+2hQMPGoxVYFyh=dDkM2dZPVeJK4J6poyvA@mail.gmail.com>
 <CAK98qZ0EfrPcv3ZwGdeDiLPEpXYfHOEc8S2D=OCPJGcyWy5d-g@mail.gmail.com>
 <CAK98qZ1rZaVNy6ViangQom4iinZVH7=ebqhTsPxMQbN5ZtE9XQ@mail.gmail.com>
 <CAFY6G8cY5SUG5L-0ryVpom6HynE49p8-XQ59qkaEgnZZJ-c4Rg@mail.gmail.com>
 <CAFY6G8eUGcU3A4AHprgYbSOAOj7+WGhGxS_YP0wd2+aCpZTiNg@mail.gmail.com>
 <CAK98qZ14uKKRVFg4ibzMfReYaZD6Byxq8nYnvNNtXNjCfcd8kQ@mail.gmail.com>
 <CAHgHdKtL9nNaKXGCLt9gWugVzYWKhoBDQ7NESUwdCBty8kFK-A@mail.gmail.com>
 <CAK98qZ1nz6ZZhQqTOCNwRguZE5GsBLW5BQT_k=s7AA6gc2CN_g@mail.gmail.com>
 <c7dc6735-57cb-4287-871f-4c92a7205357@postgresfriends.org>
 <CAN-LCVM6A9z6AzxsEX-vx9=3XgEUU6+zjUqejQw8LfjaRY5P1A@mail.gmail.com>
 <CAK98qZ2Pmf6ZSChLq+CEPKJ_8jSa0gFTNJWJTcWbCziDpqa=CA@mail.gmail.com>
 <CACJufxEt5bL-xYojenA7x1Fq=-DfhW3KGH=3Zz9TjJ1k95=uuQ@mail.gmail.com>
 <CACJufxFAaJ3=X7wnGmS0857ia8+-iwDzxhua9X8Qnh_CVB1V1A@mail.gmail.com>
In-Reply-To: 
 <CACJufxFAaJ3=X7wnGmS0857ia8+-iwDzxhua9X8Qnh_CVB1V1A@mail.gmail.com>
From: jian he <jian.universality@gmail.com>
Date: Wed, 25 Jun 2025 15:40:50 +0800
Message-ID: 
 <CACJufxGPUKL39f7GX9PDRsUAHGZvtOGTuiUWVrMSP63FAgVVGA@mail.gmail.com>
Subject: Re: SQL:2023 JSON simplified accessor support
To: Alexandra Wang <alexandra.wang.oss@gmail.com>
Cc: Nikita Malakhov <hukutoc@gmail.com>,
 Vik Fearing <vik@postgresfriends.org>,
	Mark Dilger <mark.dilger@enterprisedb.com>,
 Matheus Alcantara <matheusssilv97@gmail.com>,
	Peter Eisentraut <peter@eisentraut.org>,
 Andrew Dunstan <andrew@dunslane.net>,
	Nikita Glukhov <glukhov.n.a@gmail.com>,
 PostgreSQL Hackers <pgsql-hackers@postgresql.org>,
	"David E. Wheeler" <david@justatheory.com>
Content-Type: multipart/mixed; boundary="00000000000085b0b80638609218"
Archived-At: 
 <https://www.postgresql.org/message-id/CACJufxGPUKL39f7GX9PDRsUAHGZvtOGTuiUWVrMSP63FAgVVGA%40mail.gmail.com>
Precedence: bulk

--00000000000085b0b80638609218
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Wed, Jun 25, 2025 at 1:56=E2=80=AFPM jian he <jian.universality@gmail.co=
m> wrote:
>
> hi.

CREATE TABLE test_jsonb_dot_notation AS
SELECT '{"a": [1, 2, {"b": "c"}, {"b": "d", "e": "f", "x": {"y":
"yyy", "z": "zzz"}}], "b": [3, 4, {"b": "g", "x": {"y": "YYY", "z":
"ZZZ"}}]}'::jsonb jb;
CREATE VIEW v1 AS SELECT (jb).a[3].x.y FROM test_jsonb_dot_notation;
CREATE VIEW v2 AS SELECT (jb).a[3:].x.y[:-1] FROM test_jsonb_dot_notation;
CREATE VIEW v3 AS SELECT (jb).a[:3].x.y[-1:] FROM test_jsonb_dot_notation;

\sv v2
\sv v3
will trigger segment fault.

also do we need ban subscript slicing, when upper bound is less than
lower bound,
for example:
SELECT (jb).a[3:].x.y[0:'-1'::integer] AS y FROM test_jsonb_dot_notation;

please check the attached minor refactoring, which addresses the above issu=
e
based on patches v11-0001 through v11-0006.

--00000000000085b0b80638609218
Content-Type: application/octet-stream;
	name="v11-0001-misc-refactoring-SubscriptingRef-deparsing.no-cfbot"
Content-Disposition: attachment;
	filename="v11-0001-misc-refactoring-SubscriptingRef-deparsing.no-cfbot"
Content-Transfer-Encoding: base64
Content-ID: <f_mcbna9b70>
X-Attachment-Id: f_mcbna9b70

RnJvbSBjMmFkMjZlZmRlZGI0N2YyNDU1YTI5NzkzMmRjYTM2MzgwZTM3NDBkIE1vbiBTZXAgMTcg
MDA6MDA6MDAgMjAwMQpGcm9tOiBqaWFuIGhlIDxqaWFuLnVuaXZlcnNhbGl0eUBnbWFpbC5jb20+
CkRhdGU6IFdlZCwgMjUgSnVuIDIwMjUgMTU6MzE6MjYgKzA4MDAKU3ViamVjdDogW1BBVENIIHYx
MSAxLzFdIG1pc2MgcmVmYWN0b3JpbmcgU3Vic2NyaXB0aW5nUmVmIGRlcGFyc2luZwoKLS0tCiBz
cmMvYmFja2VuZC91dGlscy9hZHQvcnVsZXV0aWxzLmMgICB8ICA2ICsrKysrLQogc3JjL3Rlc3Qv
cmVncmVzcy9leHBlY3RlZC9qc29uYi5vdXQgfCAyMCArKysrKysrKysrKysrKysrKystLQogc3Jj
L3Rlc3QvcmVncmVzcy9zcWwvanNvbmIuc3FsICAgICAgfCAgOCArKysrKysrKwogMyBmaWxlcyBj
aGFuZ2VkLCAzMSBpbnNlcnRpb25zKCspLCAzIGRlbGV0aW9ucygtKQoKZGlmZiAtLWdpdCBhL3Ny
Yy9iYWNrZW5kL3V0aWxzL2FkdC9ydWxldXRpbHMuYyBiL3NyYy9iYWNrZW5kL3V0aWxzL2FkdC9y
dWxldXRpbHMuYwppbmRleCBjMThlMDhkZWUyOS4uZmRkOGIyMjQ5MDYgMTAwNjQ0Ci0tLSBhL3Ny
Yy9iYWNrZW5kL3V0aWxzL2FkdC9ydWxldXRpbHMuYworKysgYi9zcmMvYmFja2VuZC91dGlscy9h
ZHQvcnVsZXV0aWxzLmMKQEAgLTkzMzQsNiArOTMzNCwxMCBAQCBnZXRfcnVsZV9leHByKE5vZGUg
Km5vZGUsIGRlcGFyc2VfY29udGV4dCAqY29udGV4dCwKIAkJCQkgKi8KIAkJCQluZWVkX3BhcmVu
cyA9ICFJc0Eoc2JzcmVmLT5yZWZleHByLCBWYXIpICYmCiAJCQkJCSFJc0Eoc2JzcmVmLT5yZWZl
eHByLCBGaWVsZFNlbGVjdCk7CisKKwkJCQlpZiAoc2JzcmVmLT5yZWZqc29uYnBhdGggIT0gTlVM
TCkKKwkJCQkJbmVlZF9wYXJlbnMgPSB0cnVlOworCiAJCQkJaWYgKG5lZWRfcGFyZW5zKQogCQkJ
CQlhcHBlbmRTdHJpbmdJbmZvQ2hhcihidWYsICcoJyk7CiAJCQkJZ2V0X3J1bGVfZXhwcigoTm9k
ZSAqKSBzYnNyZWYtPnJlZmV4cHIsIGNvbnRleHQsIHNob3dpbXBsaWNpdCk7CkBAIC0xMzAwOCw3
ICsxMzAxMiw3IEBAIHByaW50U3Vic2NyaXB0cyhTdWJzY3JpcHRpbmdSZWYgKnNic3JlZiwgZGVw
YXJzZV9jb250ZXh0ICpjb250ZXh0KQogCXsKIAkJTm9kZQkgICAqdXAgPSAoTm9kZSAqKSBsZmly
c3QodXBsaXN0X2l0ZW0pOwogCi0JCWlmIChJc0EodXAsIFN0cmluZykpCisJCWlmICh1cCAhPSBO
VUxMICYmIElzQSh1cCwgU3RyaW5nKSkKIAkJewogCQkJYXBwZW5kU3RyaW5nSW5mb0NoYXIoYnVm
LCAnLicpOwogCQkJYXBwZW5kU3RyaW5nSW5mb1N0cmluZyhidWYsIHF1b3RlX2lkZW50aWZpZXIo
c3RyVmFsKHVwKSkpOwpkaWZmIC0tZ2l0IGEvc3JjL3Rlc3QvcmVncmVzcy9leHBlY3RlZC9qc29u
Yi5vdXQgYi9zcmMvdGVzdC9yZWdyZXNzL2V4cGVjdGVkL2pzb25iLm91dAppbmRleCAxMTQyMDBl
MGU0My4uNWQ1MzZlYTVjOTUgMTAwNjQ0Ci0tLSBhL3NyYy90ZXN0L3JlZ3Jlc3MvZXhwZWN0ZWQv
anNvbmIub3V0CisrKyBiL3NyYy90ZXN0L3JlZ3Jlc3MvZXhwZWN0ZWQvanNvbmIub3V0CkBAIC02
MDM4LDcgKzYwMzgsNyBAQCBFWFBMQUlOIChWRVJCT1NFLCBDT1NUUyBPRkYpIFNFTEVDVCAodC5q
YikuYSBGUk9NIHRlc3RfanNvbmJfZG90X25vdGF0aW9uIHQ7CiAgICAgICAgICAgICAgICAgICBR
VUVSWSBQTEFOICAgICAgICAgICAgICAgICAgCiAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tCiAgU2VxIFNjYW4gb24gcHVibGljLnRlc3RfanNvbmJfZG90X25v
dGF0aW9uIHQKLSAgIE91dHB1dDogamIuYQorICAgT3V0cHV0OiAoamIpLmEKICgyIHJvd3MpCiAK
IFNFTEVDVCAodC5qYikuYSBGUk9NIHRlc3RfanNvbmJfZG90X25vdGF0aW9uIHQ7CkBAIC02MDUx
LDcgKzYwNTEsNyBAQCBFWFBMQUlOIChWRVJCT1NFLCBDT1NUUyBPRkYpIFNFTEVDVCAoamIpLmFb
MV0gRlJPTSB0ZXN0X2pzb25iX2RvdF9ub3RhdGlvbjsKICAgICAgICAgICAgICAgICAgUVVFUlkg
UExBTiAgICAgICAgICAgICAgICAgCiAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLQogIFNlcSBTY2FuIG9uIHB1YmxpYy50ZXN0X2pzb25iX2RvdF9ub3RhdGlvbgot
ICAgT3V0cHV0OiBqYi5hWzFdCisgICBPdXRwdXQ6IChqYikuYVsxXQogKDIgcm93cykKIAogU0VM
RUNUIChqYikuYVsxXSBGUk9NIHRlc3RfanNvbmJfZG90X25vdGF0aW9uOwpAQCAtNjA2MCw2ICs2
MDYwLDIyIEBAIFNFTEVDVCAoamIpLmFbMV0gRlJPTSB0ZXN0X2pzb25iX2RvdF9ub3RhdGlvbjsK
ICAyCiAoMSByb3cpCiAKK0NSRUFURSBWSUVXIHYxIEFTIFNFTEVDVCAoamIpLmFbM10ueC55IEZS
T00gdGVzdF9qc29uYl9kb3Rfbm90YXRpb247CitDUkVBVEUgVklFVyB2MiBBUyBTRUxFQ1QgKGpi
KS5hWzM6XS54LnlbOi0xXSBGUk9NIHRlc3RfanNvbmJfZG90X25vdGF0aW9uOworQ1JFQVRFIFZJ
RVcgdjMgQVMgU0VMRUNUIChqYikuYVs6M10ueC55Wy0xOl0gRlJPTSB0ZXN0X2pzb25iX2RvdF9u
b3RhdGlvbjsKK1xzdiB2MQorQ1JFQVRFIE9SIFJFUExBQ0UgVklFVyBwdWJsaWMudjEgQVMKKyBT
RUxFQ1QgKGpiKS5hWzNdLngueSBBUyB5CisgICBGUk9NIHRlc3RfanNvbmJfZG90X25vdGF0aW9u
Citcc3YgdjIKK0NSRUFURSBPUiBSRVBMQUNFIFZJRVcgcHVibGljLnYyIEFTCisgU0VMRUNUIChq
YikuYVszOl0ueC55WzA6Jy0xJzo6aW50ZWdlcl0gQVMgeQorICAgRlJPTSB0ZXN0X2pzb25iX2Rv
dF9ub3RhdGlvbgorXHN2IHYzCitDUkVBVEUgT1IgUkVQTEFDRSBWSUVXIHB1YmxpYy52MyBBUwor
IFNFTEVDVCAoamIpLmFbMDozXS54LnlbJy0xJzo6aW50ZWdlcjpdIEFTIHkKKyAgIEZST00gdGVz
dF9qc29uYl9kb3Rfbm90YXRpb24KK0RST1AgVklFVyB2MSwgdjIsIHYzOwogLS0ganNvbmIgYXJy
YXkgYWNjZXNzIGluIHBscGdzcWwKIERPICQkCiBERUNMQVJFCmRpZmYgLS1naXQgYS9zcmMvdGVz
dC9yZWdyZXNzL3NxbC9qc29uYi5zcWwgYi9zcmMvdGVzdC9yZWdyZXNzL3NxbC9qc29uYi5zcWwK
aW5kZXggNGJkMzk5MGZiNTUuLjZhYTcxYzdjM2E0IDEwMDY0NAotLS0gYS9zcmMvdGVzdC9yZWdy
ZXNzL3NxbC9qc29uYi5zcWwKKysrIGIvc3JjL3Rlc3QvcmVncmVzcy9zcWwvanNvbmIuc3FsCkBA
IC0xNjM0LDYgKzE2MzQsMTQgQEAgU0VMRUNUICh0LmpiKS5hIEZST00gdGVzdF9qc29uYl9kb3Rf
bm90YXRpb24gdDsKIEVYUExBSU4gKFZFUkJPU0UsIENPU1RTIE9GRikgU0VMRUNUIChqYikuYVsx
XSBGUk9NIHRlc3RfanNvbmJfZG90X25vdGF0aW9uOwogU0VMRUNUIChqYikuYVsxXSBGUk9NIHRl
c3RfanNvbmJfZG90X25vdGF0aW9uOwogCitDUkVBVEUgVklFVyB2MSBBUyBTRUxFQ1QgKGpiKS5h
WzNdLngueSBGUk9NIHRlc3RfanNvbmJfZG90X25vdGF0aW9uOworQ1JFQVRFIFZJRVcgdjIgQVMg
U0VMRUNUIChqYikuYVszOl0ueC55WzotMV0gRlJPTSB0ZXN0X2pzb25iX2RvdF9ub3RhdGlvbjsK
K0NSRUFURSBWSUVXIHYzIEFTIFNFTEVDVCAoamIpLmFbOjNdLngueVstMTpdIEZST00gdGVzdF9q
c29uYl9kb3Rfbm90YXRpb247Citcc3YgdjEKK1xzdiB2MgorXHN2IHYzCitEUk9QIFZJRVcgdjEs
IHYyLCB2MzsKKwogLS0ganNvbmIgYXJyYXkgYWNjZXNzIGluIHBscGdzcWwKIERPICQkCiBERUNM
QVJFCi0tIAoyLjM0LjEKCg==
--00000000000085b0b80638609218--