W3C home > Mailing lists > Public > public-qt-comments@w3.org > November 2003

[XQuery] static typing of node comparisons

From: David Carlisle <davidc@nag.co.uk>
Date: Thu, 27 Nov 2003 17:43:45 GMT
Message-Id: <200311271743.RAA16736@penguin.nag.co.uk>
To: public-qt-comments@w3.org



F&O lists the node comparison operators  op:is-same-node etc as having
parameters of type node().

The formal semantics mappings handle the case where a parameter is ()
but in something like the examples

//book[isbn="1558604820"] is //book[call="QA76.9 C3845"]

//purchase[parcel="28-451"] << //sale[parcel="33-870"]

both from 3.5.3 Node Comparisons
isn't the static type of the arguments node()* rather than node()
and you'd have to use
fn:exactly-one() on both of the arguments if you had a system using the
static typing from the Formal semantics?

I hope I'm mistaken but if so could there be a reference in 3.5.3 to
whatever part of whichever document it is that I missed.

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 Thursday, 27 November 2003 12:51:21 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:28 GMT