Validate Expressions In XPath 2.0 and querying the PSVI in XQuery

A few questions/statements about validate expressions and other things
 
1.) The semantics of validate { $x }[0] are very poorly specified especially with regard to how one obtains IN-SCOPE SCHEMA DEFINITIONS when there is no schema import mechanism described in the WD. 
 
2.) Considering that XPath is designed to be embedded in other XML technologies like the DOM or XSLT unlike XQuery, are a validate{ $x} operation as well as run time type identification (instance of) and casting (assert as, cast as, treat as) or complex error handling [2,3,4] really necessary? 
 
3.) Speaking of which exactly WHAT is the rationale behind both XPath 2.0 and XQuery 1.0 being strongly typed languages? Is the W3C assuming that people that don't use types when querying XML documents are second class citizens? 
 
4.) The XQuery and XPath data model do not give the ability to query over the entire PSVI[1], what is the reason the particular  supported subset was chosen? 
 
[0] http://www.w3.org/TR/xpath20/#id-validate
[1] http://www.w3.org/TR/query-datamodel/#IDASOVR
[2] http://www.w3.org/TR/xpath20/#xpath-issue-error-object
[3] http://www.w3.org/TR/xpath20/#xquery-general-errors
[4] http://www.w3.org/TR/xpath20/#xquery-try-catch-error

Received on Friday, 17 May 2002 11:56:49 UTC