Re: Questions on normal forms

To reiterate:  The expressions I gave are /not/ in normal form.  They
appear to be valid /compact/ forms.  I want to know what their normal
forms are, and which rules one uses to arrive at those normal forms.

In the reply given, what rules were used to normalize

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

to the normal form given:

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

For the second expression, I want what I wanted for the first, namely
its normal form and the rules used to derive it.



Ashok Malhotra wrote:
>
> 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>
>