网络
虚拟私有云 VPC
弹性公网IP EIP
弹性负载均衡 ELB
NAT网关 NAT
云专线 DC
虚拟专用网络 VPN
云连接 CC
VPC终端节点 VPCEP
企业路由器 ER
企业交换机 ESW
全球加速 GA
企业连接 EC
云原生应用网络 ANC
安全与合规
安全技术与应用
Web应用防火墙 WAF
企业主机安全 HSS
云防火墙 CFW
安全云脑 SecMaster
DDoS防护 AAD
数据加密服务 DEW
数据库安全服务 DBSS
云堡垒机 CBH
数据安全中心 DSC
云证书管理服务 CCM
威胁检测服务 MTD
态势感知 SA
认证测试中心 CTC
边缘安全 EdgeSec
应用中间件
微服务引擎 CSE
分布式消息服务Kafka版
分布式消息服务RabbitMQ版
分布式消息服务RocketMQ版
API网关 APIG
分布式缓存服务 DCS
多活高可用服务 MAS
事件网格 EG
管理与监管
统一身份认证服务 IAM
消息通知服务 SMN
云监控服务 CES
应用运维管理 AOM
应用性能管理 APM
云日志服务 LTS
云审计服务 CTS
标签管理服务 TMS
配置审计 Config
应用身份管理服务 OneAccess
资源访问管理 RAM
组织 Organizations
资源编排服务 RFS
优化顾问 OA
IAM 身份中心
云运维中心 COC
资源治理中心 RGC
解决方案
高性能计算 HPC
SAP
混合云灾备
开天工业工作台 MIW
Haydn解决方案工厂
数字化诊断治理专家服务
云生态
云商店
合作伙伴中心
华为云开发者学堂
华为云慧通差旅
开发与运维
软件开发生产线 CodeArts
需求管理 CodeArts Req
流水线 CodeArts Pipeline
代码检查 CodeArts Check
编译构建 CodeArts Build
部署 CodeArts Deploy
测试计划 CodeArts TestPlan
制品仓库 CodeArts Artifact
移动应用测试 MobileAPPTest
CodeArts IDE Online
开源镜像站 Mirrors
性能测试 CodeArts PerfTest
应用管理与运维平台 ServiceStage
云应用引擎 CAE
开源治理服务 CodeArts Governance
华为云Astro轻应用
CodeArts IDE
Astro工作流 AstroFlow
代码托管 CodeArts Repo
漏洞管理服务 CodeArts Inspector
联接 CodeArtsLink
软件建模 CodeArts Modeling
Astro企业应用 AstroPro
CodeArts盘古助手
华为云Astro大屏应用
计算
弹性云服务器 ECS
Flexus云服务
裸金属服务器 BMS
云手机服务器 CPH
专属主机 DeH
弹性伸缩 AS
镜像服务 IMS
函数工作流 FunctionGraph
云耀云服务器(旧版)
VR云渲游平台 CVR
Huawei Cloud EulerOS
云化数据中心 CloudDC
网络
虚拟私有云 VPC
弹性公网IP EIP
弹性负载均衡 ELB
NAT网关 NAT
云专线 DC
虚拟专用网络 VPN
云连接 CC
VPC终端节点 VPCEP
企业路由器 ER
企业交换机 ESW
全球加速 GA
企业连接 EC
云原生应用网络 ANC
CDN与智能边缘
内容分发网络 CDN
智能边缘云 IEC
智能边缘平台 IEF
CloudPond云服务
安全与合规
安全技术与应用
Web应用防火墙 WAF
企业主机安全 HSS
云防火墙 CFW
安全云脑 SecMaster
DDoS防护 AAD
数据加密服务 DEW
数据库安全服务 DBSS
云堡垒机 CBH
数据安全中心 DSC
云证书管理服务 CCM
威胁检测服务 MTD
态势感知 SA
认证测试中心 CTC
边缘安全 EdgeSec
大数据
MapReduce服务 MRS
数据湖探索 DLI
表格存储服务 CloudTable
可信智能计算服务 TICS
推荐系统 RES
云搜索服务 CSS
数据可视化 DLV
数据接入服务 DIS
数据仓库服务 GaussDB(DWS)
数据治理中心 DataArts Studio
湖仓构建 LakeFormation
智能数据洞察 DataArts Insight
应用中间件
微服务引擎 CSE
分布式消息服务Kafka版
分布式消息服务RabbitMQ版
分布式消息服务RocketMQ版
API网关 APIG
分布式缓存服务 DCS
多活高可用服务 MAS
事件网格 EG
开天aPaaS
应用平台 AppStage
开天企业工作台 MSSE
开天集成工作台 MSSI
API中心 API Hub
云消息服务 KooMessage
交换数据空间 EDS
云地图服务 KooMap
云手机服务 KooPhone
组织成员账号 OrgID
云空间服务 KooDrive
管理与监管
统一身份认证服务 IAM
消息通知服务 SMN
云监控服务 CES
应用运维管理 AOM
应用性能管理 APM
云日志服务 LTS
云审计服务 CTS
标签管理服务 TMS
配置审计 Config
应用身份管理服务 OneAccess
资源访问管理 RAM
组织 Organizations
资源编排服务 RFS
优化顾问 OA
IAM 身份中心
云运维中心 COC
资源治理中心 RGC
区块链
区块链服务 BCS
数字资产链 DAC
华为云区块链引擎服务 HBS
解决方案
高性能计算 HPC
SAP
混合云灾备
开天工业工作台 MIW
Haydn解决方案工厂
数字化诊断治理专家服务
价格
成本优化最佳实践
专属云商业逻辑
云生态
云商店
合作伙伴中心
华为云开发者学堂
华为云慧通差旅
其他
管理控制台
消息中心
产品价格详情
系统权限
客户关联华为云合作伙伴须知
公共问题
宽限期保留期
奖励推广计划
活动
云服务信任体系能力说明
开发与运维
软件开发生产线 CodeArts
需求管理 CodeArts Req
流水线 CodeArts Pipeline
代码检查 CodeArts Check
编译构建 CodeArts Build
部署 CodeArts Deploy
测试计划 CodeArts TestPlan
制品仓库 CodeArts Artifact
移动应用测试 MobileAPPTest
CodeArts IDE Online
开源镜像站 Mirrors
性能测试 CodeArts PerfTest
应用管理与运维平台 ServiceStage
云应用引擎 CAE
开源治理服务 CodeArts Governance
华为云Astro轻应用
CodeArts IDE
Astro工作流 AstroFlow
代码托管 CodeArts Repo
漏洞管理服务 CodeArts Inspector
联接 CodeArtsLink
软件建模 CodeArts Modeling
Astro企业应用 AstroPro
CodeArts盘古助手
华为云Astro大屏应用
存储
对象存储服务 OBS
云硬盘 EVS
云备份 CBR
高性能弹性文件服务 SFS Turbo
弹性文件服务 SFS
存储容灾服务 SDRS
云硬盘备份 VBS
云服务器备份 CSBS
数据快递服务 DES
云存储网关 CSG
专属分布式存储服务 DSS
数据工坊 DWR
地图数据 MapDS
键值存储服务 KVS
容器
云容器引擎 CCE
云容器实例 CCI
容器镜像服务 SWR
云原生服务中心 OSC
应用服务网格 ASM
华为云UCS
数据库
云数据库 RDS
数据复制服务 DRS
文档数据库服务 DDS
分布式数据库中间件 DDM
云数据库 GaussDB
云数据库 GeminiDB
数据管理服务 DAS
数据库和应用迁移 UGO
云数据库 TaurusDB
人工智能
AI开发平台ModelArts
华为HiLens
图引擎服务 GES
图像识别 Image
文字识别 OCR
自然语言处理 NLP
内容审核 Moderation
图像搜索 ImageSearch
医疗智能体 EIHealth
企业级AI应用开发专业套件 ModelArts Pro
人脸识别服务 FRS
对话机器人服务 CBS
语音交互服务 SIS
人证核身服务 IVS
视频智能分析服务 VIAS
城市智能体
自动驾驶云服务 Octopus
盘古大模型 PanguLargeModels
IoT物联网
设备接入 IoTDA
全球SIM联接 GSL
IoT数据分析 IoTA
路网数字化服务 DRIS
IoT边缘 IoTEdge
设备发放 IoTDP
企业应用
域名注册服务 Domains
云解析服务 DNS
企业门户 EWP
ICP备案
商标注册
华为云WeLink
华为云会议 Meeting
隐私保护通话 PrivateNumber
语音通话 VoiceCall
消息&短信 MSGSMS
云管理网络
SD-WAN 云服务
边缘数据中心管理 EDCM
云桌面 Workspace
应用与数据集成平台 ROMA Connect
ROMA资产中心 ROMA Exchange
API全生命周期管理 ROMA API
政企自服务管理 ESM
视频
实时音视频 SparkRTC
视频直播 Live
视频点播 VOD
媒体处理 MPC
视频接入服务 VIS
数字内容生产线 MetaStudio
迁移
主机迁移服务 SMS
对象存储迁移服务 OMS
云数据迁移 CDM
迁移中心 MGC
专属云
专属计算集群 DCC
开发者工具
SDK开发指南
API签名指南
DevStar
华为云命令行工具服务 KooCLI
Huawei Cloud Toolkit
CodeArts API
云化转型
云架构中心
云采用框架
用户服务
账号中心
费用中心
成本中心
资源中心
企业管理
工单管理
客户运营能力
国际站常见问题
支持计划
专业服务
合作伙伴支持计划
我的凭证
华为云公共事业服务云平台
工业软件
工业数字模型驱动引擎
硬件开发工具链平台云服务
工业数据转换引擎云服务
文档首页/ 云数据库 GaussDB/ 开发指南(集中式_V2.0-8.x)/ SQL调优指南/ 实际调优案例/ 案例:调整基于代价的查询重写GUC参数costbased_rewrite_rule

