Declarative constraints for XML documents

[Rick Jelliffe]

 From: Arnold, Curt <Curt.Arnold at hyprotech.com>

> Mike Spreitzer wrote:
> >>Declarative constraints are what schemas are for!

> The thread has followed a little convoluted path since I posted my
original
> query.  The original query was primarily targeted to currently available
> technologies to solve the specific problem, however I agree with you that
> the fundamental intention does fall under the requirements in the Schema
> working group and that the Schema would be an ideal place to express these
> constraints.

Your original question asked whether XSL could be used to express
constraints.
I have an article on this subject "Using XSL as a Validation Language" at
http://www.ascc.net/xml/en/utf-8/XSLvalidation.html.  The specifics in the
article
are out-of-date with the current XSL draft, because the article is about 7
months
old now.

For general discussion articles on the kinds of constraints you are are
talking about,
there are several articles at http://www.ascc.net/xml/en/utf-8/schemas.html
Since you bring up "Facets", you may be interested in the notes:
    * Axis Models & Path Models: Extending DTDs with XPaths
    * Validate This! Content Models on Different Targets
    * Richer Anonymous Content Types

So far, the W3C Schema draft does not look at any kind of extended
validation: tree structures are nice, but surely we want to validate webs of
information.

Rick Jelliffe
Academia Sinica Computing Centre
Taipei, Taiwan.



xml-dev: A list for W3C XML Developers. To post, mailto:xml-dev at ic.ac.uk
Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/ and on CD-ROM/ISBN 981-02-3594-1
To (un)subscribe, mailto:majordomo at ic.ac.uk the following message;
(un)subscribe xml-dev
To subscribe to the digests, mailto:majordomo at ic.ac.uk the following message;
subscribe xml-dev-digest
List coordinator, Henry Rzepa (mailto:rzepa at ic.ac.uk)