- From: Jerome Simeon <simeon@research.bell-labs.com>
- Date: 24 Apr 2002 09:25:41 -0400
- To: phenix_shieh@hotmail.com
- Cc: Jerome Simeon <simeon@research.bell-labs.com>, Mary Fernandez <mff@research.att.com>, Jerome Simeon <simeon@research.bell-labs.com>, XQuery Comments List <www-xml-query-comments@w3.org>
Phenix, Your right, this is a bug. This will be fixed in the next version of the document. Thank you for your feedback and careful reading. - Jerome > -----Original Message----- > From: Phenix Shieh [mailto:phenix_shieh@hotmail.com] > Sent: Thursday, April 18, 2002 9:00 AM > To: www-xml-query-comments@w3.org > Subject: a bug about the normalization rule of logic expression > > > > Here is a bug I found in the normalization rule of logic expression. > > In the Formal Semantic Doc,the logic expression is normalized as below(take AND as example): > > > > [Expr1 and Expr2] > == > let $e1 := [ Expr1 ]Effective_Boolean_Value, > $e2 := [ Expr2 ]Effective_Boolean_Value, > return op:boolean-and($e1, $e2) > > > > In fact,the output of the rule is not consistent with Core Grammar.Because in Core,the LetExpr can only have one variable as one part.So the rule should be changed to,I think: > > > let $e1 := [ Expr1 ]Effective_Boolean_Value return > let $e2 := [ Expr2 ]Effective_Boolean_Value return > > op:boolean-and($e1, $e2) > > Am'I right? > > > _____ > > 从网站得到更多信息。MSN Explorer 免费下载：http://explorer.msn.com/lccn > > -- Jerome Simeon - Bell Laboratories --- Lucent Technologies 600 Mountain Avenue, Murray Hill, NJ, USA Tel: +1 908 582 5473 Fax: +1 908 582 7308
Received on Wednesday, 24 April 2002 09:29:31 UTC