[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? regards, -- 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