Lists Home |
Date Index |
Does this mean that you have modified the approach set forth in
http://www.ltg.ed.ac.uk/~ht/XML_Europe_2003.html? If so, do you have any
metrics on changes to the time complexity?
Henry S. Thompson wrote:
> A new release of XSV, the Edinburgh/W3C Schema Validator  is now
> available -- see  for download information and futher details.
> Aside from bug fixes, there are two significant changes in this
> 1) XML 1.1 is supported, both for schema documents and for documents
> to be validated;
> 2) Numeric exponents in content models are no longer implemented via
> a space-exponential 'unfolding' into a standard Finite State
> Automaton, but instead via direct mapping to a novel
> deterministic FSM with counters.
> Also, the equivalent of the "-i" command line switch, which treats all
> inputs as schema documents and checks the corresponding schema on the
> assumption that it is meant to be complete, is now available when
> using the web-form interface .
>  http://www.ltg.ed.ac.uk/~ht/xsv-status.html
>  http://www.w3.org/2001/03/webdata/xsv