对 PER 中约束的可扩展性和可见性感到困惑

Question

我被 X.691-0207 第 49 页的例子弄糊涂了。

根据第 B.2.2.10 条（第 48 页）：由于 UNION 和 INTERSECTION 都是可交换的，因此结果规则仅针对 V 第一种情况给出。如果所有分量都是 V，则为 ITU-T Rec. 的正常规则。 X.680 | ISO/IEC 8824-1 适用，这里不再进一步讨论。我总是给我所有组件的情况，并且再次没有列出。规则是：

V UNION I => I
V INTERSECTION I => V
-- The resulting V is just the V part of the intersection V EXCEPT I => V
-- The resulting V is just the V without the set difference I EXCEPT V => I
V, ..., I => I
I, ..., V => I

对以下示例的约束进行算术运算：

A13 ::= IA5String (SIZE(1..10, ...) ^ FROM("A".."D"))

产量：

  SIZE(1..10, ...) ^ FROM("A".."D")
= { SIZE(1..10, ...), ALL } ^ { SIZE(MIN..MAX), FROM("A".."D") }
= { SIZE(1..10, ...) ^ SIZE(MIN..MAX), ALL ^ FROM("A".."D") }
= { SIZE(1..10), FROM("A".."D") }

但是例子中说“A13有一个可扩展的有效尺寸约束SIZE(1..10,...)”，可扩展性是从哪里来的呢？

非常感谢任何帮助。

Answer 1

您使用的示例等效于“V INTERSECTION V => V”，因为作为交集一部分的每个约束都是 PER 可见约束。相交的结果也是 PER 可见的也就不足为奇了。请注意，应用 INTERSECTION 不会消除可扩展性。不只是查看附件 B 中的信息示例，您应该查看 X.691 的第 10.3 节中的规范性规则，其中明确定义了 PER 可见约束的规则。特别是，10.3.9 表示所有大小约束都是 PER 可见的，而 10.3.21 表示当 PER 可见约束是 INTERSECTION 的一部分时，生成的约束是 PER 可见的。