用Lex和Yacc做一个简单的SQL解释器

最新推荐文章于 2024-02-13 16:38:17 发布
最新推荐文章于 2024-02-13 16:38:17 发布
阅读量6.9k 收藏 10
点赞数
分类专栏： C 文章标签： sql yacc buffer insert delete character
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/towerjt/article/details/2255043
版权
前段时间做了一个简单的内存数据库，需要提供点简单的SQL支持，在参考了《Lex与Yacc》和网上的相关资料后，以《Lex与Yacc》中的SQL解释器为基础，做了修改，最后生成了一个简单的SQL解释器。
这个SQL解释器由于本身内存数据库提供的功能限制，提供的SQL也有很多的限制：
1、select不支持按字段取值，一次查询获取所有字段
2、查询条件之间的关系只支持AND
3、UPDATE一次只更新一个字段
4、不支持函数

在SQL解释器中，关键是我们要构建我们的语法结构，也就是最终通过SQL解释器要生成的一个程序能识别的结构。负责的SQL支持对应负责的负责的结构，因为我们支持的SQL简单，所以相对应的结构也就很简单了。

主题程序由3个文件组成，sql_plan.h parser_lex.l parser_yacc.y。其中，sql_plan.h是语法结构的定义，parser_lex.l是词法解释和主程序入口部分，parser_yacc.y是语法解释部分。

#ifndef __SQL_DEFINE__
#define __SQL_DEFINE__

#define NAME_SIZE   24
#define MAX_BUFFER_SIZE  8192

typedef enum
{
    SQL_SELECT = 1,
    SQL_INSERT,
    SQL_UPDATE,
    SQL_DELETE,
    SQL_COUNT_ALL
}sql_action;

typedef struct{
    char field_name[NAME_SIZE];
    char field_value[256];
}FieldNameValue;

typedef struct{
    int list_len;
    FieldNameValue fnv_par[5];
}FieldNameValue_List;

typedef struct{
    int    action;   
    char tab_name[256];
    FieldNameValue_List w_fnv_list;
    char u_field_name[256];
    char u_field_value[256];
    int pos;
    char buffer[MAX_BUFFER_SIZE];
}SQL_PLAN;

extern SQL_PLAN sql_plan;

#endif
 sql_plan.h



parser_lex.l
%{

#include "parser_yacc.h"
#include "sql_define.h"
#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int lineno = 1;
void yyerror(char *s);

void TrimString(char *str)
{
        char *copied, *tail = NULL;
        if ( str == NULL )
                return;

        for( copied = str; *str; str++ )
        {
                if ( *str != ' ' && *str != '/t' && *str != '/n' &&
                     *str != '/r' && *str != '/'' && *str != ';')
                {
                    *copied++ = *str;
                    tail = copied;                        
                }
                else
                {
                    if ( tail )
                        *copied++ = *str;
                }
        }

        if ( tail )
             *tail = 0;
        else
             *copied = 0;

        return;
}

char *_xInput;
int _xLen = 0;

int myinput(char *buff,int max)
{
    if(!_xLen) return 0;
    if(max > _xLen) max = _xLen   ;
    memcpy(buff,_xInput,max);
    _xInput += max;
    _xLen -= max;
    return   max;
}

#define YY_INPUT(b, r, m) (r = myinput(b, m))

%}

%%

and        { return AND; }
CHAR(ACTER)?    { return CHARACTER; }
CLOSE        { return CLOSE; }
CREATE        { return CREATE; }
CURRENT        { return CURRENT; }
CURSOR        { return CURSOR; }
count        { return COUNT; }
DECLARE        { return DECLARE; }
delete        { return DELETE; }
DOUBLE        { return DOUBLE; }
FETCH        { return FETCH; }
FLOAT        { return FLOAT; }
FOR        { return FOR; }
from        { return FROM; }
insert        { return INSERT; }
INT(EGER)?    { return INTEGER; }
into        { return INTO; }
NOT        { return NOT; }
NULL        { return NULLX; }
NUMERIC        { return NUMERIC; }
OF        { return OF; }
OPEN        { return OPEN; }
OR        { return OR; }
REAL        { return REAL; }
select        { return SELECT; }
set        { return SET; }
table        { return TABLE; }
update        { return UPDATE; }
values        { return VALUES; }
where        { return WHERE; }

    /* punctuation */
"=" { return L_EQ; }

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

[-+*/:(),.;]    { return yytext[0]; }

    /* names */

[A-Za-z][A-Za-z0-9_]*    { strcpy(yylval.nameval,yytext); return NAME; }

    /* numbers */

-?[0-9]+    { yylval.intval = atoi(yytext); return INTNUM; }
[0-9]+"."[0-9]* { yylval.floatval = atof(yytext); return FLOATNUM; }

[0-9]+[eE][+-]?[0-9]+    |
[0-9]+"."[0-9]*[eE][+-]?[0-9]+ |
"."[0-9]*[eE][+-]?[0-9]+    { return APPROXNUM; }

    /* strings */
'[^'/n]*'    { TrimString(yytext); strcpy(yylval.strval,yytext); return STRING; }   
       
