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:




      <All> . Alternative 1  ./All>

      <All> . Alternative 2 .</All>

      <All>.  Alternative 3 .</All>


      <All> . Alternative n .</All>




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?


[AM] This should be


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

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