[FS] Normalization of Quantified expression

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