【ORACLE】一个允许关键字作为别名所引起的语法歧义场景

ops/2024/12/19 20:49:42/

前言

最近在看SQL语法解析器,发现了antlr4提供的PlSql语法树存在一个BUG,然后我顺着这个BUG,构造了一条SQL,在ORACLE执行,如下

image-ghns.png

然后神奇的事情出现了,这个查询竟然没有返回行!t1表左关联t2,而且对t1表没有过滤条件,那么无论如何t1表中的数据应该是全部展现的!
然后有人可能认为ORACLE就是这样的,但下面这个图的出现可能会让人瞬间抓狂!

image-nzct.png

两条长得完全一样的SQL,就是简单的两个表关联查询,竟然出现了结果不一致的情况!

起因

在客户应用迁移到某国产数据库中,有一条类似这样的SQL

select * from t1 left join t2 on t1.id=t2.ids(+);

在该国产数据库中会报错 ERROR: Operator "(+)" can only be used in WhereClause of Select-Statement or Subquery.

即不允许操作符 (+)出现在select语句的where子句以外的地方。
于是我们开始分析这样的SQL基于语法树应该如何改写。
首先这个SQL是两个表的left join,一般正常的写法是

select * from t1,t2 where t1.id=t2.ids(+);

select * from t1 left join t2 on t1.id=t2.ids;

即两个表的左关联不需要同时使用 left join(+),两种用法重复了,最简单的改法就是在原SQL上去掉 (+)号。
但是只能针对两表的 left joinright join,对于 join则不能简单的去掉,因为 join的时候,(+)就有意义了。
于是乎,我们试图通过语法树来看是否可以区分出 joinleft join

join_clause: query_partition_clause? (CROSS | NATURAL)? (INNER | outer_join_type)? JOIN table_ref_aux query_partition_clause? (join_on_part| join_using_part)*| (CROSS | OUTER) APPLY table_ref_aux;
outer_join_type: (FULL | LEFT | RIGHT) OUTER?;

从语法解析规则文件来看,似乎是可以区分的,然后解析一下这条SQL:

select * from t1 left join t2 on t1.id=t2.ids;
^Z
(sql_script(unit_statement(data_manipulation_language_statements(select_statement(select_only_statement(subquery(subquery_basic_elements(query_block select(selected_list *)(from_clause from(table_ref_list(table_ref(table_ref_aux(table_ref_aux_internal(dml_table_expression_clause(tableview_name(identifier(id_expression(regular_id t1))))))(table_alias(identifier(id_expression(regular_id(non_reserved_keywords_pre12c left))))))(join_clause join(table_ref_aux(table_ref_aux_internal(dml_table_expression_clause(tableview_name(identifier(id_expression(regular_id t2)))))))(join_on_part on(condition(expression(logical_expression(unary_logical_expression(multiset_expression(relational_expression(relational_expression(compound_expression(concatenation(model_expression(unary_expression(atom(general_element(general_element(general_element_part(id_expression(regular_id t1)))) .(general_element_part(id_expression(regular_id(non_reserved_keywords_pre12c id)))))))))))(relational_operator =)(relational_expression(compound_expression(concatenation(model_expression(unary_expression(atom(general_element(general_element(general_element_part(id_expression(regular_id t2)))) .(general_element_part(id_expression(regular_id ids)))))))))))))))))))))))))))) ; <EOF>)

