W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2007

[Bug 4779] [XQTS] XQueryX versions of some queries not consistent with XQuery versions

From: <bugzilla@wiggum.w3.org>
Date: Wed, 27 Jun 2007 15:51:52 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1I3Zo8-0001W1-GE@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4779

           Summary: [XQTS] XQueryX versions of some queries not consistent
                    with XQuery versions
           Product: XML Query Test Suite
           Version: 1.0.2
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: oliver@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


Certain tests have inconsistent XQueryX versions.

For example the XQuery version of K-RangeExpr-31 is:
(remove((2.e0, 4), 1) treat as xs:integer to 4)
Whereas the equivalent XQueryX query says (more or less):
(remove((2.e0, 4), 1) treat as xs:integer to 4) eq 4

which obviously gives a different result.

This is the list of tests I have noticed similar problems with so far, and the
problems with the XQX queries:
K-RangeExpr-31
K-RangeExpr-32
K-WhereExpr-1
K-WhereExpr-2
K-FunctionProlog-19
K-FunctionProlog-21
K-FunctionProlog-22
K-FunctionProlog-23
K-FunctionProlog-39

K-FunctionProlog-40
K-FunctionProlog-48 - see bug 4778
K-FunctionProlog-49 - missing empty()
K-FunctionProlog-50 - missing argument to myFunction
K-FunctionProlog-51 - function body is error(), not $arg
K-FunctionProlog-52 - XQX version is that of K-FunctionProlog-53
K-FunctionProlog-53 - XQX version is that of K-FunctionProlog-54
K-FunctionProlog-55 - XQX version is that of K-FunctionProlog-56
K-FunctionProlog-56 - XQX version is that of K-FunctionProlog-57
K-FunctionProlog-58 - XQX version is that of K-FunctionProlog-59
K-FunctionProlog-59 - XQX version is that of K-FunctionProlog-60
K-FunctionProlog-60 - XQX version is that of K-FunctionProlog-61
K-FunctionProlog-61 - XQX version is that of K-FunctionProlog-62
K-FunctionProlog-62 - XQX version is that of K-FunctionProlog-63
K-FunctionProlog-63 - XQX version is that of K-FunctionProlog-64
K-FunctionProlog-64 - XQX version is that of K-FunctionProlog-65
K-FunctionProlog-65 - XQX version is that of K-FunctionProlog-66
K-FunctionProlog-66 - XQX version is that of K-FunctionProlog-67
K-FunctionProlog-67 - XQX version is that of K-FunctionProlog-68


K-SeqExprCastable-21
K-SeqExprCastable-36

In the first group of tests, there is an extra <eqOp> around the test, as
above.

The <xqx:singleType> elements in K-SeqExprCastable-21 and K-SeqExprCastable-36
are missing <xqx:optional /> tags to keep it in line with the xquery versions
(should be xs:QName? and xs:integer? not xs:QName and xs:integer)
Received on Wednesday, 27 June 2007 15:51:57 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:33 UTC