'[^/'/n]*$    { yyerror("Unterminated string"); }

/n        lineno++;

[ /t/r]+    ;    /* white space */

"--".*$        ;    /* comment */

%%

void yyerror(char *s)
{
    printf("%d: %s at %s/n", lineno, s, yytext);
}

int yywrap()    {return 1;}

main(int argc, char **argv)
{
    int pos;
    int ret;   
    char *buffer;
    char prompt_buffer[MAX_BUFFER_SIZE];
    char last_prompt_buffer[MAX_BUFFER_SIZE];
    int count;
           
    while(1)
    {
        printf("mdbsql>>");   
        fgets(prompt_buffer, sizeof(prompt_buffer), stdin);       
       
        _xInput = prompt_buffer;
        _xLen = strlen(prompt_buffer);
       
        if (prompt_buffer[0]=='//')
        {
            strcpy(prompt_buffer, last_prompt_buffer);
            _xLen = strlen(prompt_buffer);
        }
        if (strncmp(prompt_buffer, "quit", 4)==0 ||
            strncmp(prompt_buffer, "exit", 4)==0
            )
        {
            break;
        }
               
        memset(&sql_plan, 0, sizeof(sql_plan) );
        strcpy(last_prompt_buffer, prompt_buffer);
        if(!yyparse())
        {                           
            if (sql_plan.action == SQL_SELECT)
            {                             
                  printf("%d records are retrieved/n", count);
              }
              else if (sql_plan.action == SQL_DELETE)
              {
                  printf("%d records are deleted/n", ret);
              }
              else if (sql_plan.action == SQL_UPDATE)
              {
                  printf("%d records are updated/n", ret);
              }
              else if (sql_plan.action == SQL_INSERT)
              {
                  if (ret>0) printf("1 record is inserted/n");
              }
              else if (sql_plan.action == SQL_COUNT_ALL)
              {
                  if (ret>0) printf("1 record is retrieved/n");
              }
        }
        else
        {   
            printf("SQL parse failed/n");
        }       
    }
}