案例:调整基于代价的查询重写GUC参数costbased_rewrite_rule

更新时间:2024-11-12 GMT+08:00
分享

查询重写能让优化器选择不同的执行路径,但部分规则对SQL的改写,并不能确保输出后的都是可以提升性能的计划。一旦改写错误可能导致千倍的性能差距,因此在查询改写阶段需要对此类规则支持基于代价的评估策略,决策是否应用规则对SQL进行改写,这些规则受GUC参数costbased_rewrite_rule控制,其受控的规则如表1所示。

表1 GUC参数costbased_rewrite_rule支持的参数控制规则说明列表

参数名

描述

none

不使用任何基于代价的查询改写策略。

pullup_subquery

简单子查询展开改写规则开启使用基于代价的查询改写策略。

pullup_sublink_any_exists

单个或AND条件里的ANY非相关子链接和[NOT] EXISTS相关子链接改写规则开启使用基于代价的查询改写策略。

pullup_not_in_sublink

单个或AND条件里的NOT IN非相关子链接改写规则开启使用基于代价的查询改写策略。该参数与GUC参数rewrite_rule的disable_pullup_not_in_sublink参数互斥,当开启该参数时,rewrite_rule的disable_pullup_not_in_sublink参数功能不生效。

pullup_expr_sublink

表达式子链接以及OR条件中的ANY非相关子链接和[NOT] EXISTS相关子链接改写场景生效。该参数与GUC参数rewrite_rule的disable_pullup_expr_sublink、enable_sublink_pullup_enhanced、magicset参数互斥,当开启该参数时rewrite_rule的相关参数功能不生效。

intargetlist

TargetList中的相关表达式子链接改写规则开启使用基于代价的查询改写策略。该参数与GUC参数rewrite_rule的intargetlist、magicset参数互斥,当开启该参数时,rewrite_rule的intargetlist、magicset参数功能不生效。

enable_sublink_pullup_enhanced

表达式子链接改写功能增强场景使用基于代价的查询改写策略。该参数受pullup_expr_sublink参数影响,AND条件中的表达式子链接改写场景需开启pullup_expr_sublink参数,该参数功能才生效。且与GUC参数rewrite_rule的enable_sublink_pullup_enhanced参数互斥,当开启该参数时,rewrite_rule的enable_sublink_pullup_enhanced参数功能不生效。

对于上述参数所控制的查询重写规则,以下通过典型案例说明其使用场景。

案例环境准备

为了便于规则的使用场景演示,需准备建表语句如下:

