RE: Non-deterministic content model

How about:

 (extension*,( (long, img?, remedies?, extension*)
                 |(img, remedies?, extension*)
                 |(remedies, extension*)
             )?
 )

xan

-----Original Message-----
From: Yuichi Koike [mailto:koike@ay.jp.nec.com]
Sent: Friday, August 25, 2000 7:28 PM
To: Martin J. Duerst
Cc: xmlschema-dev@w3.org
Subject: Re: Non-deterministic content model


Martin,

> (extension*, long?, img?, remedies?, extension*)
> 
> And finally, we end up with:
> ( (extension+,( (long, img?, remedies?, extension*)
>                 |(img, remedies?, extension*)
>                 |(remedies, extension*)
>                )
>    )
>   |(long, img?, remedies?, extension*)
>   |(img, remedies?, extension*)
>   |(remedies, extension*)
> )

Interesting. At least one of `long`, `img`, or `remedies` element ]
always exists. Thus, it is deterministic.

However, in this particular case, we can not use this method, 
because all of `long`, `img`, and `remedies` should be optional.
If we say "at least one of them must exist", P3P policy writers 
would be confused. So, I think, we will remove the second `extension*` 
elements. (Sorry that the reason is quite P3P-specific).

Thank you.
-- 
Yuichi Koike (koike@w3.org)
World Wide Web Consortium (W3C)
Technology and Society Domain
http://www.w3.org/People/Koike/

Received on Friday, 25 August 2000 20:43:13 UTC