lex&yacc中SQL解释器的问题

towerjt

在lex&yacc随书代码中，有一个SQL解释器，但是我无法解释一个普通的update语句，

UPDATE TAB SET F1=1 WHERE 1=1;

打开调试，输出如下

Starting parse Entering state 0 Reading a token: Next token is token UPDATE () Shifting token UPDATE () Entering state 11 Reading a token: Next token is token NAME () Shifting token NAME () Entering state 44 Reading a token: Next token is token SET () Reducing stack by rule 214 (line 55:    $1 = token NAME () -> $$ = nterm table () Stack now 0 11 Entering state 45 Next token is token SET () Shifting token SET () Entering state 77 Reading a token: Next token is token NAME () Shifting token NAME () Entering state 115 Reducing stack by rule 233 (line 589):    $1 = token NAME () -> $$ = nterm column () Stack now 0 11 45 77 Entering state 118 Reading a token: Next token is token COMPARISON () 1: syntax error at = Error: popping nterm column () Stack now 0 11 45 77 Error: popping token SET () Stack now 0 11 45 Error: popping nterm table () Stack now 0 11 Error: popping token UPDATE () Stack now 0 Cleanup: discarding lookahead token COMPARISON () Stack now 0 SQL parse failed

lenovo

用的lex&yacc还是flex&bison？
如果是前者，试试后者。

towerjt

谢谢，我用的是flex&bison，在cygwin和linux都没有成功。本想把代码发上来，但是总是报超长

[ 本帖最后由 towerjt 于 2008-3-4 16:54 编辑 ]

Edengundam

这个例句是书上的么?
把lex中关于column名称的正则贴出来看看.
还有关于UPDATE语句的语法定义.

把列名F1改成F可以用么??

Edengundam

贴一下UPDATE中关于SET后面的产生式把...处理了column以后到COMPARISON时候产生语法错误了...

towerjt

assignment_commalist:
        |        assignment
        |        assignment_commalist ',' assignment
        ;

assignment:
                column '=' scalar_exp
        |        column '=' NULLX
        ;

update_statement_searched:
                UPDATE table SET assignment_commalist opt_where_clause


......


scalar_exp:
                scalar_exp '+' scalar_exp
        |        scalar_exp '-' scalar_exp
        |        scalar_exp '*' scalar_exp
        |        scalar_exp '/' scalar_exp
        |        '+' scalar_exp %prec UMINUS
        |        '-' scalar_exp %prec UMINUS
        |        atom
        |        column_ref
        |        function_ref
        |        '(' scalar_exp ')'
        ;

towerjt

column:                NAME
        ;


词法解释中：

"="        |
"<>"         |
"<"        |
">"        |
"<="        |
">="                { return COMPARISON; }

towerjt

从报错的分析来看应该是在分析“COMPARISON”的时候出的错，一个“＝”

Edengundam

1: syntax error at =

你看下syntax error at 是 产生式对应assignment中column '=' 中代码提示的么??

还有NAME在词法分析中会对应到一个正则表达式...里面能直接用数字么?

产生式肯定没问题的.

Edengundam

UPDATE T1 SET C=1
看看会不会出错.