W3C home > Mailing lists > Public > www-ql@w3.org > January to March 2004

a pair of questions about general comparison

From: Leonid Novak <novak@ispras.ru>
Date: Thu, 4 Mar 2004 12:22:59 +0300
To: <www-ql@w3.org>
Message-ID: <EGEAIELDAOKBEENNFECGEEEECAAA.novak@ispras.ru>

Hi,
i have a couple of questions about general comparison.

1)
Suppose i have a pair of sequences ("a",1) and (2,1) where "a" is an
"xs:string" value from the defintion of the general comparison
it follows that (from Working Draft)
"The result of the comparison is true IF AND ONLY IF there is a pair of
atomic values, one belonging to the result of atomization of the first
operand and the other belonging to the result of atomization of the second
operand, that have the required magnitude relationship"
Thus ("a",1) = (2,1) as far as the atomic values of 1 are equal.

From the other side it is said that "a general comparison may raise a
dynamic error as soon as it encounters an error in evaluating either
operand, or in comparing a pair of items from the two operands". From this
proposition it follows that comparing two sequence may cause a dynamic error
while comparing "a" and 2 as far as their types are not comparable.

Thus, we may assume that IF condition of the first statement is not fully
supported (inspite of the two equal values a dynamic error can be raised).
Is it right?

2) Next, suppose i have a pair of sequences ("a",1) and (2,3). Should  it be
correct if ("a",1)=(2,3) will return "false" or dynamic error MUST be thrown

Regards,
Novak Leonid
novak@ispras.ru
www.modis.ispras.ru
Received on Thursday, 4 March 2004 04:22:03 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 22 July 2006 00:10:19 GMT