OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   Re: [xml-dev] PSVI formalization

[ Lists Home | Date Index | Thread Index ]

From: "Matthew Gertner" <matthew.gertner@schemantix.com>

> That said, you led me down the garden path with this PSVI stuff. My
> understanding of the PSVI (very shaky, I admit) is that it is an abstract
> formalism for representing an instance with its associated schema. 

A Post-Schema Validation Infoset (instance) is an XML Infoset (instance)
that has been augmented with information as a result of being
validated by a W3C XML Schema (schema).

This information could include, among other things,
  - defaulted values
  - type information
  - whether validation was attempted, and whether it was successful

A PSVI does not necessarily conform to a schema. The augmentations
as a result of schema processing could be that some elements
are invalid.  (This is why optimizing away "impossible paths" should
be an application-dependent thing, or a distinction between XQuery
and XPath2. An application may be interested in part that are invalid
in order to repair them, report them, or complete the document.)

A PSVI can be constructed in several ways, not merely by running
the same schema on the whole document at the same time. 

Rick Jelliffe


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS