[relaxng-user] Re: association of RELAX NG with a document

[David Tolpin]

> > My opinion is that this association should be
> > obligatory once present and could not be overriden.
> 
> It's a basic tenet of RELAX NG that the schema is not inherent in the
> document and that validation is a process that has two
> independently-specifiable inputs.  Section 8 of the spec says: "A
> conforming RELAX NG validator must be able to determine for any XML
> document and for any correct RELAX NG schema whether the document is
> valid with respect to the schema."  If I understand you correctly,
> you're saying that if the document contains a particular processing
> instruction, then there should not be a way to validate it against a
> schema other than that specified in the processing instruction.  That's
> clearly non-conformant. A conforming RELAX NG validator must allow you
> to use any schema to validate a document, no matter what processing
> instruction the document contains.

Yes, I am aware of it. I am saying that any engine using inference rules to
determine the right association should have a well-defined single highest-priority
rule, which is, when matched, cannot be overriden by any others.

This has nothing to do with the ability to validate with various schemas. The validator
itself does not even look at these rules. It validates.  It can be passed any document
and any schema, for example, by specifying the schema explicitely.

But I want to make sure that I have a way to specify something about the document that
does not allow racing matches. That way I am always sure that on my system a document
I am explicit about its type is validated in a way I have specified for this type,
whatever other rules sale. And this specific association can be expressed in a more
persistent way than jing's command line.

Other inference rules will still be used if a highest priority rule does not match, and it
is a good thing. I just want explicit typing bound to a document, not to a keyboard keystroke.

I surely understand something wrong. I am taking a pause until I realize what in particular.

David Tolpin
http://davidashen.net/