parser_yacc.y
%{

#include "parser_yacc.h"
#include "sql_define.h"
#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int lineno = 1;
void yyerror(char *s);

void TrimString(char *str)
{
        char *copied, *tail = NULL;
        if ( str == NULL )
                return;

        for( copied = str; *str; str++ )
        {
                if ( *str != ' ' && *str != '/t' && *str != '/n' &&
                     *str != '/r' && *str != '/'' && *str != ';')
                {
                    *copied++ = *str;
                    tail = copied;                        
                }
                else
                {
                    if ( tail )
                        *copied++ = *str;
                }
        }

        if ( tail )
             *tail = 0;
        else
             *copied = 0;

        return;
}

char *_xInput;
int _xLen = 0;

int myinput(char *buff,int max)
{
    if(!_xLen) return 0;
    if(max > _xLen) max = _xLen   ;
    memcpy(buff,_xInput,max);
    _xInput += max;
    _xLen -= max;
    return   max;
}

#define YY_INPUT(b, r, m) (r = myinput(b, m))

%}

%%

and        { return AND; }
CHAR(ACTER)?    { return CHARACTER; }
CLOSE        { return CLOSE; }
CREATE        { return CREATE; }
CURRENT        { return CURRENT; }
CURSOR        { return CURSOR; }
count        { return COUNT; }
DECLARE        { return DECLARE; }
delete        { return DELETE; }
DOUBLE        { return DOUBLE; }
FETCH        { return FETCH; }
FLOAT        { return FLOAT; }
FOR        { return FOR; }
from        { return FROM; }
insert        { return INSERT; }
INT(EGER)?    { return INTEGER; }
into        { return INTO; }
NOT        { return NOT; }
NULL        { return NULLX; }
NUMERIC        { return NUMERIC; }
OF        { return OF; }
OPEN        { return OPEN; }
OR        { return OR; }
REAL        { return REAL; }
select        { return SELECT; }
set        { return SET; }
table        { return TABLE; }
update        { return UPDATE; }
values        { return VALUES; }
where        { return WHERE; }

    /* punctuation */
"=" { return L_EQ; }

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

[-+*/:(),.;]    { return yytext[0]; }

    /* names */

[A-Za-z][A-Za-z0-9_]*    { strcpy(yylval.nameval,yytext); return NAME; }

    /* numbers */

-?[0-9]+    { yylval.intval = atoi(yytext); return INTNUM; }
[0-9]+"."[0-9]* { yylval.floatval = atof(yytext); return FLOATNUM; }

[0-9]+[eE][+-]?[0-9]+    |
[0-9]+"."[0-9]*[eE][+-]?[0-9]+ |
"."[0-9]*[eE][+-]?[0-9]+    { return APPROXNUM; }

    /* strings */
'[^'/n]*'    { TrimString(yytext); strcpy(yylval.strval,yytext); return STRING; }   
       
'[^/'/n]*$    { yyerror("Unterminated string"); }

/n        lineno++;

[ /t/r]+    ;    /* white space */

"--".*$        ;    /* comment */

%%

void yyerror(char *s)
{
    printf("%d: %s at %s/n", lineno, s, yytext);
}

int yywrap()    {return 1;}

main(int argc, char **argv)
{
    int pos;
    int ret;   
    char *buffer;
    char prompt_buffer[MAX_BUFFER_SIZE];
    char last_prompt_buffer[MAX_BUFFER_SIZE];
    int count;
           
    while(1)
    {
        printf("mdbsql>>");   
        fgets(prompt_buffer, sizeof(prompt_buffer), stdin);       
       
        _xInput = prompt_buffer;
        _xLen = strlen(prompt_buffer);
       
        if (prompt_buffer[0]=='//')
        {
            strcpy(prompt_buffer, last_prompt_buffer);
            _xLen = strlen(prompt_buffer);
        }
        if (strncmp(prompt_buffer, "quit", 4)==0 ||
            strncmp(prompt_buffer, "exit", 4)==0
            )
        {
            break;
        }
               
        memset(&sql_plan, 0, sizeof(sql_plan) );
        strcpy(last_prompt_buffer, prompt_buffer);
        if(!yyparse())
        {                           
            if (sql_plan.action == SQL_SELECT)
            {                             
                  printf("%d records are retrieved/n", count);
              }
              else if (sql_plan.action == SQL_DELETE)
              {
                  printf("%d records are deleted/n", ret);
              }
              else if (sql_plan.action == SQL_UPDATE)
              {
                  printf("%d records are updated/n", ret);
              }
              else if (sql_plan.action == SQL_INSERT)
              {
                  if (ret>0) printf("1 record is inserted/n");
              }
              else if (sql_plan.action == SQL_COUNT_ALL)
              {
                  if (ret>0) printf("1 record is retrieved/n");
              }
        }
        else
        {   
            printf("SQL parse failed/n");
        }       
    }
}


