OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

relax-ng message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]

Subject: Re: Closure under difference

Although I said I can create an example, I have to admit that I couldn't...

Generally, since datatypes are not closed and we allows datatypes
created by anonymous Joe, we cannot say RELAX NG is closed if we take
them into account.

So I guess the reasonable assumption is to consider boolean closedness
after replacing <data/> and <value/> by <text/>.

Now <text/> are allowed everywhere, and <text/> are not affected by the
constraint we are talking about. So that implies that "the constraint
does not seem to make things worse", as you wrote.

Mmm. is there anything wrong with the above reasoning?

Kohsuke KAWAGUCHI                          +1 650 786 0721
Sun Microsystems                   kohsuke.kawaguchi@sun.com

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]

Powered by eList eXpress LLC