Re: [netmod] datastore-specific constraints

Randy Presuhn <randy_presuhn@alumni.stanford.edu> Fri, 14 December 2018 02:13 UTC

Return-Path: <randy_presuhn@alumni.stanford.edu>
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 0F977130F7C for <netmod@ietfa.amsl.com>; Thu, 13 Dec 2018 18:13:46 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.901
X-Spam-Level:
X-Spam-Status: No, score=-1.901 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
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 8315voC9bh06 for <netmod@ietfa.amsl.com>; Thu, 13 Dec 2018 18:13:44 -0800 (PST)
Received: from mail-pf1-f179.google.com (mail-pf1-f179.google.com [209.85.210.179]) (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 663F4130F74 for <netmod@ietf.org>; Thu, 13 Dec 2018 18:13:44 -0800 (PST)
Received: by mail-pf1-f179.google.com with SMTP id q1so2040182pfi.5 for <netmod@ietf.org>; Thu, 13 Dec 2018 18:13:44 -0800 (PST)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=xuhG6VqeV0tADn5VHjeMkLyAkB5KI799KfPkmX0/jJI=; b=FR4qVewIaLrcbXqfobp3NGzkNHP3ha7IQd5EMsiUhLcr+xhtwQ+VG5tfq4zuDqdkpZ rasr7EGDtwC2yhaCpVcXsDgm6JqYE0hplP+2W8HCP9StMLxueL8M4o6zX0mnU4T8IKkp 0E7La0BGHLJRr+I3IEdTUB4GNKuYmZBwour7hxXIiLlK3utvMZ/myJ4yZI0fmW0T6pHl 0bpqxHlE6S1GDXLv3nk4quOMwG1xgBrRzertbkeR+5k1O4/jzKoxOXl7+rRL+9//PyfZ DvJE/g/xJdqM1NHPvRih0SA81x5ZFlX9pAHtMFmN9X82e1S7oEoYH4saEr66L2iuCWQS 4vIw==
X-Gm-Message-State: AA+aEWZBxcQsKJNuXUvB/CpSv9YJC6I5hXsVpV1pv45kivudq3wuTbAe sIWDskopFCZZPk9DrvB8+fqXcJBDlVY=
X-Google-Smtp-Source: AFSGD/W/Kglb1NnR4N+cAl5R677SMDAXPNoEsl4OMzvmesTHEeyXluDP1sV0yWhzV8TJGL755/k9dQ==
X-Received: by 2002:a63:194f:: with SMTP id 15mr1124074pgz.192.1544753623311; Thu, 13 Dec 2018 18:13:43 -0800 (PST)
Received: from [192.168.1.103] (c-69-181-241-121.hsd1.ca.comcast.net. [69.181.241.121]) by smtp.gmail.com with ESMTPSA id r66sm4371042pfk.157.2018.12.13.18.13.42 for <netmod@ietf.org> (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 13 Dec 2018 18:13:42 -0800 (PST)
To: netmod@ietf.org
References: <BE57F393-5E00-4877-BA04-7B980DDB3CDF@tail-f.com> <2c2eff9a-4cdb-d755-dc2b-05c01d8c8d1d@cisco.com> <b434351564e5244c1341a247b819e5fe935788e5.camel@nic.cz> <20181213.095139.2195805691286738924.mbj@tail-f.com> <f962e20f8dfbe8f21db0abc399851f8acd454ed9.camel@nic.cz> <dba07666-e229-96f4-8e94-e5403e082c87@cisco.com> <4adac832a12e852e6fc3ad5a11e19085a991e257.camel@nic.cz>
From: Randy Presuhn <randy_presuhn@alumni.stanford.edu>
Message-ID: <caa13c31-7b7d-f6d8-653b-997f02d5fac0@alumni.stanford.edu>
Date: Thu, 13 Dec 2018 18:13:42 -0800
User-Agent: Mozilla/5.0 (Windows NT 6.0; rv:52.0) Gecko/20100101 Thunderbird/52.9.1
MIME-Version: 1.0
In-Reply-To: <4adac832a12e852e6fc3ad5a11e19085a991e257.camel@nic.cz>
Content-Type: text/plain; charset="utf-8"; format="flowed"
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/QwaAdabJH3keMG9fDQuKdKQvZmQ>
Subject: Re: [netmod] datastore-specific constraints
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.29
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: Fri, 14 Dec 2018 02:13:46 -0000

Hi -

On 12/13/2018 3:58 AM, Ladislav Lhotka wrote:
....
>>>>      <operational> SHOULD conform to any constraints specified in the data
>>>>      model, but given the principal aim of returning "in use" values, it
>>>>      is possible that constraints MAY be violated [...]
>>> According to the definition of SHOULD and MAY in RFC 2119, this sentence
>>> contradicts itself.
>>
>> I don't actually see the contradiction here.
>>
>> - SHOULD can be violated if there are good reasons to do so (otherwise
>> it is a MUST)
>> - The MAY, and its associated condition, explains some conditions under
>> which it is reasonable for the SHOULD to be violated.
> 
> MAY means "truly optional" (e.g. "because the vendor feels that it enhances the
> product"). Combining different RFC2119 terms is generally problematic.

 From the perspective of the receiver, there is no difference.
"Good reasons" tend to be subjective and there's generally no
way for the receiver to know whether those conditions are true
for the sender or its implementer.

Consequently, for the code processing a protocol stream, a "SHOULD"
describing that stream is equivalent to a "MAY", since it only
says that the behaviour described is *possible*, and, that under
conditions to which the receiver will not be privy, other things
may happen.

Randy