SET client_min_messages = warning;
SET CLIENT_ENCODING = 'UTF8';
--清理环境。
DROP SCHEMA IF EXISTS costbased_rule_test cascade;
CREATE SCHEMA costbased_rule_test;
SET current_schema = costbased_rule_test;
SET enable_codegen = off;
DROP TABLE IF EXISTS costbased_rule_test.ct1;
DROP TABLE IF EXISTS costbased_rule_test.ct2;
DROP TABLE IF EXISTS costbased_rule_test.ct3;
DROP TABLE IF EXISTS costbased_rule_test.ct4;
--创建测试表。
CREATE TABLE ct1 (a INT, b INT, c INT, d INT);
CREATE TABLE ct2 (a INT, b INT, c INT, d INT);
CREATE TABLE ct3 (a INT, b INT, c INT, d INT);
CREATE TABLE ct4 (a INT, b INT, c INT, d INT);
CREATE INDEX idx_ct1_b ON ct1(b);
CREATE INDEX idx_ct2_c ON ct2(c);
CREATE INDEX idx_ct3_c ON ct3(c);
--插入数据。
INSERT INTO ct1 (a, b, c) VALUES (generate_series(1, 100), generate_series(200, 300), left(random()::int, 100));
INSERT INTO ct2 VALUES(1,2,3,4),(3,4,5,6);
INSERT INTO ct3 (a, b, c, d) VALUES (generate_series(1, 10), generate_series(20, 30), left(random()::int, 10), left(random()::int, 10));
--更新统计信息。
ANALYZE ct1;
ANALYZE ct2;
ANALYZE ct3;

Having条件中的非相关子链接改写场景

Having条件中存在带有AGG的非相关表达式子链接时可以进行SQL等价改写。如果关闭基于代价的查询改写评估策略,子链接会基于规则进行改写,生成计划如下:

gaussdb=# SET rewrite_rule=enable_sublink_pullup_enhanced;
SET
gaussdb=# SET costbased_rewrite_rule=none;
SET
gaussdb=# EXPLAIN SELECT ct2.a, SUM(ct2.b) AS value FROM ct2,ct1 WHERE ct2.a = ct1.b GROUP BY ct2.a HAVING SUM(ct2.b) >= (SELECT AVG(ct2.b) FROM ct2,ct1 WHERE ct2.a = ct1.b) ORDER BY value DESC;
                                             QUERY PLAN                                             
----------------------------------------------------------------------------------------------------
 Sort  (cost=33.14..33.14 rows=1 width=12)
   Sort Key: (sum(costbased_rule_test.ct2.b)) DESC
   ->  Nested Loop  (cost=33.04..33.13 rows=1 width=12)
         Join Filter: ((sum(costbased_rule_test.ct2.b)) >= (avg(costbased_rule_test.ct2.b)))
         ->  Aggregate  (cost=16.02..16.03 rows=1 width=36)
               ->  Nested Loop  (cost=0.00..15.52 rows=200 width=4)
                     ->  Seq Scan on ct2  (cost=0.00..1.02 rows=2 width=8)
                     ->  Index Only Scan using idx_ct1_b on ct1  (cost=0.00..6.25 rows=100 width=4)
                           Index Cond: (b = costbased_rule_test.ct2.a)
         ->  HashAggregate  (cost=17.02..17.04 rows=2 width=8)
               Group By Key: costbased_rule_test.ct2.a
               ->  Nested Loop  (cost=0.00..15.52 rows=200 width=8)
                     ->  Seq Scan on ct2  (cost=0.00..1.02 rows=2 width=8)
                     ->  Index Only Scan using idx_ct1_b on ct1  (cost=0.00..6.25 rows=100 width=4)
                           Index Cond: (b = costbased_rule_test.ct2.a)
(15 rows)

但当设置costbased_rewrite_rule参数值为pullup_expr_sublink,enable_sublink_pullup_enhanced时,优化器会基于代价评估是否对子链接进行改写,因为此场景不进行SQL改写生成的计划更优,因此生成计划如下:

gaussdb=# SET rewrite_rule=enable_sublink_pullup_enhanced;
SET
gaussdb=# SET costbased_rewrite_rule=pullup_expr_sublink,enable_sublink_pullup_enhanced;
SET
gaussdb=# EXPLAIN SELECT ct2.a, SUM(ct2.b) AS value FROM ct2,ct1 WHERE ct2.a = ct1.b GROUP BY ct2.a HAVING SUM(ct2.b) >= (SELECT AVG(ct2.b) FROM ct2,ct1 WHERE ct2.a = ct1.b) ORDER BY value DESC;
                                           QUERY PLAN                                           
------------------------------------------------------------------------------------------------
 Sort  (cost=33.09..33.09 rows=2 width=8)
   Sort Key: (sum(costbased_rule_test.ct2.b)) DESC
   InitPlan 1 (returns $1)
     ->  Aggregate  (cost=16.02..16.03 rows=1 width=36)
           ->  Nested Loop  (cost=0.00..15.52 rows=200 width=4)
                 ->  Seq Scan on ct2  (cost=0.00..1.02 rows=2 width=8)
                 ->  Index Only Scan using idx_ct1_b on ct1  (cost=0.00..6.25 rows=100 width=4)
                       Index Cond: (b = costbased_rule_test.ct2.a)
   ->  HashAggregate  (cost=17.02..17.04 rows=2 width=8)
         Group By Key: costbased_rule_test.ct2.a
         Filter: (sum(costbased_rule_test.ct2.b) >= $1)
         ->  Nested Loop  (cost=0.00..15.52 rows=200 width=8)
               ->  Seq Scan on ct2  (cost=0.00..1.02 rows=2 width=8)
               ->  Index Only Scan using idx_ct1_b on ct1  (cost=0.00..6.25 rows=100 width=4)
                     Index Cond: (b = costbased_rule_test.ct2.a)
(15 rows)
注意:

costbased_rewrite_rule=pullup_expr_sublink,enable_sublink_pullup_enhanced与rewrite_rule=disable_pullup_expr_sublink、rewrite_rule=enable_sublink_pullup_enhanced互斥,且costbased_rewrite_rule的值优先级高于rewrite_rule的优先级。

AND条件中ANY/IN非相关子链接提升场景

单个或AND条件里存在ANY/IN非相关子链接时可以进行SQL等价改写。如果关闭基于代价的查询改写评估策略,子链接会基于规则进行改写,生成计划如下:

gaussdb=# SET rewrite_rule=none;
SET
gaussdb=# SET costbased_rewrite_rule=none;
SET
gaussdb=# EXPLAIN SELECT * FROM ct2 WHERE ct2.a IN (SELECT a FROM ct1 WHERE ct1.b > 1000);
                                   QUERY PLAN                                    
---------------------------------------------------------------------------------
 Nested Loop Semi Join  (cost=0.00..9.32 rows=1 width=16)
   Join Filter: (ct2.a = ct1.a)
   ->  Seq Scan on ct2  (cost=0.00..1.02 rows=2 width=16)
   ->  Materialize  (cost=0.00..8.27 rows=1 width=4)
         ->  Index Scan using idx_ct1_b on ct1  (cost=0.00..8.27 rows=1 width=4)
               Index Cond: (b > 1000)
(6 rows)

但当设置costbased_rewrite_rule参数值为pullup_sublink_any_exists时,则优化器会基于代价评估是否对子链接进行改写,因为此场景不进行SQL改写生成的计划更优,因此生成计划如下:

gaussdb=# SET rewrite_rule=none;
SET
gaussdb=# SET costbased_rewrite_rule=pullup_sublink_any_exists;
SET
gaussdb=# EXPLAIN SELECT * FROM ct2 WHERE ct2.a IN (SELECT a FROM ct1 WHERE ct1.b > 1000);
                                 QUERY PLAN                                  
-----------------------------------------------------------------------------
 Seq Scan on ct2  (cost=8.27..9.29 rows=1 width=16)
   Filter: (hashed SubPlan 1)
   SubPlan 1
     ->  Index Scan using idx_ct1_b on ct1  (cost=0.00..8.27 rows=1 width=4)
           Index Cond: (b > 1000)
(5 rows)
说明:

该场景仅受GUC参数costbased_rewrite_rule=pullup_sublink_any_exists控制,GUC参数rewrite_rule无相关控制参数。

AND条件中[NOT]EXISTS相关子连接提升场景

单个或AND条件里存在[NOT]EXISTS相关子链接时可以进行SQL等价改写。如果关闭基于代价的查询改写评估策略,子链接会基于规则进行改写,生成计划如下:

gaussdb=# SET rewrite_rule=none;
SET
gaussdb=# SET costbased_rewrite_rule=none;
SET
gaussdb=# EXPLAIN SELECT * FROM ct2 WHERE EXISTS (SELECT 1 FROM ct3 WHERE ct3.b = ct2.c AND ct3.c < 1000);
                           QUERY PLAN                           
----------------------------------------------------------------
 Hash Right Semi Join  (cost=1.04..3.73 rows=2 width=16)
   Hash Cond: (ct3.b = ct2.c)
   ->  Seq Scan on ct3  (cost=0.00..2.38 rows=110 width=4)
         Filter: (c < 1000)
   ->  Hash  (cost=1.02..1.02 rows=2 width=16)
         ->  Seq Scan on ct2  (cost=0.00..1.02 rows=2 width=16)
(6 rows)

但当设置costbased_rewrite_rule参数值为pullup_sublink_any_exists时,则优化器会基于代价评估是否对子链接进行改写,因为此场景不进行SQL改写生成的计划更优,因此生成计划如下:

gaussdb=# SET rewrite_rule=none;
SET
gaussdb=# SET costbased_rewrite_rule=pullup_sublink_any_exists;
SET
gaussdb=# EXPLAIN SELECT * FROM ct2 WHERE EXISTS (SELECT 1 FROM ct3 WHERE ct3.b = ct2.c AND ct3.c < 1000);
                         QUERY PLAN                          
-------------------------------------------------------------
 Seq Scan on ct2  (cost=0.00..1.55 rows=1 width=16)
   Filter: (alternatives: SubPlan 1 or hashed SubPlan 2)
   SubPlan 1
     ->  Seq Scan on ct3  (cost=0.00..2.65 rows=10 width=0)
           Filter: ((c < 1000) AND (b = ct2.c))
   SubPlan 2
     ->  Seq Scan on ct3  (cost=0.00..2.38 rows=110 width=4)
           Filter: (c < 1000)
(8 rows)
说明:

该场景仅受GUC参数costbased_rewrite_rule=pullup_sublink_any_exists控制,GUC参数rewrite_rule无相关控制参数。

AND条件中NOT IN非相关子连接提升场景

单个或AND条件里存在NOT IN非相关子链接时可以进行SQL等价改写。如果关闭基于代价的查询改写评估策略,子链接会基于规则进行改写,生成计划如下:

gaussdb=# SET rewrite_rule=none;
SET 
gaussdb=# SET costbased_rewrite_rule=none;
SET
gaussdb=# EXPLAIN SELECT * FROM ct1 WHERE ct1.b NOT IN (SELECT a FROM ct3);
                               QUERY PLAN                               
------------------------------------------------------------------------
 Nested Loop Anti Join  (cost=0.00..15437.60 rows=9100 width=16)
   Join Filter: ((ct1.b = ct3.a) OR (ct1.b IS NULL) OR (ct3.a IS NULL))
   ->  Seq Scan on ct1  (cost=0.00..145.00 rows=10100 width=16)
   ->  Materialize  (cost=0.00..2.65 rows=110 width=4)
         ->  Seq Scan on ct3  (cost=0.00..2.10 rows=110 width=4)
(5 rows)

但当设置costbased_rewrite_rule参数值为pullup_not_in_sublink时,则优化器会基于代价评估是否对子链接进行改写,因为此场景不进行SQL改写生成的计划更优,因此生成计划如下:

gaussdb=# SET rewrite_rule=none;
SET
gaussdb=# SET costbased_rewrite_rule=pullup_not_in_sublink;
SET
gaussdb=# EXPLAIN SELECT * FROM ct1 WHERE ct1.b NOT IN (SELECT a FROM ct3);
                         QUERY PLAN                          
-------------------------------------------------------------
 Seq Scan on ct1  (cost=2.38..172.62 rows=5050 width=16)
   Filter: (NOT (hashed SubPlan 1))
   SubPlan 1
     ->  Seq Scan on ct3  (cost=0.00..2.10 rows=110 width=4)
(4 rows)
注意:

costbased_rewrite_rule=pullup_not_in_sublink与rewrite_rule=disable_pullup_not_in_sublink互斥,且costbased_rewrite_rule的优先级高于rewrite_rule的优先级。