结果发现这里的 left竟然被当成了t1表的别名!ORACLE对于关键字作为别名的一个重要特点就是可以不加 as,而且ORACLE也的确支持 left作为表的别名。于是乎这里的语法似乎也可以说得过去,不是外关联,而是 left这个表和 t2表做 join。(其实是开源的语法解析器的问题https://github.com/antlr/grammars-v4/issues/1726 )

而ORACLE自然是不会允许这种情况发生的,ORACLE在语法解析的时候,读到left,会往后匹配一个词,如果是 joinouter join,则一起识别为 left join,否则,就把left识别为表的别名。但这样就会导致要执行更多的判断逻辑。而其他数据库禁止使用left作为别名,或者禁止不带 as直接作为别名时,则不需要有这样判断,并且不会引起语法上的歧义。

答案揭晓

在做这个语法分析的过程中,我们发现了这一语法歧义,自然就可以想到,我们能不能通过某种手段,在oracle里让这个 left真的变为别名。
其实很简单,left里有一个特殊的字母 e,经常做信息安全方面的人,以及经常识别假冒账号的人,对这个 e可以说是非常熟悉,比如下面这4个进程名,去对比字符,可以发现是完全不同的四个进程名

explorer.exe
еxplorеr.exe
еxplorer.exe
explorеr.exe
SQL> with t as (2  select 'explorer.exe' c from dual union all3  select 'еxplorеr.exe' from dual union all4  select 'еxplorer.exe' from dual union all5  select 'explorеr.exe' from dual)6  select c,utl_raw.cast_to_raw(c) from t;C              UTL_RAW.CAST_TO_RAW(C)
-------------- --------------------------------------------------------------------------------
explorer.exe   6578706C6F7265722E657865
еxplorеr.exe   A7D678706C6F72A7D6722E657865
еxplorer.exe   A7D678706C6F7265722E657865
explorеr.exe   6578706C6F72A7D6722E657865

其实这里的 е不是 e,而是俄文的 е,没错,俄文里的 e,字形和英文字母的 e是一模一样的,但其实是两个不同的字符。
所以文章开始的那两个SQL就是下面的看似一样的两条SQL查出来的

with t1 as (select 1 id from dual),
t2 as (select 0 ids from dual)
select * from t1 lеft join t2 on id=ids;with t1 as (select 1 id from dual),
t2 as (select 0 ids from dual)
select * from t1 left join t2 on id=ids;

总结

虽然在国内的实际生产应用中,这里出现俄文的 е,概率是极低的,但养成良好的开发习惯,不过于依赖ORACLE这种宽松的SQL标准,比如别名就得加 as,不要混用 join(+)等,这样能在异构数据库兼容改造时,省去不少麻烦。

  • 本文作者: DarkAthena
  • 本文链接: https://www.darkathena.top/archives/A-Scenario-of-Syntactic-Ambiguity-Caused-by-Allowing-Keywords-as-Aliases
  • 版权声明: 本博客所有文章除特别声明外,均采用CC BY-NC-SA 3.0 许可协议。转载请注明出处

http://www.ppmy.cn/ops/143283.html

相关文章

pyparsing restOfLine

在 pyparsing 中&#xff0c;restOfLine 是一个解析器&#xff08;parser&#xff09;&#xff0c;用于匹配当前位置到行尾的所有内容&#xff0c;通常在解析文件或处理逐行数据时非常有用。 restOfLine 的特性 匹配内容&#xff1a;从当前位置一直匹配到换行符 \n 或字符串结…

【数据结构——线性表】单链表的基本运算(头歌实践教学平台习题)【合集】

目录&#x1f60b; 任务描述 相关知识 测试说明 我的通关代码: 测试结果&#xff1a; 任务描述 本关任务&#xff1a;编写一个程序实现单链表的基本运算。 相关知识 为了完成本关任务&#xff0c;你需要掌握&#xff1a;初始化线性表、销毁线性表、判定是否为空表、求线性…

Elasticsearch 集群快照的定期备份设置指南

Elasticsearch 集群快照的定期备份设置指南 概述 快照&#xff1a; 在给定时刻对整个集群或者单个索引进行备份&#xff0c;以便在之后出现故障时可以基于之前备份的快照进行快速恢复。 前提条件&#xff1a; 准备一个备份存储盘&#xff0c;本指南采用的是AWS EFS文件系统做…

uniapp 微信小程序 均分数据展示

效果图 数据展示&#xff0c;可自行搭配 html <view class"num-wrapper"><view class"num-item" click.stop"routerGo(跳转的地址)"><text class"num">&#xffe5;{{ 要展示的数据 || 0}}</text><view…

软件包git没有可安装候选

‌在Ubuntu系统中安装git时出现“软件包git没有可安装候选”的错误&#xff0c;通常是因为软件源列表未更新或软件包信息不完整。‌ 解决方法 ‌更新软件源‌&#xff1a;首先&#xff0c;确保你的系统软件源是最新的。可以通过以下命令更新软件源&#xff1a; sudo apt-get u…

微积分复习笔记 Calculus Volume 2 - 4.2 Direction Fields and Numerical Methods

4.2 Direction Fields and Numerical Methods - Calculus Volume 2 | OpenStax

回型矩阵:JAVA

解题思路&#xff1a; 通过定义四条边界&#xff1b;top,left,right,bottom,来循环&#xff0c;当top>bottom&&left>right的时候循环终止 循环结束的条件&#xff1a; 链接&#xff1a;登录—专业IT笔试面试备考平台_牛客网 来源&#xff1a;牛客网 题目描述…

Spring(二)AOP、切入点表达式、AspecJ常用通知的类型、Spring中的事务管理

文章目录 一、AOP 1、定义 2、特点 3、AOP中的术语&#xff08;连接点、切入点、通知、目标、代理&#xff09; 4、配置 &#xff08;1&#xff09;下载AOP相关jar &#xff08;2&#xff09;启动AspectJ支持 5、使用 6、切入点表达式 7、AspecJ常用通知的类型 &…