Jirka Kosek said:
> Henri Sivonen wrote:
>
>> One thing that I have learned in the HTML5 conformance checking project
>> is that validation when augmented with Schematron and editing with RELAX
>> NG only call for different schemas.
>
> In what sense different? You have RELAX NG + Schematron and for
> validation you use both schemas, but XML editor will probably use only
> RELAX NG when doing code completition. What's the problem here?
Validation of packing constraints are a really specialized problem:
possibly you can do 1 dimension packing checks with Schematron, but 2-D or
3D packing constraints on arbitary number objects or arbitrary sizes is
not something that you would expect from a general purpose schema or
simple constraint language. Maybe a constraint language with higher-order
logic could do it...or a schema language that was more like a spreadsheet.
But things like table validation are a degenerate case of packing
checking. I think Schematron can certainly validate edge constraints (the
max number of cols may not exceed the @colspec attribute, for example) but
not where you have arbitrary tables with irregular cells, elidable cell
declarations, spans, straddles, and so on.
Cheers
Rick Jelliffe
