[20160125]闭包传递问题.txt

最新推荐文章于 2021-07-01 20:27:20 发布
最新推荐文章于 2021-07-01 20:27:20 发布
阅读量68 收藏
点赞数

[20160125]闭包传递问题.txt

--所谓闭包传递是指sql语句的谓词条件A=B and B=C 可以推出 A=C. oracle 的 优化器能够利用这个特性优化sql语句。
--但是这些依旧存在一些问题，在电子书<Apress.Expert.Oracle.SQL.Optimization.Deployment.and.Statistics.1430259779.pdf>
--提到一个例子，无法实现闭包传递。自己重复测试看看：


1.环境：
SCOTT@book> @ &r/ver1
PORT_STRING                    VERSION        BANNER
------------------------------ -------------- --------------------------------------------------------------------------------
x86_64/Linux 2.4.xx            11.2.0.4.0     Oracle Database 11g Enterprise Edition Release 11.2.0.4.0 - 64bit Production

CREATE TABLE t3 AS SELECT ROWNUM c1 FROM DUAL CONNECT BY LEVEL <= 10;
CREATE TABLE t4 AS SELECT MOD (ROWNUM, 10) + 100 c1 FROM DUAL CONNECT BY LEVEL <= 100;
CREATE TABLE t5 AS SELECT MOD (ROWNUM, 10) c1, RPAD ('X', 30) filler FROM DUAL CONNECT BY LEVEL <= 10000;

CREATE INDEX t5_i1 ON t5 (c1);

--分析表。

2.测试1：

SCOTT@book> alter session set statistics_level=all;
Session altered.

SCOTT@book> SELECT COUNT (*) FROM t3, t5 WHERE t3.c1 = t5.c1 AND t3.c1 = 1;
  COUNT(*)
----------
      1000

SCOTT@book> @&r/dpc '' ''
PLAN_TABLE_OUTPUT
-------------------------------------
SQL_ID  dk73qsratggkh, child number 0
-------------------------------------
SELECT COUNT (*) FROM t3, t5 WHERE t3.c1 = t5.c1 AND t3.c1 = 1
Plan hash value: 1275968336
----------------------------------------------------------------------------------------------------------------------------------------------------
| Id  | Operation             | Name  | Starts | E-Rows |E-Bytes| Cost (%CPU)| E-Time   | A-Rows |   A-Time   | Buffers |  OMem |  1Mem | Used-Mem |
----------------------------------------------------------------------------------------------------------------------------------------------------
|   0 | SELECT STATEMENT      |       |      1 |        |       |     5 (100)|          |      1 |00:00:00.01 |       6 |       |       |          |
|   1 |  SORT AGGREGATE       |       |      1 |      1 |     6 |            |          |      1 |00:00:00.01 |       6 |       |       |          |
|   2 |   MERGE JOIN CARTESIAN|       |      1 |   1000 |  6000 |     5   (0)| 00:00:01 |   1000 |00:00:00.01 |       6 |       |       |          |
|*  3 |    TABLE ACCESS FULL  | T3    |      1 |      1 |     3 |     3   (0)| 00:00:01 |      1 |00:00:00.01 |       2 |       |       |          |
|   4 |    BUFFER SORT        |       |      1 |   1000 |  3000 |     2   (0)| 00:00:01 |   1000 |00:00:00.01 |       4 | 73728 | 73728 |          |
|*  5 |     INDEX RANGE SCAN  | T5_I1 |      1 |   1000 |  3000 |     2   (0)| 00:00:01 |   1000 |00:00:00.01 |       4 |       |       |          |
----------------------------------------------------------------------------------------------------------------------------------------------------
Query Block Name / Object Alias (identified by operation id):
-------------------------------------------------------------
   1 - SEL$1
   3 - SEL$1 / T3@SEL$1
   5 - SEL$1 / T5@SEL$1
Predicate Information (identified by operation id):
---------------------------------------------------
   3 - filter("T3"."C1"=1)
   5 - access("T5"."C1"=1)

