- From: Paul Cotton <pcotton@microsoft.com>
- Date: Mon, 23 Feb 2004 14:33:41 -0800
- To: "liaowei" <liaowei@emails.bjpu.edu.cn>
- Cc: <public-qt-comments@w3.org>
Thank you for your comments on the Formal Semantics Nov 2003 Working Draft. Soon after you posted your comment we made a Last Call Working Draft available for the Formal Semantics document [1]. If possible could you please check this draft and file your questions/comments as Last Call comments by re-sending those comments that still apply to the Last Call WD. Thank you. /paulc PS: In the future please use "[FS]" at the beginning of the subject field to indicate your comments are on the "Formal Sematics" document. [1] http://www.w3.org/TR/2004/WD-xquery-semantics-20040220/ Paul Cotton, Microsoft Canada 17 Eleanor Drive, Nepean, Ontario K2E 6A3 Tel: (613) 225-5445 Fax: (425) 936-7329 mailto:pcotton@microsoft.com > -----Original Message----- > From: public-qt-comments-request@w3.org [mailto:public-qt-comments- > request@w3.org] On Behalf Of liaowei > Sent: February 20, 2004 12:19 AM > To: public-qt-comments@w3.org > Subject: [XQuery] questions about xquery/xpath core grammar > > > Dear XQuery Formal semantic editor: > I have some question about XQuery/Xpath core grammar in "XQuery 1.0 > and XPath 2.0 Formal Semantics" (2003-11-12). > > 1)Some Non-Terminal only occur in the left side of core grammar > production,but no Non-Terminal can yield it. > For example: > PrimaryExpr > OrderByClause > QuantifiedExpr > could you explain it in detail? > > 2)In Formal semantic,OrderByClause can be normalized to nested let and > for expressions,but why it still > remain in the core grammar? > > 3) In XQuery standard grammar: > ExprSingle ::= FLWORExpr > | QuantifiedExpr > | TypeswitchExpr > | IfExpr > | OrExpr > In XQuery Core grammar: > ExprSingle ::= FLWORExpr > | TypeswitchExpr > | IfExpr > | OrExpr > QuantifiedExpr has been removed ,why? > > > > > best regards > liao wei > >
Received on Monday, 23 February 2004 17:33:41 UTC