[Bug 1414] New: [XQuery] Semantics: Treatment of untyped values with value comparisons

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

           Summary: [XQuery] Semantics: Treatment of untyped values with
                    value comparisons
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery
        AssignedTo: chamberl@almaden.ibm.com
        ReportedBy: mrys@microsoft.com
         QAContact: public-qt-comments@w3.org


We repeat our previous last call comment regarding the semantics of untyped 
values with value comparisons.

The argument of providing transitivity on the user-level syntax for lt, eq, 
and friends is too weak to introduce the current inconsistency between the 
general and value comparison treatment of untypedAtomic values. Instead, 
logical discourse on the transitivity needs to be held on the expanded 
expressions that have added the implied casts.

Note that no general transitivity can be guaranteed anyway due to the 
impreciseness of float/double value comparisons anyway. 

We consider the usability aspect of consistent treatment of untypedAtomic 
values between value and general comparison (and following the general 
comparison semantics) important enough, that we consider filing a minority 
opinion on this topic, if it does not get fixed.

Received on Friday, 13 May 2005 20:26:38 UTC