AND条件中表达式子链接提升场景

单个或AND条件里存在表达式类相关子链接时可以进行SQL等价改写。如果关闭基于代价的查询改写评估策略,子链接会基于规则进行改写,生成计划如下:

gaussdb=# SET rewrite_rule=none;
SET
gaussdb=# SET costbased_rewrite_rule=none;
SET
gaussdb=# EXPLAIN SELECT * FROM ct1 WHERE ct1.a = (SELECT a FROM ct2 WHERE ct2.b = ct1.b LIMIT 1) AND ct1.b > 500;
                                                 QUERY PLAN                                                  
-------------------------------------------------------------------------------------------------------------
 Nested Loop  (cost=1.03..9.35 rows=1 width=16)
   Join Filter: ((ct1.b = subquery."?column?") AND (ct1.a = subquery.a))
   ->  Index Scan using idx_ct1_b on ct1  (cost=0.00..8.27 rows=1 width=16)
         Index Cond: (b > 500)
   ->  Subquery Scan on subquery  (cost=1.03..1.07 rows=1 width=8)
         Filter: (subquery."?column?" OPERATOR(pg_catalog.=) 1::bigint)
         ->  WindowAgg  (cost=1.03..1.06 rows=1 width=8)
               row_number_filter: (row_number() OVER (PARTITION BY ct2.b) OPERATOR(pg_catalog.<=) 1::bigint)
               ->  Sort  (cost=1.03..1.04 rows=1 width=8)
                     Sort Key: ct2.b
                     ->  Seq Scan on ct2  (cost=1.02..1.02 rows=1 width=8)
                           Filter: (b > 500)
(12 rows)

但当设置costbased_rewrite_rule参数值为pullup_expr_sublink时,则优化器会基于代价评估是否对子链接进行改写,因为此场景不进行SQL改写生成的计划更优,因此生成计划如下:

gaussdb=# SET rewrite_rule=none;
SET
gaussdb=# SET costbased_rewrite_rule=pullup_expr_sublink;
SET
gaussdb=# EXPLAIN SELECT * FROM ct1 WHERE ct1.a = (SELECT a FROM ct2 WHERE ct2.b = ct1.b LIMIT 1) AND ct1.b > 500;
                              QUERY PLAN                              
----------------------------------------------------------------------
 Index Scan using idx_ct1_b on ct1  (cost=0.00..9.29 rows=1 width=16)
   Index Cond: (b > 500)
   Filter: (a = (SubPlan 1))
   SubPlan 1
     ->  Limit  (cost=0.00..1.02 rows=1 width=4)
           ->  Seq Scan on ct2  (cost=0.00..1.02 rows=1 width=4)
                 Filter: (b = ct1.b)
(7 rows)
注意:

costbased_rewrite_rule=pullup_expr_sublink与rewrite_rule=disable_pullup_expr_sublink、rewrite_rule=enable_sublink_pullup_enhanced、rewrite_rule=magicset互斥,且costbased_rewrite_rule的优先级高于rewrite_rule的优先级。

AND条件中表达式子链接满足MAGICSET下推改写场景

单个或AND条件里存在表达式类相关子链接,且满足MagicSet下推规则可以将部分过滤条件下推到子链接中时可以进行SQL等价改写。如果关闭基于代价的查询改写评估策略,子链接会基于规则进行改写,生成计划如下:

gaussdb=# SET rewrite_rule=magicset;
SET
gaussdb=# SET costbased_rewrite_rule=none;
SET
gaussdb=# EXPLAIN SELECT * FROM ct1 WHERE  ct1.a = (SELECT a FROM ct2 WHERE ct2.b = ct1.b LIMIT 1) AND ct1.c=10;
                                                 QUERY PLAN                                                  
-------------------------------------------------------------------------------------------------------------
 Nested Loop  (cost=101.70..147.50 rows=1 width=16)
   ->  Subquery Scan on subquery  (cost=96.70..96.74 rows=1 width=8)
         Filter: (subquery."?column?" OPERATOR(pg_catalog.=) 1::bigint)
         ->  WindowAgg  (cost=96.70..96.72 rows=1 width=8)
               row_number_filter: (row_number() OVER (PARTITION BY ct2.b) OPERATOR(pg_catalog.<=) 1::bigint)
               ->  Sort  (cost=96.70..96.71 rows=1 width=8)
                     Sort Key: ct2.b
                     ->  Nested Loop Semi Join  (cost=5.00..96.69 rows=1 width=8)
                           ->  Seq Scan on ct2  (cost=0.00..1.02 rows=2 width=8)
                           ->  Bitmap Heap Scan on ct1  (cost=5.00..47.83 rows=1 width=4)
                                 Recheck Cond: (b = ct2.b)
                                 Filter: (c = 10)
                                 ->  Bitmap Index Scan on idx_ct1_b  (cost=0.00..5.00 rows=100 width=0)
                                       Index Cond: (b = ct2.b)
   ->  Bitmap Heap Scan on ct1  (cost=5.00..50.75 rows=1 width=16)
         Recheck Cond: (b = subquery."?column?")
         Filter: ((c = 10) AND (subquery.a = a))
         ->  Bitmap Index Scan on idx_ct1_b  (cost=0.00..5.00 rows=100 width=0)
               Index Cond: (b = subquery."?column?")
(19 rows)

但当设置costbased_rewrite_rule参数值为pullup_expr_sublink时,则优化器会基于代价评估是否对子链接的MagicSet下推条件进行改写,因为此场景不进行MagicSet改写生成的计划更优,因此生成计划如下:

gaussdb=# SET rewrite_rule=magicset;
SET
gaussdb=# SET costbased_rewrite_rule=pullup_expr_sublink;
SET
gaussdb=# EXPLAIN SELECT * FROM ct1 WHERE  ct1.a = (SELECT a FROM ct2 WHERE ct2.b = ct1.b LIMIT 1)  AND ct1.c=10;
                                                 QUERY PLAN                                                  
