Re: [netmod] evaluation of "when" under NMDA

Ladislav Lhotka <lhotka@nic.cz> Mon, 04 December 2017 18:09 UTC

Return-Path: <lhotka@nic.cz>
X-Original-To: netmod@ietfa.amsl.com
Delivered-To: netmod@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 99283127F0E for <netmod@ietfa.amsl.com>; Mon, 4 Dec 2017 10:09:57 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7
X-Spam-Level:
X-Spam-Status: No, score=-7 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_HI=-5] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=nic.cz
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 ZGxkP1WAXIvN for <netmod@ietfa.amsl.com>; Mon, 4 Dec 2017 10:09:54 -0800 (PST)
Received: from mail.nic.cz (mail.nic.cz [IPv6:2001:1488:800:400::400]) (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 A6061127B52 for <netmod@ietf.org>; Mon, 4 Dec 2017 10:09:53 -0800 (PST)
Received: from birdie16 (unknown [IPv6:2a01:5e0:29:ffff:ffc6:c393:cdb9:8db1]) by mail.nic.cz (Postfix) with ESMTPSA id D30A263B45; Mon, 4 Dec 2017 19:09:51 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nic.cz; s=default; t=1512410991; bh=BRbjhjRHSf9WmhBp7CzIkzJqAav5ymEVoYAQlYgiRkM=; h=From:To:Date; b=cmEtsrGt4f9mmZPgMdrTP2rWKsNorPtN49fBQGhBRPQzVYRvzufUMoQX57en+BGC3 A4AgATphDisaI4J9WiOxpPxcPmu+D9ffq/PsTnSVLXferEWPtIUJpnya72ml3BHXlA 0vpLDucYt1lUy6lZGYp/Hhl55HPDOuA55yoOcio4=
Message-ID: <1512410991.8751.4.camel@nic.cz>
From: Ladislav Lhotka <lhotka@nic.cz>
To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Cc: NETMOD WG <netmod@ietf.org>
Date: Mon, 04 Dec 2017 19:09:51 +0100
In-Reply-To: <20171204172247.rj3ilazharvzbyn6@elstar.local>
References: <1512404811.1422.63.camel@nic.cz> <20171204.173431.1294203680272812703.mbj@tail-f.com> <1512407158.6635.8.camel@nic.cz> <20171204172247.rj3ilazharvzbyn6@elstar.local>
Organization: CZ.NIC
Content-Type: text/plain; charset="UTF-8"
X-Mailer: Evolution 3.26.2
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
X-Virus-Scanned: clamav-milter 0.99.2 at mail
X-Virus-Status: Clean
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/Cn878LYSlCeC14qgfbHjOuIXJ7M>
Subject: Re: [netmod] evaluation of "when" under NMDA
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: NETMOD WG list <netmod.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/netmod>, <mailto:netmod-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/netmod/>
List-Post: <mailto:netmod@ietf.org>
List-Help: <mailto:netmod-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/netmod>, <mailto:netmod-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 04 Dec 2017 18:09:58 -0000

On Mon, 2017-12-04 at 18:22 +0100, Juergen Schoenwaelder wrote:
> On Mon, Dec 04, 2017 at 06:05:58PM +0100, Ladislav Lhotka wrote:
> > On Mon, 2017-12-04 at 17:34 +0100, Martin Bjorklund wrote:
> > > Ladislav Lhotka <lhotka@nic.cz> wrote:
> > > > Hi,
> > > > 
> > > > if we have
> > > > 
> > > > augment "/target/node" {
> > > >   when "...";
> > > >   ...
> > > > }
> > > > 
> > > > is the "when" expression supposed to be evaluated separately in each
> > > 
> > > datastore,
> > > > and the augment applied only in those datastores where the result is
> > > > true?
> > > 
> > > Yes.
> > 
> > But then it cannot be guaranteed that the schema for <operational> is a
> > superset
> > of the schema of configuration datastores - the when expression can evaluate
> > to
> > false in <operational> but true in <intended>.
> > 
> 
> For me, its still the same schema - a when expression does not change
> my notion of 'schema'.

Well, according to draft-ietf-netmod-revised-datastores-07:

   o  datastore schema: The combined set of schema nodes for all modules
      supported by a particular datastore, taking into consideration any
      deviations and enabled features for that datastore.

And "when" determines whether a given schema node is valid or not. So if a
schema node is invalid in the schema of <operational> but valid in the schema of
<intended>, then the former can hardly be a superset of the latter.

Lada

> 
> /js
> 
-- 
Ladislav Lhotka
Head, CZ.NIC Labs
PGP Key ID: 0xB8F92B08A9F76C67