--可以发现ID=3,5的access或者filter是C1=1.而且取消了连接条件，变成了CARTESIAN集。

3.测试2：
SCOTT@book> SELECT * FROM t3, t4, t5 WHERE t3.c1 = t4.c1 AND t4.c1 = t5.c1;
no rows selected

SCOTT@book> @&r/dpc '' ''
PLAN_TABLE_OUTPUT
-------------------------------------
SQL_ID  bd3j0xbhyq4yx, child number 0
-------------------------------------
SELECT * FROM t3, t4, t5 WHERE t3.c1 = t4.c1 AND t4.c1 = t5.c1
Plan hash value: 3251999038
-----------------------------------------------------------------------------------------------------------------------------------------------------------
| Id  | Operation                    | Name  | Starts | E-Rows |E-Bytes| Cost (%CPU)| E-Time   | A-Rows |   A-Time   | Buffers |  OMem |  1Mem | Used-Mem |
-----------------------------------------------------------------------------------------------------------------------------------------------------------
|   0 | SELECT STATEMENT             |       |      1 |        |       |     7 (100)|          |      0 |00:00:00.01 |       4 |       |       |          |
|   1 |  NESTED LOOPS                |       |      1 |      1 |    41 |     7   (0)| 00:00:01 |      0 |00:00:00.01 |       4 |       |       |          |
|   2 |   NESTED LOOPS               |       |      1 |   1000 |    41 |     7   (0)| 00:00:01 |      0 |00:00:00.01 |       4 |       |       |          |
|*  3 |    HASH JOIN                 |       |      1 |      1 |     7 |     6   (0)| 00:00:01 |      0 |00:00:00.01 |       4 |  2440K|  2440K| 1313K (0)|
|   4 |     TABLE ACCESS FULL        | T3    |      1 |     10 |    30 |     3   (0)| 00:00:01 |     10 |00:00:00.01 |       2 |       |       |          |
|   5 |     TABLE ACCESS FULL        | T4    |      1 |    100 |   400 |     3   (0)| 00:00:01 |    100 |00:00:00.01 |       2 |       |       |          |
|*  6 |    INDEX RANGE SCAN          | T5_I1 |      0 |   1000 |       |     1   (0)| 00:00:01 |      0 |00:00:00.01 |       0 |       |       |          |
|   7 |   TABLE ACCESS BY INDEX ROWID| T5    |      0 |      1 |    34 |     1   (0)| 00:00:01 |      0 |00:00:00.01 |       0 |       |       |          |
-----------------------------------------------------------------------------------------------------------------------------------------------------------
Query Block Name / Object Alias (identified by operation id):
-------------------------------------------------------------
   1 - SEL$1
   4 - SEL$1 / T3@SEL$1
   5 - SEL$1 / T4@SEL$1
   6 - SEL$1 / T5@SEL$1
   7 - SEL$1 / T5@SEL$1
Predicate Information (identified by operation id):
---------------------------------------------------
   3 - access("T3"."C1"="T4"."C1")
   6 - access("T4"."C1"="T5"."C1")

--如果执行如下语句是等价的： SELECT * FROM t3, t4, t5 WHERE t3.c1 = t5.c1 AND t4.c1 = t5.c1;

SCOTT@book> SELECT * FROM t3, t4, t5 WHERE t3.c1 = t5.c1 AND t4.c1 = t5.c1;

no rows selected

