W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2004

[FS] Normalization of Quantified expression

From: Lionel Villard <villard@us.ibm.com>
Date: Fri, 16 Apr 2004 11:33:24 -0400
To: public-qt-comments@w3.org
Message-ID: <OF7A722D8C.59BB213A-ON85256E78.00545534-85256E78.00557609@us.ibm.com>
XQuery 1.0 and XPath 2.0 Formal Semantics
W3C Working Draft 20 February 2004

I think the normalization rules for some and every are incorrrect: the 
call of the function fn:boolean is missing in the satisfies clause. I 
would write the normalization rule like this:

[some VarRef1 in Expr1, ..., VarRefn in Exprn satisfies Expr]Expr
==
some VarRef1 in [Expr1]Expr satisfies
   some VarRef2 in [Expr2]Expr satisfies
         ...
     some VarRefn in [Exprn]Expr satisfies
      fn:boolean([Expr]Expr)


Same for every.


Minor typo: the two last 'satisfies' keyword are mispelled: satist
fies(note the t before f)

Best regards,
Lionel
Received on Friday, 16 April 2004 11:37:19 UTC

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