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

Same for every.

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

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:56:56 UTC