mdbsql:    parser_yacc.o parser_lex.o
    gcc -o $@ parser_yacc.o parser_lex.o  -lfl

parser_yacc.c parser_yacc.h:    parser_yacc.y
    yacc -vdt parser_yacc.y
    mv y.tab.h parser_yacc.h
    mv y.tab.c parser_yacc.c
    mv y.output parser_yacc.out

parser_lex.o:    parser_yacc.h parser_lex.c

parser_lex.c : parser_lex.l
    flex $<
    mv lex.yy.c $*.c
 Makefile



上述程序在cygwin、redhat as5下测试过
towerjt
关注
  • 0
    点赞
  • 踩
  • 10
    收藏
    觉得还不错? 一键收藏
  • 4
    评论
专栏目录
一个简单SQL查询生成器-Golang开发
05-26
Loukoum一个简单SQL查询生成器。 简介Loukoum是一个简单SQL查询生成器，目前仅支持PostgreSQL。 如果必须生成复杂的查询，则依赖于各种con Loukoum一个简单SQL查询生成器。 简介Loukoum是一个简单SQL查询生成器，目前仅支持PostgreSQL。 如果您必须生成依赖于各种上下文的复杂查询，那么loukoum是适合您的工具。 害怕在操作FMT时附加一个小SQL注入操作来附加条件？ 不用担心，loukoum会在这里保护您免受自己的伤害。 loukoum在何时何地变得方便的几个示例：如果用户是管理员，请删除用户匿名显示新
lexyacc-calculator:使用 lex 和 yacc 的科学计算器
06-04
lexyacc-计算器这个解释器包括 2 个文件来运行一个 flex 文件和一个 yacc 文件。 打开终端并转到这些文件所在的文件夹编写命令 lex bc.l 来编译 lex 文件然后写yacc term1.y编译yacc文件，这会生成y.tab.c 然后用c...
mysql源代码解析经典类——sql解析Lex类
青阳的博客
12-21 1013
LEX对象当前具有三个不同的用途： 它包含SQL命令的一些通用属性，例如sql_command，数据更改语句语法中是否存在IGNORE以及表列表（query_tables）。 它包含一些执行状态变量，例如m_exec_started（开始执行时设置为true），插件（语句使用的插件列表），insert_update_values_map（某些INSERT语句使用的对象的映射）等。 它包含许多对Sql_cmd的子类来说是本地的成员，例如purge_value_list（对于PURGE命令），kill_val
lex和yacc解析SQL语句语法解析(1)
haizhenglang的专栏
09-13 6304
最近因项目需要解析sql，并sql语句的Group By字段加入附加信息。系统的开发环境和语言。 项目运行环境 : linux Ret Hat Enterprise 5 开发语言 : c,shell. perl 基础库 : glib-2.24 我们先从总体上来对lex和yacc的功能进行认识。lex的功能主要是完成词法的分析，yacc主要功能是完成语法的分析；这样词法分析工具和语法工具已经具备，这样我们就可以整合这两个工具来完成sql语句的分析或者是自定义
GitHub: 风靡全球的开源版本控制平台
最新发布
weixin_73425532的博客
02-13 4264
GitHub不仅提供了强大的代码托管和版本控制功能，还提供了问题追踪、项目管理、代码审查等工具，使开发过程更加高效和协调。这种开放的环境促进了开发者之间的合作和学习，推动了技术的不断进步。开发者可以通过学习其他项目的代码，了解最佳实践和先进的技术，提高自己的技能水平。以往，开源项目常常面临代码托管和协作的挑战，但GitHub提供了一个统一且易于使用的平台，使得开源项目更容易被发现、贡献和使用。GitHub还提供了项目管理的功能，例如项目板，使开发者能够更好地组织和跟踪项目的进度。
使用lex与yacc词法语法工具进行简单的SQL语义检查
piaow_的博客
08-23 1130
使用lex和yacc进行词法语法分析，并对输入的SQL字符串语句进行语义检查
sql解析之lex和yacc工具
egraldloi的专栏
10-12 2364
lex和yacc是用来编写自己的语言和编译器的，所以我们可以用它来编写自己所定义的sql语言和编译器。 lex是lexical analyzar，yacc是yet another compiler complier lex: lex是一个生成扫描器的工具，扫描器是一种识别词汇模式的工具，这些词汇模式在特殊的结构中定义。
Pisa-Proxy SQL 解析之 Lex & Yacc
SphereEX的博客
07-07 721
在上篇文章《Pisa-Proxy 之 SQL 解析实践》中介绍了 Pisa-Proxy 的核心模块之一 SQL 解析器的相关内容。在 MySQL 和 PostgreSQL 中 SQL 解析是通过 Yacc 实现的，同样 Pisa- Proxy 的 SQL 解析器是由类似 Yacc 这样的工具实现的，所以本篇文章会围绕 SQL 解析器为大家介绍一些编译原理和 Lex & Yacc 的使用，同时也会为读者展示如何通过 Lex & Yacc 实现一个简单的 SQL 解析器。从而帮助大家更好地理解 Pisa-Pro
编译原理——Lex与Yacc及应用
TTTSEP9TH2244的博客
01-19 4794
一. 实验原理： Lex(Lexical Analyzar 词法分析生成器)，Yacc(Yet Another Compiler Compiler 编译器代码生成器)是Unix下十分重要的词法分析，语法分析的工具。经常用于语言分析，公式编译等广泛领域。 Lex工具是一种词法分析程序生成器，它可以根据词法规则说明书的要求来生成单词识别程序，由该程序识别出输入文本中的各个单词。 一般可以分为<定义部分><规则部分><用户子程序部分>。其中规则部分是必须的，定义和用户子程序部
基于lex和yacc的词法分析器+语法分析器.zip
07-04
项目中的词法分析使用了lex 。 运行环境：Ubuntu 14.04 Ubuntu 16.04 本编译器所支持的词法和语法请参考第二第三小节 解压压缩包 运行命令 unzip compiler.zip 进入文件夹运行命令 ./compiler test.cmm 其中test.cmm...
使用lex和yacc编写shell
09-13
使用lex和yacc编写shell 在Linux环境中使用C语言编写一个简单的shell命令解释器程序，程序应当具有以下基本特征： 能够执行fg、bg、cd、history、exit等内部命令。 能够执行外部程序命令，命令可以带参数。 使用输入...
SqlParser C++实现的SQL语法解释器
06-08
SqlParser C++实现的SQL语法解释器，忘了在哪找到的，方便大家学习，直接贴上来了
lex和yacc构建的SQL分析器
09-14
lex和yacc构建的SQL分析器，lex和yacc构建的SQL分析器
sqltoy(lex yacc c sql)
02-19
开发环境：windows, vc2008, mingw, flex, bison 使用的库: STL 程序名称：EasySql(sql玩具) 程序支持的命令：区分大小写 HELP; CREATE TABLE DROP TABLE INSERT INTO DELETE FROM SELECT FROM UPDATE SET 命令具体格式，可以输入HELP;命令来查看，命令关键字全部大写，以";"结尾 功能：lex yacc c sql 实现的sql玩具，希望对大家有用。
基于SQL 语法解释器JSqlParser实现的SQL解析工具
04-06
NULL 博文链接：https://lxy19791111.iteye.com/blog/1543223
用yacc和lex实现SQL解释器
05-08
用yacc和lex实现SQL一个简单的解释器，分析了词法的分析，语法的构造和语法树的的实现。以及数据库物理结构的设计。
Simple-Calculator-Lex-Yacc：在lex和yacc中构建的简单计算器
02-11
简单计算器Lex-Yacc 用lex和yacc构建的简单计算器
一个极其简单的lex和yacc程序
04-21
在本章中，将会首先给出一个最基本的lex和yacc联合使用的框架，这个基本框架 最主要的特点就是能够正确的被编译。在我学习lex和yacc的过程中经历了无数次 的痛苦折磨，我发现一个一开始足够简单而且能够被正确编译的...
flex bison
DOOM mark_lee
12-26 653
【转】 http://www.itjaj.com/thread-2887-1-1.html 本文需要读者对C语言有一定的了解作为基础 本文中所涉及的例子可以用本站提供的‘全自动化Makefile’一文中提供的Makefile进行编译 读者如果在Linux下，可以直接使用，Windows用户需要Cygwin(www.cygwin.com)环境 本文中的工具，需要用户安装flex和biso
用lex和yacc用c/c++写一个函数绘画解释器
06-08
好的，我理解您的问题了。下面是一个简单的用C++编写的函数绘画解释器，它使用了lex和yacc来解析绘画命令： 1. 创建文件draw.l，定义绘图命令的词法规则： ``` %{ #include "y.tab.h" %} %% line { return LINE; } circle { return CIRCLE; } rect { return RECT; } [0-9]+ { yylval.num = atoi(yytext); return NUMBER; } [ \t\n] { /* ignore whitespace */ } . { printf("Invalid input: %s\n", yytext); } %% int yywrap() { return 1; } ``` 2. 创建文件draw.y，定义绘图命令的语法规则： ``` %{ #include <iostream> #include <vector> #include <cmath> using namespace std; struct Point { int x; int y; }; enum Shape { LINE, CIRCLE, RECT }; struct Command { Shape shape; Point p1; Point p2; int radius; }; vector<Command> commands; %} %token LINE CIRCLE RECT NUMBER %left '+''-' %left '*''/' %% commands: /* empty */ | commands command ; command: LINE '(' NUMBER ',' NUMBER ')' '(' NUMBER ',' NUMBER ')' { Command cmd; cmd.shape = LINE; cmd.p1.x = $2; cmd.p1.y = $4; cmd.p2.x = $6; cmd.p2.y = $8; commands.push_back(cmd); } | CIRCLE '(' NUMBER ',' NUMBER ',' NUMBER ')' { Command cmd; cmd.shape = CIRCLE; cmd.p1.x = $2; cmd.p1.y = $4; cmd.radius = $6; commands.push_back(cmd); } | RECT '(' NUMBER ',' NUMBER ')' '(' NUMBER ',' NUMBER ')' { Command cmd; cmd.shape = RECT; cmd.p1.x = $2; cmd.p1.y = $4; cmd.p2.x = $6; cmd.p2.y = $8; commands.push_back(cmd); } ; %% int main() { yyparse(); // 绘图代码 for (int i = 0; i < commands.size(); i++) { Command cmd = commands[i]; switch (cmd.shape) { case LINE: // 绘制直线 break; case CIRCLE: // 绘制圆形 break; case RECT: // 绘制矩形 break; default: break; } } return 0; } int yyerror(const char *msg) { cout << msg << endl; return 0; } ``` 3. 运行以下命令，生成词法分析器和语法分析器： ``` flex draw.l yacc -d draw.y ``` 4. 编译并运行程序： ``` g++ -o draw lex.yy.c y.tab.c -lm ./draw ``` 5. 在程序中输入以下命令，将绘制一个红色正方形： ``` rect(100, 100)(300, 300) ``` 希望这个示例可以帮助您了解如何使用lex和yacc来实现函数绘画解释器。注意，在这个示例中只是将解析出的命令存储在了一个vector中，您需要将其转换为相应的绘图指令，具体实现可以使用OpenGL或其他绘图库。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 4
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值