[Bug 2298] Precise semantics of double negation (formerly Cluster G, Issue 62)

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

           Summary: Precise semantics of double negation (formerly Cluster
                    G, Issue 62)
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Full Text
        AssignedTo: doerre@de.ibm.com
        ReportedBy: jim.melton@acm.org
         QAContact: public-qt-comments@w3.org


Currently, (! ! Q) does not produce the same AllMatches as (Q). There seem to be
two reasons for that. First, there are duplicate StringIncludes, StringExcludes,
and Matches. Second, there are Matches that are subsumed by other Matches (i.e.
the former are a logical consequence of the latter). How do we handle these
situations? It seems reasonable to expect that !!Q produces the same result as Q.

Received on Sunday, 25 September 2005 19:10:43 UTC