Re: [Jsonpath] Regular expressions in filters

"Martin J. Dürst" <duerst@it.aoyama.ac.jp> Thu, 13 May 2021 09:50 UTC

Return-Path: <duerst@it.aoyama.ac.jp>
X-Original-To: jsonpath@ietfa.amsl.com
Delivered-To: jsonpath@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 034D13A31F3 for <jsonpath@ietfa.amsl.com>; Thu, 13 May 2021 02:50:43 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.9
X-Spam-Level:
X-Spam-Status: No, score=-1.9 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, MSGID_FROM_MTA_HEADER=0.001, NICE_REPLY_A=-0.001, RCVD_IN_DNSWL_BLOCKED=0.001, RCVD_IN_MSPIKE_H2=-0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=itaoyama.onmicrosoft.com
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id FH6eK5Dz2m2Q for <jsonpath@ietfa.amsl.com>; Thu, 13 May 2021 02:50:38 -0700 (PDT)
Received: from APC01-PU1-obe.outbound.protection.outlook.com (mail-eopbgr1320112.outbound.protection.outlook.com [40.107.132.112]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 084F53A31ED for <jsonpath@ietf.org>; Thu, 13 May 2021 02:50:37 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=FCkHu+dgBODaXe5zZP2XVOaQB2yQ6uWYjnS7ZrBkZ4FLSdPHliYJMT2HP8ztsqH4GEzkB2YoQfUKdfkF6xz2+On2kaHA6EI2TF8tU3Efi/46JW1xE/Uh9ZXNrHtjyAYutgAdPYhWC5RWEkKi0slytsTmnBzFiMibD2f0CijOYiIqpKkh2pBoaQMtMf/NzjT2h7FwzkpafUFGWLShqBrrP+EWIsIVZLaZeFFQhXWa6mtXaTxxOTVHqObpc0YAkcHgXz4DSYJRTTgVLHYG5ULHCt2mghBcUMApW5+nbig9dXiZxUdfeTE2wnqxAAYENSYHUJr0NUZ/PMhgmDqnPoZCBw==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=QEXvr6Ejb6eel2Or/Uv3RBkRFTlRozFXC3QifoaXr+8=; b=NmH1JlOI0ytZLY1yoEoZCHNyhAf/GRl0T3i9Mbp5twFzEtUN2uNmOeq1byp8DkG62dNp6rL3M8Tp05me5b3HXWrzwkDJGtoXHzDRh9pF90+OHfWob24BqEsKSCX8+zC52kSNGgws+LnWGSlBvoLq9wtlwkPq7aBR1TvCDiAcxSnaMtF+bwwb5xIABzabnsuoxwU06AN7MuUiKYbu0eiCuQB9UZ4Lk9afIoRHKxrW5S6pAb6zrC5Vo8435928/ckFsgSoS2B41euMjy5uXvdIUgLXeNTggF86NFeZC+QIXhP1pbFOk8C1UCoz1WYoBLsxBipwNYcmQaLtOSeUTlKKeA==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=it.aoyama.ac.jp; dmarc=pass action=none header.from=it.aoyama.ac.jp; dkim=pass header.d=it.aoyama.ac.jp; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=itaoyama.onmicrosoft.com; s=selector2-itaoyama-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=QEXvr6Ejb6eel2Or/Uv3RBkRFTlRozFXC3QifoaXr+8=; b=cXXWKYr59E68o1cMEWDL7Qb+brwLQ4yabq+mKjClPo23oj9PILOD02VEucGOZiqZeXAgQVLLAJVNje4o3Qv6bcVb5Pg4EbFz0UVAx2uKcNJb6W+vWRZoZJP8dF3wi57gZJ1qZ18VPN/9TWKQlJ/ANLOTmPO+X8GBQMxOknmsVFw=
Authentication-Results: ietf.org; dkim=none (message not signed) header.d=none;ietf.org; dmarc=none action=none header.from=it.aoyama.ac.jp;
Received: from TYAPR01MB5689.jpnprd01.prod.outlook.com (2603:1096:404:8053::7) by TY2PR01MB2458.jpnprd01.prod.outlook.com (2603:1096:404:79::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4108.27; Thu, 13 May 2021 09:50:30 +0000
Received: from TYAPR01MB5689.jpnprd01.prod.outlook.com ([fe80::7c68:2926:ee00:a511]) by TYAPR01MB5689.jpnprd01.prod.outlook.com ([fe80::7c68:2926:ee00:a511%5]) with mapi id 15.20.4129.026; Thu, 13 May 2021 09:50:30 +0000
To: Carsten Bormann <cabo@tzi.org>, Tim Bray <tbray@textuality.com>
Cc: jsonpath@ietf.org
References: <CAHBU6isFeWwv8wvdJhSbsDPA9gP0mmfzPRi3p-9iuAwyGMRvvQ@mail.gmail.com> <48922359-ABF5-4894-952B-F0085A1BF257@tzi.org>
From: "Martin J. Dürst" <duerst@it.aoyama.ac.jp>
Organization: Aoyama Gakuin University
Message-ID: <c5a5cf36-571d-eff8-e3e2-db55a8cfa330@it.aoyama.ac.jp>
Date: Thu, 13 May 2021 18:50:27 +0900
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.10.1
In-Reply-To: <48922359-ABF5-4894-952B-F0085A1BF257@tzi.org>
Content-Type: text/plain; charset="utf-8"; format="flowed"
Content-Language: en-US
Content-Transfer-Encoding: 8bit
X-Originating-IP: [133.2.210.39]
X-ClientProxiedBy: TYBP286CA0002.JPNP286.PROD.OUTLOOK.COM (2603:1096:404:ce::14) To TYAPR01MB5689.jpnprd01.prod.outlook.com (2603:1096:404:8053::7)
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
Received: from [133.2.210.39] (133.2.210.39) by TYBP286CA0002.JPNP286.PROD.OUTLOOK.COM (2603:1096:404:ce::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4108.25 via Frontend Transport; Thu, 13 May 2021 09:50:29 +0000
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: a4fdbda7-6b35-4f05-0c7c-08d915f48b21
X-MS-TrafficTypeDiagnostic: TY2PR01MB2458:
X-Microsoft-Antispam-PRVS: <TY2PR01MB245847ACB0D5170F51D5789DCA519@TY2PR01MB2458.jpnprd01.prod.outlook.com>
X-MS-Oob-TLC-OOBClassifiers: OLM:9508;
X-MS-Exchange-SenderADCheck: 1
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: FtxVkTrxBNQJaGw7taYXp+zUvIKB0EayhG85CgZJ+ME6YddxMORbI/13Sv9UEciUHY0UysZbCgUL92ILqeC/+y+2jw/6zUfRl54r0Ywr9SPbmWzM0uCuKQPkG9qKDTHZRzcvPEz734KRAKKjDjOoyo9yJAeW3n1UYKVX3irtozSMDZzg4II619I9gHN/uSJTA2OGk8xkRvhr5vyQNJ/pjMUxQMsoPBXnYu0ew4fmBeDiabS2C17KNnS1TU6yEuDN6YxHs/coysRWFWppppwF8Dm1kq42xXdcRlmnoEwwi50yQBUpWEuvDzPLFbOhVJMvDM7cD4okDnwVIb8D/MKU3IRvGm6VC93v9gEnVMUy67SJqs0HjvsxFtOmoGZ7IBSb8t2yL2CSy7CBTj3UguzDDmTEhHp51ayVuqSncyc6GMCNYEEzpvpXjup3OSFnvD/y01gKyElNKe+sKyUZOnK21095hu70nAwPiVpyPbJiyG0YjcnWQ9OM784YEaSF1YVC2fDOqR8N3aRwD+f/N4MbAIE4ikxI9ZGefL5QVmQDRdgQWATfPSsdykrnzMqxeqkp9CQmIw67GxIxhIZZldtIWbNzaa4/sF5QrhKYr8ayC8RoWERbw4fxyprtu6MAzIpKQKQxyMEQ73fu/2phMSfs4ftUgNIih8wl8EKocArH7HJ4UGHbG11LPG+Q1IVrrpy7orGch8OPtlUbTGlsUvfM8DrGfPltnri0FKu/t50lfhPOlche5nKC7F7y2IiR5yOKvbxifoFlZRP+L9Q9rzWLLSeuZkF7Bt9Ny9VgD9irGI+hD7sCxGcb2XQs4tXsiv0GZEQwtajn07rdTzDeZ82ZYw==
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:TYAPR01MB5689.jpnprd01.prod.outlook.com; PTR:; CAT:NONE; SFS:(346002)(396003)(136003)(366004)(376002)(39830400003)(66946007)(2616005)(956004)(5660300002)(16526019)(66574015)(478600001)(186003)(6706004)(2906002)(66556008)(66476007)(966005)(36916002)(6486002)(52116002)(4326008)(786003)(38100700002)(316002)(38350700002)(53546011)(8936002)(86362001)(110136005)(31686004)(16576012)(8676002)(31696002)(26005)(3940600001)(43740500002)(45980500001); DIR:OUT; SFP:1102;
X-MS-Exchange-AntiSpam-MessageData: NZhBqBW/YtsjV9MR2n5BRzBwCWV8kV4m0cxJfG6II96zrPpgre00ZK5vhwbJ8GFZLBrtE4pLb7AEAhPx4KvCmFv8xe29jPW5mfp9i/pzyxqhjuQPA4fVp6gpNc7UkRaNppDIEEd9U7Zd07imTvlsZ/p8evPz/N0fpZ0OwBiS2Ca9KdSsgb0H39tMOfE5ZaqdYiIlbL8FvumI0hyw2XSb6Nuv+vY7/97Ba3zgfvOaIlA3YKWxFQ1+w6gbfAe9COsXeYWjnp9dD/bxdjB7aQiaCx9avTgenavkFQoNgaosW6fDo3evMKyAfmRj/+DLujasJPORSYSH8ftBCjigA5xFGa2mrelz7giZGiZpBQ5g7z379BVXx1yWB4xDoRG48QlAxoQIes3Z5hAqxNUXu6l+P9mYbOKWKEP5kZUlSfXPdZ63Iw6MtDEsVrXZVTkjydr0smMtMJnPe5NLH7hc1mEKDe7nxN8DgTH2HCVH9tVB6XSVoTCCfQCd/GlTQvPn/BO1J558RAbQPLf4ISP6l3w9RPf5vBffJlKZsWYneM3XAn6kHd1J4crzeSOzA25NQdII5CphbqEGXKOKwGJjAXyLmaZ7dvSc0l4xq2RBFy+XHmAb3PnXhOLGESqGWRQ28EbkFxqof4BTZaQMWBjd4jinRyskwNxyJmnD3QkDwGCY/u2VCglLw4Upm3GLR6x81lHSER3HAT2qYND/7l9dfcq+KNcoiQKj0ZdI5BRiS7qnf1ys8WKl5ZXitAboji8FE8aBt21R7cVh2C5VjpBMCOxZPoRSRYhfzZmrm+EFcEEGLpdZM5envlC6ET6Pyv3f/tV582qLchR+lG0fN2U/YYw9UC/Kp3yo29NssfmpC/FAJgOHXb+3DnsUO3x7/hqJMz3tkUBlAwkESs3bB57cd0hJ8Hfo1NsMWLEpZx5HO43tGBfr07CEwHYGhpJM0WgNhBbuOzbv3QlQiVOPbbH6J/8HCAZXuynJNM9JLxwSIN092omVM+QykWE1lNHonCsOX4829wCTiqivoA7ezoSkeQuthXJTfCo3PEV1dMozkHnU4QANXBCv4KPGw8RMVim9EzlRKChVXQLQUg1zhv2EI8FWvjDpAVeWJRbozp2IzTAf1NGHe0Qi/9zlxhpn5YTUsMBy6HWADzTOrPScOk7i63e5zKwF56e/RRpteF7cwKY8ve+VzHn77JAqyO9RPsoOUD9p3D+4zYIkiEGnm5WxTXzVdAQxk2oXkEHPNUHhkYNCNBGi852dcxdiTjQD92FJP60fD4SCqugY/GArRJpZ2zOmGE1cgNKeu0rKC+fsVcjZjGnYgvVdihc+4TS/G8TPTAvQ
X-OriginatorOrg: it.aoyama.ac.jp
X-MS-Exchange-CrossTenant-Network-Message-Id: a4fdbda7-6b35-4f05-0c7c-08d915f48b21
X-MS-Exchange-CrossTenant-AuthSource: TYAPR01MB5689.jpnprd01.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 May 2021 09:50:30.2129 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: e02030e7-4d45-463e-a968-0290e738c18e
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: 2JX+PGUJbGhpXHGvRucY81ufmdSu+841l0Nqq8DH1Qzw8AiB8l5/FZVJjIYzRlwNyuc+t/YQtrgjOkpO1wFYWg==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: TY2PR01MB2458
Archived-At: <https://mailarchive.ietf.org/arch/msg/jsonpath/vgxso6-7jlOup4nI3DJtD9PwSTY>
Subject: Re: [Jsonpath] Regular expressions in filters
X-BeenThere: jsonpath@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: A summary description of the list to be included in the table on this page <jsonpath.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/jsonpath>, <mailto:jsonpath-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/jsonpath/>
List-Post: <mailto:jsonpath@ietf.org>
List-Help: <mailto:jsonpath-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/jsonpath>, <mailto:jsonpath-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 13 May 2021 09:50:44 -0000

Hello Carsten,

On 2021-05-12 22:03, Carsten Bormann wrote:
> On 2021-05-09, at 20:28, Tim Bray <tbray@textuality.com> wrote:
>>
>> Regular expressions in filters?
>> Issue #70: https://github.com/ietf-wg-jsonpath/draft-ietf-jsonpath-base/issues/70
> 
> We had a good discussion about issue #70 yesterday in the interim.
> I promised to supply a PR.
> 
> It turned out that the work that is needed is to a large part reusable in other contexts.
> 
> So instead of writing the PR, I submitted a separate Internet-draft first.
> This should supply the answer to the question what flavor of regexps we want to use:
> 
> https://www.ietf.org/archive/id/draft-bormann-jsonpath-iregexp-00.html

I haven't looked at the details, and I'm guessing that you are also 
aware of it, but I guess Section 4 should be entitled
"4. Formal definition of I-Regexp Syntax" rather than just
"4. Formal definition of I-Regexp". At the moment, the semantics are 
completely implicit. That could be fixed with a clear pointer to the XSD 
semantics, such as saying "The semantics of all the constructs defined 
in this ABNF are the same as those in [XSD]." or some such.

Regards,   Martin.

> If we like this approach (which certainly needs a bit more work, as we want to make sure we hit the right level of complexity), I can supply the PR that anchors this specification in the jsonpath specification.
> 
> Grüße, Carsten
>