W3C home > Mailing lists > Public > public-ws-policy@w3.org > May 2007

RE: Questions on normal forms

From: Ashok Malhotra <ashok.malhotra@oracle.com>
Date: Tue, 29 May 2007 13:43:45 -0700
To: "David Hull" <dmh@tibco.com>, "public-ws-policy@w3.org" <public-ws-policy@w3.org>
Message-ID: <20070529134345044.00000002644@amalhotr-pc>
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>
Received on Tuesday, 29 May 2007 20:45:20 UTC

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