-------------------------------------------------------------------------------------------------------------
 Nested Loop  (cost=6.03..51.82 rows=1 width=16)
   ->  Subquery Scan on subquery  (cost=1.03..1.06 rows=1 width=8)
         Filter: (subquery."?column?" OPERATOR(pg_catalog.=) 1::bigint)
         ->  WindowAgg  (cost=1.03..1.05 rows=1 width=8)
               row_number_filter: (row_number() OVER (PARTITION BY ct2.b) OPERATOR(pg_catalog.<=) 1::bigint)
               ->  Sort  (cost=1.03..1.03 rows=2 width=8)
                     Sort Key: ct2.b
                     ->  Seq Scan on ct2  (cost=0.00..1.02 rows=2 width=8)
   ->  Bitmap Heap Scan on ct1  (cost=5.00..50.75 rows=1 width=16)
         Recheck Cond: (b = subquery."?column?")
         Filter: ((c = 10) AND (subquery.a = a))
         ->  Bitmap Index Scan on idx_ct1_b  (cost=0.00..5.00 rows=100 width=0)
               Index Cond: (b = subquery."?column?")
(13 rows)
注意:

costbased_rewrite_rule=pullup_expr_sublink与rewrite_rule=disable_pullup_expr_sublink、rewrite_rule=enable_sublink_pullup_enhanced、rewrite_rule=magicset互斥,且costbased_rewrite_rule的优先级高于rewrite_rule的优先级。

AND条件中表达式子链接满足WINAGG改写场景

单个或AND条件里存在表达式类相关子链接,且满足WinAGG规则时可以进行SQL等价改写。如果关闭基于代价的查询改写评估策略,子链接会基于规则进行改写,生成计划如下:

gaussdb=# SET rewrite_rule=enable_sublink_pullup_enhanced;
SET
gaussdb=# SET costbased_rewrite_rule=none;
SET
gaussdb=# EXPLAIN SELECT * FROM ct1, ct2 WHERE ct1.b = ct2.c AND ct2.a = (SELECT min(b) FROM ct1 WHERE ct1.b = ct2.c);
                                            QUERY PLAN                                            
--------------------------------------------------------------------------------------------------
 Subquery Scan on inner_subquery  (cost=105.88..111.88 rows=1 width=36)
   Filter: (inner_subquery.a = inner_subquery.min)
   ->  WindowAgg  (cost=105.88..109.38 rows=200 width=32)
         ->  Sort  (cost=105.88..106.38 rows=200 width=32)
               Sort Key: ct2.c
               ->  Nested Loop  (cost=5.03..98.23 rows=200 width=32)
                     ->  Seq Scan on ct2  (cost=0.00..1.02 rows=2 width=16)
                     ->  Bitmap Heap Scan on ct1  (cost=5.03..47.61 rows=100 width=16)
                           Recheck Cond: (b = ct2.c)
                           ->  Bitmap Index Scan on idx_ct1_b  (cost=0.00..5.00 rows=100 width=0)
                                 Index Cond: (b = ct2.c)
(11 rows)

但当设置costbased_rewrite_rule参数值为pullup_expr_sublink,enable_sublink_pullup_enhanced时,则优化器会基于代价评估是否对子链接进行改写,因为此场景不进行改写生成的计划更优,因此生成计划如下:

gaussdb=# SET rewrite_rule=enable_sublink_pullup_enhanced;
SET
gaussdb=# SET costbased_rewrite_rule=pullup_expr_sublink,enable_sublink_pullup_enhanced;
SET
gaussdb=# EXPLAIN SELECT * FROM ct1, ct2 WHERE ct1.b = ct2.c AND ct2.a = (SELECT min(b) FROM ct1 WHERE ct1.b = ct2.c);
                                              QUERY PLAN                                              
------------------------------------------------------------------------------------------------------
 Nested Loop  (cost=5.03..52.45 rows=100 width=32)
   ->  Seq Scan on ct2  (cost=0.00..1.17 rows=1 width=16)
         Filter: (a = (SubPlan 2))
         SubPlan 2
           ->  Result  (cost=0.06..0.07 rows=1 width=0)
                 InitPlan 1 (returns $1)
                   ->  Limit  (cost=0.00..0.06 rows=1 width=4)
                         ->  Index Only Scan using idx_ct1_b on ct1  (cost=0.00..6.25 rows=1 width=4)
                               Index Cond: ((b IS NOT NULL) AND (b = ct2.c))
   ->  Bitmap Heap Scan on ct1  (cost=5.03..50.27 rows=100 width=16)
         Recheck Cond: (b = ct2.c)
         ->  Bitmap Index Scan on idx_ct1_b  (cost=0.00..5.00 rows=100 width=0)
               Index Cond: (b = ct2.c)
(13 rows)
注意:

costbased_rewrite_rule=pullup_expr_sublink,enable_sublink_pullup_enhanced与rewrite_rule=disable_pullup_expr_sublink、rewrite_rule=enable_sublink_pullup_enhanced、rewrite_rule=magicset互斥,且costbased_rewrite_rule的优先级高于rewrite_rule的优先级。

OR条件中表达式子连接提升场景

OR条件里存在表达式类相关子链接,可以进行SQL等价改写。如果关闭基于代价的查询改写评估策略,子链接会基于规则进行改写,生成计划如下:

gaussdb=# SET rewrite_rule=none;
SET
gaussdb=# SET costbased_rewrite_rule=none;
SET
gaussdb=# EXPLAIN SELECT * FROM ct2 WHERE ct2.a = (SELECT min(b) FROM ct1 WHERE ct1.b = ct2.c) OR ct2.b = (SELECT sum(a) FROM ct3 WHERE ct3.a = ct2.c);
                                 QUERY PLAN                                  
-----------------------------------------------------------------------------
 Nested Loop Left Join  (cost=199.20..202.11 rows=1 width=16)
   Join Filter: (subquery."?column?" = ct2.c)
   Filter: ((ct2.a = (min(ct1.b))) OR (ct2.b = subquery.sum))
   ->  Hash Right Join  (cost=196.55..198.84 rows=2 width=20)
         Hash Cond: (ct1.b = ct2.c)
         ->  HashAggregate  (cost=195.50..196.51 rows=101 width=4)
               Group By Key: ct1.b
               ->  Seq Scan on ct1  (cost=0.00..145.00 rows=10100 width=4)
         ->  Hash  (cost=1.02..1.02 rows=2 width=16)
               ->  Seq Scan on ct2  (cost=0.00..1.02 rows=2 width=16)
   ->  Materialize  (cost=2.65..2.90 rows=10 width=12)
         ->  Subquery Scan on subquery  (cost=2.65..2.85 rows=10 width=12)
               ->  HashAggregate  (cost=2.65..2.75 rows=10 width=4)
                     Group By Key: ct3.a
                     ->  Seq Scan on ct3  (cost=0.00..2.10 rows=110 width=4)
