Re: Closure under difference

[Kohsuke KAWAGUCHI <kohsuke.kawaguchi@eng.sun.com>]

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?

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