[
Lists Home |
Date Index |
Thread 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?
Thanks,
Jeff Rafter
Henry S. Thompson wrote:
> A new release of XSV, the Edinburgh/W3C Schema Validator [1] is now
> available -- see [1] for download information and futher details.
>
> Aside from bug fixes, there are two significant changes in this
> release:
>
> 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 [2].
>
> [1] http://www.ltg.ed.ac.uk/~ht/xsv-status.html
> [2] http://www.w3.org/2001/03/webdata/xsv
|
