# RE: Questions on normal forms

From: Asir Vedamuthu <asirveda@microsoft.com>
Date: Tue, 5 Jun 2007 19:13:37 -0700
To: David Hull <dmh@tibco.com>, "public-ws-policy@w3.org" <public-ws-policy@w3.org>
Message-ID: <C9BF0238EED3634BA1866AEF14C7A9E543155013B4@NA-EXMSG-C116.redmond.corp.microsoft.com>
```
Let's look at your second example. The second example with the Policy wrapper is:

<wsp:Policy>
<wsp:All>
<wsp:ExactlyOne>
<A/>
</wsp:ExactlyOne>
<B/>
</wsp:All>
</wsp:Policy>

Policy is equivalent to All. That is,

<wsp:All>
<wsp:All>
<wsp:ExactlyOne>
<A/>
</wsp:ExactlyOne>
<B/>
</wsp:All>
</wsp:All>

Applying the idempotent rule,

<wsp:All>
<wsp:ExactlyOne>
<A/>
</wsp:ExactlyOne>
<B/>
</wsp:All>

Applying the distributive rule,

<wsp:ExactlyOne>
<wsp:All>
<A/>
<B/>
<wsp:All>
</wsp:ExactlyOne>

We checked with a few online policy tools and our command line tool. They all consistently produced the above result. We hope this helps.

Regards,

Asir S Vedamuthu
Microsoft Corporation

From: public-ws-policy-request@w3.org [mailto:public-ws-policy-request@w3.org] On Behalf Of David Hull
Sent: Tuesday, May 29, 2007 12:52 PM
To: public-ws-policy@w3.org
Subject: Questions on normal forms

As far as I can tell, the following are valid compact expressions.
1. What are their normal forms?
2. By what rules are those normal forms computed?
<wsp:ExactlyOne>
<wsp:All><A/></wsp:All>
<B/>
</wsp:ExactlyOne>

<wsp:All>
<wsp:ExactlyOne><A/></wsp:ExactlyOne>
<B/>
</wsp:All>
```
Received on Wednesday, 6 June 2007 02:16:36 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:38:35 UTC