Re: [relax-ng] attribute constraint

>It is this normalization that makes subsumption checking possible.

Intuitively speaking, there are four steps:

1) normalization as specified in the spec

2) GNF normalization

3) normalization as described in my previous mail (i.e., 
   <attribute> to <oneOrMore><attribute>....</attribute><oneOrMore>)

4) the conjunctive normal form for attribute-related patterns

Then, we can test subsumption for RELAX NG patterns.  Hosoya-san 
admits that this is still slow, especially because of 2).


Cheers,


Makoto