[scim] Filter grammar issues for valFilter

Paul Bismuth <paul.bismuth011955@gmail.com> Tue, 26 March 2019 11:54 UTC

Return-Path: <paul.bismuth011955@gmail.com>
X-Original-To: scim@ietfa.amsl.com
Delivered-To: scim@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id E660D1202DB for <scim@ietfa.amsl.com>; Tue, 26 Mar 2019 04:54:37 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.75
X-Spam-Level:
X-Spam-Status: No, score=-1.75 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.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 P9M31YmueLsd for <scim@ietfa.amsl.com>; Tue, 26 Mar 2019 04:54:36 -0700 (PDT)
Received: from mail-ot1-x331.google.com (mail-ot1-x331.google.com [IPv6:2607:f8b0:4864:20::331]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 8C09C1202D1 for <scim@ietfa.amsl.com>; Tue, 26 Mar 2019 04:54:36 -0700 (PDT)
Received: by mail-ot1-x331.google.com with SMTP id c16so11158396otn.4 for <scim@ietfa.amsl.com>; Tue, 26 Mar 2019 04:54:36 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=ka+YAhNrzXzz3aLmcyZHM7NeujmoyztR8hvUZ8jWtlc=; b=qBDZDZk1xmP3dSTu+fsEzqz060miuBUThAKtvBn3FOHcYk0+bYBl8wEcoNctOYyfIz zFSf+yiv/rUwNw2uO6IMYruK9uHWdulv30Vv66901jPoXgi8E3tHljoqMXFSyTpW9bcw U6/8TBb4zH6UrKwILn/+zvNhfSFZtbmvLmA6e/VZ/khuL44UJ+sUGqGV7WH5beW3ug2/ W58bJz4dLymJdoHRpONvxo9gXmjr1fQHARQfS9I4m4iky1LzQXiAJF9ZCNL8sCuDPrMn 6W9iMnVwA4o4nTnFQn5oWSvFLB85GxlYd2OQVrHBwRk9ai/OV7NV8WMpXfxEajPNfOHZ C+TA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=ka+YAhNrzXzz3aLmcyZHM7NeujmoyztR8hvUZ8jWtlc=; b=OtiKXDlkeW4aeGFhVSkiZQ5qO9/N9hCtCabm1yuqZgo6534ZcS1LFN0lE1ycAqP+JB jYId5Mhp5htccdiVAptsyvoAXzeQEtNAet61rtkhI9t4d/vk40R6WbaPnoJLefAZ20Fm bZvwih2l/GVrgxC3yl2FelecfqEh80xOWoxCMxI/0TRyC+wKibmaHhXOiPYe62i8ZQPY B+fcVPxHyLTUekJkeYB2JGijn9l9j467QZk3L7GQdGO2lUZEm+s6YA+Zqan9NrqVLTk3 vg5imNl1fj17tb9gt5xvfjZ66HSGKZUW72vqKzIEN4O+E3unMmylOy4p6glAYcnv0Ig/ 5MQA==
X-Gm-Message-State: APjAAAXjaKjvg9+6xnEJO5khYYpZVBgGKtsZICnCTMpe/kjaeW89uQXh Zpld1D4L3j9LFHQzvCXq5ovDOll7sePsu88ZzSvYgfP+q9+m6w==
X-Google-Smtp-Source: APXvYqyhaw4gvxJv541gAmPYgEOjDwNHet78dxmFxV3Q/sTxcrGX6S0cneRCShGGLV+DzhOKBZuAztInlU7uTbCK0Ws=
X-Received: by 2002:a9d:63d1:: with SMTP id e17mr22199694otl.239.1553601275729; Tue, 26 Mar 2019 04:54:35 -0700 (PDT)
MIME-Version: 1.0
From: Paul Bismuth <paul.bismuth011955@gmail.com>
Date: Tue, 26 Mar 2019 14:54:24 +0300
Message-ID: <CAAVMdBfgntDszHDk7nPcahwmSzdXXe6dP+=63DWqZ-ZOA4_mwA@mail.gmail.com>
To: scim@ietfa.amsl.com
Content-Type: text/plain; charset="UTF-8"
Archived-At: <https://mailarchive.ietf.org/arch/msg/scim/nutckmlAPi9uhDEsJ7yspA2DxtY>
Subject: [scim] Filter grammar issues for valFilter
X-BeenThere: scim@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Simple Cloud Identity Management BOF <scim.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/scim>, <mailto:scim-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/scim/>
List-Post: <mailto:scim@ietf.org>
List-Help: <mailto:scim-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/scim>, <mailto:scim-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 26 Mar 2019 11:54:38 -0000

Hello,

It seems to me that there are some problems with the updated grammar
(section 3.4.2 of RFC7644) and the following errata:

==============
Errata ID: 4690
Status: Reported
Type: Technical

Reported By: Phil Hunt
Date Reported: 2016-05-10

Section 3.4.2.2 says:

valFilter = attrExp / logExp / *1"not" "(" valFilter ")"

It should say:

valFilter = attrExp / valLogExp / *1"not" "(" valFilter ")"

valLogExp = attrExp SP ("and" / "or") SP attrExp
==============

* It seems to me that the updated grammar allows expressions such as
"attr.subattr[subattr.x]", however it doesn't make sense regarding the
SCIM data model
* The rule "valLogExp = attrExp SP ("and" / "or") SP attrExp" doesn't
allow more than one "and" or "or". Therefore expression such as
"attr[subattr1 pr and subattr2 pr or subattr3 pr]" is rejected
* "valLogExp" doesn't allow the use of the "not" operand except when
negating the whole "valFilter". Is that normal?
* "valLogExp" doesn't allow precedence grouping ("( exp1 or exp2 ) and exp3")

I'd be glad to help with the grammar if these issues are confirmed.

Cheers,

Paul