(15 rows)

但当设置costbased_rewrite_rule参数值为pullup_expr_sublink时,则优化器会基于代价评估是否对子链接进行改写,因为此场景不进行改写生成的计划更优,因此生成计划如下:

gaussdb=# SET rewrite_rule=none;
SET
gaussdb=# SET costbased_rewrite_rule=pullup_expr_sublink;
SET
gaussdb=# EXPLAIN SELECT * FROM ct2 WHERE ct2.a = (SELECT min(b) FROM ct1 WHERE ct1.b = ct2.c) OR ct2.b = (SELECT sum(a) FROM ct3 WHERE ct3.a = ct2.c);
                                           QUERY PLAN                                           
------------------------------------------------------------------------------------------------
 Hash Right Join  (cost=3.69..4.10 rows=1 width=16)
   Hash Cond: (ct3.a = ct2.c)
   Filter: ((ct2.a = (SubPlan 2)) OR (ct2.b = (sum(ct3.a))))
   ->  HashAggregate  (cost=2.65..2.75 rows=10 width=4)
         Group By Key: ct3.a
         ->  Seq Scan on ct3  (cost=0.00..2.10 rows=110 width=4)
   ->  Hash  (cost=1.02..1.02 rows=2 width=16)
         ->  Seq Scan on ct2  (cost=0.00..1.02 rows=2 width=16)
   SubPlan 2
     ->  Result  (cost=0.06..0.07 rows=1 width=0)
           InitPlan 1 (returns $1)
             ->  Limit  (cost=0.00..0.06 rows=1 width=4)
                   ->  Index Only Scan using idx_ct1_b on ct1  (cost=0.00..6.25 rows=1 width=4)
                         Index Cond: ((b IS NOT NULL) AND (b = ct2.c))
(14 rows)
注意:

costbased_rewrite_rule=pullup_expr_sublink与rewrite_rule=disable_pullup_expr_sublink、rewrite_rule=enable_sublink_pullup_enhanced、rewrite_rule=magicset互斥,且costbased_rewrite_rule的优先级高于rewrite_rule的优先级。

TargetList中相关表达式子连接提升场景

TargetList中存在表达式类相关子链接时可以进行SQL等价改写。如果关闭基于代价的查询改写评估策略,子链接会基于规则进行改写,生成计划如下:

gaussdb=# SET rewrite_rule=intargetlist;
SET
gaussdb=# SET costbased_rewrite_rule=none;
SET
gaussdb=# EXPLAIN SELECT *, ct1.a = (SELECT a FROM ct2 WHERE ct2.b = ct1.b LIMIT 1)  FROM ct1 WHERE ct1.b >500;
                                                 QUERY PLAN                                                  
-------------------------------------------------------------------------------------------------------------
 Nested Loop Left Join  (cost=1.03..9.34 rows=1 width=20)
   Join Filter: (subquery."?column?" = ct1.b)
   ->  Index Scan using idx_ct1_b on ct1  (cost=0.00..8.27 rows=1 width=16)
         Index Cond: (b > 500)
   ->  Subquery Scan on subquery  (cost=1.03..1.06 rows=1 width=8)
         Filter: (subquery."?column?" OPERATOR(pg_catalog.=) 1::bigint)
         ->  WindowAgg  (cost=1.03..1.05 rows=1 width=8)
               row_number_filter: (row_number() OVER (PARTITION BY ct2.b) OPERATOR(pg_catalog.<=) 1::bigint)
               ->  Sort  (cost=1.03..1.03 rows=2 width=8)
                     Sort Key: ct2.b
                     ->  Seq Scan on ct2  (cost=0.00..1.02 rows=2 width=8)
(11 rows)

但当设置costbased_rewrite_rule参数值为intargetlist时,则优化器会基于代价评估是否对子链接进行改写,因为此场景不进行改写生成的计划更优,因此生成计划如下:

gaussdb=# SET rewrite_rule=intargetlist;
SET
gaussdb=# SET costbased_rewrite_rule=intargetlist;
SET
gaussdb=# EXPLAIN SELECT *, ct1.a = (SELECT a FROM ct2 WHERE ct2.b = ct1.b LIMIT 1)  FROM ct1 WHERE ct1.b >500;
                              QUERY PLAN                              
----------------------------------------------------------------------
 Index Scan using idx_ct1_b on ct1  (cost=0.00..9.29 rows=1 width=16)
   Index Cond: (b > 500)
   SubPlan 1
     ->  Limit  (cost=0.00..1.02 rows=1 width=4)
           ->  Seq Scan on ct2  (cost=0.00..1.02 rows=1 width=4)
                 Filter: (b = ct1.b)
(6 rows)
注意:

costbased_rewrite_rule=intargetlist与rewrite_rule=intargetlist、rewrite_rule=magicset互斥,且costbased_rewrite_rule的优先级高于rewrite_rule的优先级。

TargetList中表达式子链接满足MAGICSET下推改写场景

TargetList中存在表达式类相关子链接,且满足MagicSet下推规则可以将部分过滤条件下推到子链接中时可以进行SQL等价改写。如果关闭基于代价的查询改写评估策略,子链接会基于规则进行改写,生成计划如下:

gaussdb=# SET rewrite_rule=intargetlist,magicset;
SET
gaussdb=# SET costbased_rewrite_rule=none;
SET
gaussdb=# EXPLAIN SELECT *,ct1.a = (SELECT a FROM ct2 WHERE ct2.c = ct1.c LIMIT 1) FROM ct1 WHERE ct1.b=10;
                                                     QUERY PLAN                                                   

