2298 2005-09-25 19:10:34 +0000 Precise semantics of double negation (formerly Cluster G, Issue 62) 2005-11-07 15:37:22 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Full Text 1.0 Working drafts PC Windows XP CLOSED FIXED P2 normal --- 1 jim.melton doerre public-qt-comments oldest_to_newest 6446 0 jim.melton 2005-09-25 19:10:34 +0000 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. 7072 1 doerre 2005-11-07 15:31:17 +0000 AllMatches returned for FTSelections are subject to a Normal Form now, by which it is insured that (! ! Q) behaves equivalent in all contexts to (Q) (see Section 4.3.1.4 Match and AllMatches Normal Form)