SCOTT@book> @&r/dpc '' ''
PLAN_TABLE_OUTPUT
-------------------------------------
SQL_ID  g5007pk488f76, child number 0
-------------------------------------
SELECT * FROM t3, t4, t5 WHERE t3.c1 = t5.c1 AND t4.c1 = t5.c1
Plan hash value: 1630033643
-------------------------------------------------------------------------------------------------------------------------------------------------
| Id  | Operation           | Name | Starts | E-Rows |E-Bytes| Cost (%CPU)| E-Time   | A-Rows |   A-Time   | Buffers |  OMem |  1Mem | Used-Mem |
-------------------------------------------------------------------------------------------------------------------------------------------------
|   0 | SELECT STATEMENT    |      |      1 |        |       |    24 (100)|          |      0 |00:00:00.01 |      58 |       |       |          |
|*  1 |  HASH JOIN          |      |      1 |      1 |    41 |    24   (0)| 00:00:01 |      0 |00:00:00.01 |      58 |  1021K|  1021K|  159K (0)|
|*  2 |   HASH JOIN         |      |      1 |      1 |    38 |    21   (0)| 00:00:01 |      0 |00:00:00.01 |      58 |  2440K|  2440K| 1230K (0)|
|   3 |    TABLE ACCESS FULL| T4   |      1 |    100 |   400 |     3   (0)| 00:00:01 |    100 |00:00:00.01 |       2 |       |       |          |
|   4 |    TABLE ACCESS FULL| T5   |      1 |  10000 |   332K|    18   (0)| 00:00:01 |  10000 |00:00:00.01 |      56 |       |       |          |
|   5 |   TABLE ACCESS FULL | T3   |      0 |     10 |    30 |     3   (0)| 00:00:01 |      0 |00:00:00.01 |       0 |       |       |          |
-------------------------------------------------------------------------------------------------------------------------------------------------
Query Block Name / Object Alias (identified by operation id):
-------------------------------------------------------------
   1 - SEL$1
   3 - SEL$1 / T4@SEL$1
   4 - SEL$1 / T5@SEL$1
   5 - SEL$1 / T3@SEL$1
Predicate Information (identified by operation id):
---------------------------------------------------
   1 - access("T3"."C1"="T5"."C1")
   2 - access("T4"."C1"="T5"."C1")

--对比上下执行计划发生了很大变化，连接顺序发生了变化。


4.测试3：
--如果要达到测试1的效果，使用提示：
SELECT /*+ leading(t3 t4 t5)  use_hash(t4) use_nl(t5) */ * FROM t3, t4, t5 WHERE t3.c1 = t5.c1 AND t4.c1 = t5.c1;

SCOTT@book> SELECT /*+ leading(t3 t4 t5)  use_hash(t4) use_nl(t5) */ * FROM t3, t4, t5 WHERE t3.c1 = t5.c1 AND t4.c1 = t5.c1;
no rows selected

Plan hash value: 3284867853
-----------------------------------------------------------------------------------------------------------------------------------------------------------
| Id  | Operation                    | Name  | Starts | E-Rows |E-Bytes| Cost (%CPU)| E-Time   | A-Rows |   A-Time   | Buffers |  OMem |  1Mem | Used-Mem |
-----------------------------------------------------------------------------------------------------------------------------------------------------------
|   0 | SELECT STATEMENT             |       |      1 |        |       |  1015 (100)|          |      0 |00:00:00.01 |      12 |       |       |          |
|   1 |  NESTED LOOPS                |       |      1 |      1 |    41 |  1015   (0)| 00:00:13 |      0 |00:00:00.01 |      12 |       |       |          |
|   2 |   NESTED LOOPS               |       |      1 |    100K|    41 |  1015   (0)| 00:00:13 |      0 |00:00:00.01 |      12 |       |       |          |
|   3 |    MERGE JOIN CARTESIAN      |       |      1 |   1000 |  7000 |    15   (0)| 00:00:01 |   1000 |00:00:00.01 |       4 |       |       |          |
|   4 |     TABLE ACCESS FULL        | T3    |      1 |     10 |    30 |     3   (0)| 00:00:01 |     10 |00:00:00.01 |       2 |       |       |          |
|   5 |     BUFFER SORT              |       |     10 |    100 |   400 |    12   (0)| 00:00:01 |   1000 |00:00:00.01 |       2 |  4096 |  4096 | 4096  (0)|
|   6 |      TABLE ACCESS FULL       | T4    |      1 |    100 |   400 |     1   (0)| 00:00:01 |    100 |00:00:00.01 |       2 |       |       |          |
|*  7 |    INDEX RANGE SCAN          | T5_I1 |   1000 |    100 |       |     1   (0)| 00:00:01 |      0 |00:00:00.01 |       8 |       |       |          |
|   8 |   TABLE ACCESS BY INDEX ROWID| T5    |      0 |      1 |    34 |     1   (0)| 00:00:01 |      0 |00:00:00.01 |       0 |       |       |          |
-----------------------------------------------------------------------------------------------------------------------------------------------------------
Query Block Name / Object Alias (identified by operation id):
-------------------------------------------------------------
   1 - SEL$1
   4 - SEL$1 / T3@SEL$1
   6 - SEL$1 / T4@SEL$1
   7 - SEL$1 / T5@SEL$1
   8 - SEL$1 / T5@SEL$1
