Re: [XQuery] static typing of node comparisons

Another example of this error in the Xquery (and Xpath) spec

3.5.1


  If $book1 does not have exactly one author subelement, a type error is raised.[err:XP0004][err:XP0006]

  $book1/author eq "Kennedy"


I believe that if static typing is enabled, it is not enough that $book1
only has one author child, it must have been schema typed so that only
one author child is possible in any instance, otherwise the static type
of the lhs of eq is going to be a sequence not a single string (or
single untyped value).

David

________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________

Received on Monday, 1 December 2003 12:40:07 UTC