Re: [xml-dev] PSVI formalization

From
Rick Jelliffe <>
To
Date
2002-05-10T09:59:58Z
ID
<005c01c1f809$71f377e0$>
Thread
Re: [xml-dev] PSVI formalization
From: "Matthew Gertner" <>

> 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. 

Cheers
Rick Jelliffe