Predicate Information (identified by operation id):
---------------------------------------------------
   7 - access("T4"."C1"="T5"."C1")
       filter("T3"."C1"="T5"."C1")

--实际上并没有实现上面的执行计划，而是产生了CARTESIAN集合。必须要加入t3.c1=t4.c1条件。

SCOTT@book> SELECT /*+ leading(t3 t4 t5)  use_hash(t4) use_nl(t5) */ * FROM t3, t4, t5 WHERE t3.c1 = t5.c1 AND t4.c1 = t5.c1 and t3.c1=t4.c1;
no rows selected

SCOTT@book> @ &r/dpc '' ''
PLAN_TABLE_OUTPUT
-------------------------------------
SQL_ID  9nzh9uxm6b11z, child number 0
-------------------------------------
SELECT /*+ leading(t3 t4 t5)  use_hash(t4) use_nl(t5) */ * FROM t3, t4,
t5 WHERE t3.c1 = t5.c1 AND t4.c1 = t5.c1 and t3.c1=t4.c1
Plan hash value: 3251999038
-----------------------------------------------------------------------------------------------------------------------------------------------------------
| Id  | Operation                    | Name  | Starts | E-Rows |E-Bytes| Cost (%CPU)| E-Time   | A-Rows |   A-Time   | Buffers |  OMem |  1Mem | Used-Mem |
-----------------------------------------------------------------------------------------------------------------------------------------------------------
|   0 | SELECT STATEMENT             |       |      1 |        |       |     7 (100)|          |      0 |00:00:00.01 |       4 |       |       |          |
|   1 |  NESTED LOOPS                |       |      1 |      1 |    41 |     7   (0)| 00:00:01 |      0 |00:00:00.01 |       4 |       |       |          |
|   2 |   NESTED LOOPS               |       |      1 |    100 |    41 |     7   (0)| 00:00:01 |      0 |00:00:00.01 |       4 |       |       |          |
|*  3 |    HASH JOIN                 |       |      1 |      1 |     7 |     6   (0)| 00:00:01 |      0 |00:00:00.01 |       4 |  2440K|  2440K| 1333K (0)|
|   4 |     TABLE ACCESS FULL        | T3    |      1 |     10 |    30 |     3   (0)| 00:00:01 |     10 |00:00:00.01 |       2 |       |       |          |
|   5 |     TABLE ACCESS FULL        | T4    |      1 |    100 |   400 |     3   (0)| 00:00:01 |    100 |00:00:00.01 |       2 |       |       |          |
|*  6 |    INDEX RANGE SCAN          | T5_I1 |      0 |    100 |       |     1   (0)| 00:00:01 |      0 |00:00:00.01 |       0 |       |       |          |
|   7 |   TABLE ACCESS BY INDEX ROWID| T5    |      0 |      1 |    34 |     1   (0)| 00:00:01 |      0 |00:00:00.01 |       0 |       |       |          |
-----------------------------------------------------------------------------------------------------------------------------------------------------------
Query Block Name / Object Alias (identified by operation id):
-------------------------------------------------------------
   1 - SEL$1
   4 - SEL$1 / T3@SEL$1
   5 - SEL$1 / T4@SEL$1
   6 - SEL$1 / T5@SEL$1
   7 - SEL$1 / T5@SEL$1
Predicate Information (identified by operation id):
---------------------------------------------------
   3 - access("T3"."C1"="T4"."C1")
   6 - access("T4"."C1"="T5"."C1")
       filter("T3"."C1"="T5"."C1")


