[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Subject: 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
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Powered by eList eXpress LLC