[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: PSVI formalization

• To: <xml-dev@l...>
• Subject: Re: PSVI formalization
• From: "Rick Jelliffe" <ricko@a...>
• Date: Fri, 10 May 2002 19:59:58 +1000
• References: <DC1124C4368AA9438D9DEC34ECB6F162013EBB57@o...>

From: "Matthew Gertner" <matthew.gertner@s...>

> 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

• References:
  • RE: PSVI formalization
    • From: Matthew Gertner <matthew.gertner@s...>

• Prev by Date: RE: PSVI formalization
• Next by Date: RE: XPath 1.5? (was RE: typing and markup)
• Previous by thread: RE: PSVI formalization
• Next by thread: RE: PSVI formalization
• Index(es):
  • Date
  • Thread