--看来以后在优化多表连接sql语句时适当加入多余的条件看看执行计划是否存在变化。也说明oracle的优化器还有许多需要改进的地方。

来自 “ ITPUB博客 ” ，链接：http://blog.itpub.net/267265/viewspace-1981803/，如需转载，请注明出处，否则将追究法律责任。

转载于:http://blog.itpub.net/267265/viewspace-1981803/

cuixun7780
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
【Oracle】Oracle谓词下推、谓词越界详解
tttzzzqqq2018的博客
09-30 868
Oracle数据库中的谓词下推和谓词越界是针对查询优化的概念。在Oracle数据库中，谓词下推是一种查询优化技术，旨在通过将过滤条件推送至数据存储层来提高查询性能。它的工作原理是在查询执行过程中，尽早地对数据进行过滤，减少不必要的数据读取和处理。
关于3种求传递闭包的方法
热门推荐
HITcoke的博客
04-08 1万+
代码如下，有空再具体写。 #include #include #include #include #define N 350 #define TRUE 0 int Arr[N][N] = {{0}}; int b[N][N] = {{0}}; int generate_random_matrix() { int i = 0; int j = 0;
这里的谓词为什么推入不了?
zhaosj1726的专栏
12-20 581
我们知道对于一个视图或者说子查询应用某些谓词的时候,优化器在进行查询重写的时候,有时候会应用谓词推入技术(push predicate),把这样的谓词应用推入到子查询内部,过滤出更少的行之后,再进行其它的操作,比如和其它表的连接操作等,这样有时候是效率极高的.数据库版本:10.2.0.4create table zsj_users as select user_id,username from dba_users;alter table zsj_users add constraint pk_zsj_use
Warshall算法求有向图的传递闭包
嘘...一只bug
11-09 916
1定义是这样给出的，传递闭包：对于任何关系 R，R 的传递闭包总是存在的。传递关系的任何家族的交集也是传递的。进一步的，至少存在一个包含 R 的传递关系，也就是平凡的: X × X。R 传递闭包给出自包含 R 的所有传递关系的交集……其实就是求点与点之间的可达关系，比如1–>4,4–>6,那么1–>6,用warshall算法可以求出有向图的传递闭包 #pragma GCC opt...
C++实现传递闭包（Warshall算法）
weixin_55037029的博客
07-01 1724
1.流程图 2.代码执行过程 未运行时的该程序的文件目录，只有一个文本文件（initialfile） 该程序文件目录下的写有初始矩阵的文本文件 程序运行后在该文件目录下生成了一个新的文本文件（resultfile） 新的文本文件（resultfile）写有Warshall算法处理后的传递闭包矩阵 3.程序源码 #include<iostream> using namespace std; #include<fstream> #define
传递闭包经典题
做一只熊猫不好吗？
03-16 1396
传递闭包：给了 a 与 b 的关系，又给了 b 与 c 的关系，我们可以推测出 a 与 c 的关系，这个过程就是传递闭包。 过程 for_(k, 1, n) for_(i, 1, n) for_(j, 1, n) { if(g[i][j] == 0) g[i][j] = (g[i][k] & g[k][j]); } 传递闭包经常与 T.
POJ - 3660 Cow Contest(最短路变形+闭包传递)
Falcon的博客
08-01 258
题目链接：点击查看 题目大意：给定n头牛和m个关系，每个关系表示为两个整数a与b，其意义为a牛能打败b牛，问可以确定排名的牛的数量。 题目分析： 在这里先说一下关系闭包： 关系闭包有三种： 自反闭包（r）， 对称闭包（s）， 传递闭包（t）。 先画出R的关系图，再画出r（R），s（R），t（R）的关系图。 这个题用到的是关系闭包。 复制一段别人的理解： 关系之间具有传...
求关系的传递闭包
zhj12399的博客
01-04 2299
求关系的传递闭包题目信息输入输出测试样例解答想法 题目信息 输入 一次输入一个关系矩阵，每一行两个相邻元素之间用一个空格隔开，输入元素的行与列分别对应关系矩阵的行与列。关系的基数小于12。 输出 输出该关系的传递闭包所对应的关系矩阵。 友情提示：可以使用while (scanf("%d",&a)!=EOF) 测试样例 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 解答 #include <stdio.h&gt
POJ3660传递闭包
陈颜的博客
05-06 5202
貌似以后数学里会学到，不过还是先水一篇博客吧 传递闭包 传递闭包一般用来解决一类具有传递性的问题。 定义：在交际网络中，给定若干个元素和若干对二元关系，且这些关系具有传递性，通过这些传递性推导出尽量多的元素之间的关系的问题叫做传递闭包。 也就是用已知条件来推出其他所有的可知条件。数独应该就是使用了传递闭包的一个例子。再比如，A>B，B>C，通过传递闭包，我们就可以得到A>C。 将...
Warshall传递闭包算法的学习与实现
DavidChen的博客
08-31 3216
1、问题引入 　　一个有n个顶点的有向图的传递闭包为：有向图中的初始路径可达情况可以参见其邻接矩阵A，邻接矩阵中A[i,j]表示i到j是否直接可达，若直接可达，则A[i,j]记为1，否则记为0；两个有向图中i到j有路径表示从i点开始经过其他点（或者不经过其他点）能够到达j点，如果i到j有路径，则将T[i,j]设置为1，否则设置为0；有向图的传递闭包表示从邻接矩阵A出发，求的所有节点间的路径可达情
对于三元闭包的验证.zip
06-01
首先，数据预处理会将"CollegeMsg.txt"文件中的信息转换为图数据结构，然后通过遍历边和节点来识别和计算三元闭包的数量。此外，可能还会涉及社区检测算法，如 Louvain 方法，来进一步分析网络中的群组结构和三元...
算法分类.txt
10-20
传递闭包(Transitive Closure) 关节点(Articulation Point - UndiGraph) 拓扑排序(Topological Sort - AOV-Network) 关键路径(Critical Path - AOE-Network) 回路问题: 欧拉路(Euler Path), 汉密尔顿回路(Hamilton ...
Swift的教程.txt
04-10
闭包是自包含的函数代码块，可以在代码中被传递和使用。Swift的闭包表达式简洁，支持捕获上下文中的变量和常量。闭包与函数一样，可以有参数和返回值。 五、错误处理与可选类型 Swift的错误处理是通过Result类型和...
javascript大纲资料.txt
04-15
它包括定义、调用、参数传递、返回值、作用域、闭包等概念。对象与原型是JavaScript面向对象编程的核心，涉及到对象字面量、构造函数、原型链以及继承的实现。数组在JavaScript中具有重要的地位，它提供了数组字面量...
Rust的教程.txt
04-10
与所有权紧密相关的是值的移动和复制规则，这些规则决定了数据在被传递给函数或赋值给变量时的行为。 Rust的借用与生命周期特性为内存安全提供了额外的保证。借用规则规定了你可以借用数据的方式，并且编译器会通过...
中国石油大学(北京)克拉玛依校区在广东2021-2024各专业最低录取分数及位次表.pdf
09-08
全国各大学在广东省2021~2024年各专业最低录取分数及位次
浙江越秀外国语学院在广东2021-2024各专业最低录取分数及位次表.pdf
09-08
全国各大学在广东省2021~2024年各专业最低录取分数及位次
网站模板源代码（组件划分规范，二改省力）
最新发布
09-08
组件划分规范，二改省力！！！
华中科技大学 Java课程设计实验.zip
09-08
华中科技大学 Java课程设计实验.zip
 输入：一个关系的关系矩阵（键盘输入或从文件读入）  输出：此关系的自反闭包、对称闭包和传递闭包所对应的关系矩阵。
05-29
下面是一个 Python 代码示例，用于计算一个关系的自反闭包、对称闭包和传递闭包所对应的关系矩阵： ```python import numpy as np # 读入关系矩阵 R = np.loadtxt('relation.txt', dtype=int) # 自反闭包 for i ...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值