RE: Questions on normal forms

David, corrections to your examples inline.  

The general normal form is a collection of disjoint alternatives:

 

<Policy>

   <ExactlyOne>

      <All> . Alternative 1  ./All>

      <All> . Alternative 2 .</All>

      <All>.  Alternative 3 .</All>

       .

      <All> . Alternative n .</All>

   </ExactlyOne>

</Policy>

 

All the best, Ashok 

________________________________

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>

[AM] This should be

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

[AM] I'm not sure what you wanted in this example.  This is not in normal form.


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