------------------------------------------------------------------------------------------------------------------
--
 Nested Loop Left Join  (cost=55.97..103.00 rows=100 width=20)
   Join Filter: (subquery."?column?" = costbased_rule_test.ct1.c)
   ->  Bitmap Heap Scan on ct1  (cost=5.03..50.27 rows=100 width=16)
         Recheck Cond: (b = 10)
         ->  Bitmap Index Scan on idx_ct1_b  (cost=0.00..5.00 rows=100 width=0)
               Index Cond: (b = 10)
   ->  Materialize  (cost=50.94..50.98 rows=1 width=8)
         ->  Subquery Scan on subquery  (cost=50.94..50.98 rows=1 width=8)
               Filter: (subquery."?column?" OPERATOR(pg_catalog.=) 1::bigint)
               ->  WindowAgg  (cost=50.94..50.96 rows=1 width=8)
                     row_number_filter: (row_number() OVER (PARTITION BY ct2.c) OPERATOR(pg_catalog.<=) 1::bigint)
                     ->  Sort  (cost=50.94..50.95 rows=2 width=8)
                           Sort Key: ct2.c
                           ->  Nested Loop  (cost=50.52..50.93 rows=2 width=8)
                                 ->  HashAggregate  (cost=50.52..50.53 rows=1 width=4)
                                       Group By Key: costbased_rule_test.ct1.c
                                       ->  Bitmap Heap Scan on ct1  (cost=5.03..50.27 rows=100 width=4)
                                             Recheck Cond: (b = 10)
                                             ->  Bitmap Index Scan on idx_ct1_b  (cost=0.00..5.00 rows=100 width=0
)
                                                   Index Cond: (b = 10)
                                 ->  Index Scan using idx_ct2_c on ct2  (cost=0.00..0.39 rows=1 width=8)
                                       Index Cond: (c = costbased_rule_test.ct1.c)
(22 rows)

但当设置costbased_rewrite_rule参数值为intargetlist时,则优化器会基于代价评估是否对子链接的MagicSet下推条件进行改写,因为此场景不进行MagicSet改写生成的计划更优,因此生成计划如下:

gaussdb=# SET rewrite_rule=intargetlist,magicset;
SET
gaussdb=# SET costbased_rewrite_rule=intargetlist;
SET
gaussdb=# EXPLAIN SELECT *,ct1.a = (SELECT a FROM ct2 WHERE ct2.c = ct1.c LIMIT 1) FROM ct1 WHERE ct1.b=10;
                                                    QUERY PLAN                                                    

------------------------------------------------------------------------------------------------------------------
-
 Hash Left Join  (cost=6.10..52.35 rows=100 width=20)
   Hash Cond: (ct1.c = subquery."?column?")
   ->  Bitmap Heap Scan on ct1  (cost=5.03..50.27 rows=100 width=16)
         Recheck Cond: (b = 10)
         ->  Bitmap Index Scan on idx_ct1_b  (cost=0.00..5.00 rows=100 width=0)
               Index Cond: (b = 10)
   ->  Hash  (cost=1.06..1.06 rows=1 width=8)
         ->  Subquery Scan on subquery  (cost=1.03..1.06 rows=1 width=8)
               Filter: (subquery."?column?" OPERATOR(pg_catalog.=) 1::bigint)
               ->  WindowAgg  (cost=1.03..1.05 rows=1 width=8)
                     row_number_filter: (row_number() OVER (PARTITION BY ct2.c) OPERATOR(pg_catalog.<=) 1::bigint)
                     ->  Sort  (cost=1.03..1.03 rows=2 width=8)
                           Sort Key: ct2.c
                           ->  Seq Scan on ct2  (cost=0.00..1.02 rows=2 width=8)
(14 rows)
注意:

costbased_rewrite_rule=intargetlist与rewrite_rule=intargetlist、rewrite_rule=magicset互斥,且costbased_rewrite_rule的优先级高于rewrite_rule的优先级。

简单子查询展开改写场景

存在简单子查询时可以进行SQL等价改写。如果关闭基于代价的查询改写评估策略,子链接会基于规则进行改写,生成计划如下:

gaussdb=# SET rewrite_rule=none;
SET
gaussdb=# SET costbased_rewrite_rule=none;
SET
gaussdb=# EXPLAIN SELECT * FROM ct2,(SELECT ct1.* FROM ct1,ct2 WHERE ct1.c > 10 AND ct1.a = 10) ct WHERE ct.a = ct2.d;
                                      QUERY PLAN
--------------------------------------------------------------------------------------
 Nested Loop  (cost=20000000097.15..2000000019660.81 rows=2 width=32)
   ->  Nested Loop  (cost=20000000097.15..2000000019652.51 rows=1 width=32)
         ->  Seq Scan on ct2  (cost=10000000000.00..1000000000102.50 rows=1 width=16)
               Filter: (d = 10)
         ->  Seq Scan on ct1  (cost=10000000097.15..1000000019550.00 rows=1 width=16)
               Filter: ((c > 10) AND (a = 10))
   ->  Index Only Scan using idx_ct2_c on ct2  (cost=0.00..8.28 rows=2 width=0)
(7 rows)

但当设置costbased_rewrite_rule参数值为pullup_subquery时,则优化器会基于代价评估是否对简单子查询进行改写,因为此场景不进行简单子查询改写生成的计划更优,因此生成计划如下:

gaussdb=# SET rewrite_rule=none;
SET
gaussdb=# SET costbased_rewrite_rule=pullup_subquery;
SET
gaussdb=# EXPLAIN SELECT * FROM ct2,(SELECT ct1.* FROM ct1,ct2 WHERE ct1.c > 10 AND ct1.a = 10) ct WHERE ct.a = ct2.d;
                                         QUERY PLAN
--------------------------------------------------------------------------------------------
 Nested Loop  (cost=20000000097.15..2000000019660.39 rows=1 width=32)
   Join Filter: (costbased_rule_test.ct2.d = ct1.a)
   ->  Seq Scan on ct2  (cost=10000000000.00..1000000000102.00 rows=2 width=16)
   ->  Materialize  (cost=10000000097.15..1000000019558.33 rows=2 width=16)
         ->  Nested Loop  (cost=10000000097.15..1000000019558.30 rows=2 width=16)
               ->  Seq Scan on ct1  (cost=10000000097.15..1000000019550.00 rows=1 width=16)
                     Filter: ((c > 10) AND (a = 10))
               ->  Index Only Scan using idx_ct2_c on ct2  (cost=0.00..8.28 rows=2 width=0)
(8 rows)
说明:

该场景仅受GUC参数costbased_rewrite_rule=pullup_subquery控制,GUC参数rewrite_rule无相关控制参数。

提示

您即将访问非华为云网站,请注意账号财产安全

文档反馈

文档反馈

意见反馈

0/500

标记内容

同时提交标记内容