天天看点

Oracle的直方图

1 直方图的含义

在Oracle数据库中,CBO会默认认为目标列的数据在其最小值LOW_VALUE和最大值HIGH_VALUE之间均匀分布的,并且会按照这个均匀分布原则来计算对目标列施加查询条件后的可选择率以及结果集的Cardinality,进而据此来计算成本值并选择执行计划。但目标列的数据是均匀分布这个原则并不总是正确的,在实际的系统中,我们很容易就能看到一些目标列的数据分布是不均匀的,甚至是极度倾斜、分布极度不均衡的。对这样的列如果还按照均匀分布的原则去计算可选择率与Cardinality,并据此来计算成本、选择执行计划,那么CBO所选择的执行计划就可能是不合理的,甚至是错误的。

看一个由于数据分布极不均衡而导致CBO选错执行计划的例子:

<code>zx@ORCL&gt;</code><code>create</code> <code>table</code> <code>t1 (a number(5),b varchar2(5));</code>

<code>Table</code> <code>created.</code>

<code>zx@ORCL&gt;</code><code>declare</code> <code>cnt number(5) := 1;</code>

<code>  </code><code>2  </code><code>begin</code>

<code>  </code><code>3  loop</code>

<code>  </code><code>4  </code><code>insert</code> <code>into</code> <code>t1 </code><code>values</code><code>(1,</code><code>'1'</code><code>);</code>

<code>  </code><code>5  if cnt=10000 </code><code>then</code> 

<code>  </code><code>6  exit;</code>

<code>  </code><code>7  </code><code>end</code> <code>if;</code>

<code>  </code><code>8  cnt:=cnt+1;</code>

<code>  </code><code>9  </code><code>end</code> <code>loop;</code>

<code> </code><code>10  </code><code>insert</code> <code>into</code> <code>t1 </code><code>values</code><code>(2,</code><code>'2'</code><code>);</code>

<code> </code><code>11  </code><code>commit</code><code>;</code>

<code> </code><code>12  </code><code>end</code><code>;</code>

<code> </code><code>13  /</code>

<code>PL/SQL </code><code>procedure</code> <code>successfully completed.</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>b,</code><code>count</code><code>(*) </code><code>from</code> <code>t1 </code><code>group</code> <code>by</code> <code>b;</code>

<code>B                 </code><code>COUNT</code><code>(*)</code>

<code>--------------- ----------</code>

<code>1                    10000</code>

<code>2                        1</code>

<code>zx@ORCL&gt;</code><code>create</code> <code>index</code> <code>t1_ix_b </code><code>on</code> <code>t1(b);</code>

<code>Index</code> <code>created.</code>

对表T1不收集直方图统计信息的方式收集一下统计信息:

<code>zx@ORCL&gt;</code><code>exec</code> <code>dbms_stats.gather_table_stats(</code><code>USER</code><code>,</code><code>'T1'</code><code>,estimate_percent=&gt;100,method_opt=&gt;</code><code>'for all columns size 1'</code><code>);</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>* </code><code>from</code> <code>t1 </code><code>where</code> <code>b=</code><code>'2'</code><code>;</code>

<code>         </code><code>A B</code>

<code>---------- ---------------</code>

<code>         </code><code>2 2</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>* </code><code>from</code> <code>table</code><code>(dbms_xplan.display_cursor(</code><code>null</code><code>,</code><code>null</code><code>,</code><code>'all'</code><code>));</code>

<code>PLAN_TABLE_OUTPUT</code>

<code>--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</code>

<code>SQL_ID  5p7b772tpcvm4, child number 0</code>

<code>-------------------------------------</code>

<code>select</code> <code>* </code><code>from</code> <code>t1 </code><code>where</code> <code>b=</code><code>'2'</code>

<code>Plan hash value: 3617692013</code>

<code>--------------------------------------------------------------------------</code>

<code>| Id  | Operation         | </code><code>Name</code> <code>| </code><code>Rows</code>  <code>| Bytes | Cost (%CPU)| </code><code>Time</code>     <code>|</code>

<code>|   0 | </code><code>SELECT</code> <code>STATEMENT  |      |       |       |     7 (100)|          |</code>

<code>|*  1 |  </code><code>TABLE</code> <code>ACCESS </code><code>FULL</code><code>| T1   |  5001 | 25005 |     7   (0)| 00:00:01 |</code>

<code>.....省略部分输出</code>

从执行计划可以看出执行计划走的是全表扫描,但是很显然应该走索引T1_IX_B。这是因为CBO默认认为列B的数据是均匀分布的,而列B上的distinct值只有1和2这两值,所以CBO评估出来的对列B施加等值查询条件的可选择率就是1/2,进而评估出来对列B施加等值查询条件的结果集的Cardinality就是5001:

<code>zx@ORCL&gt;</code><code>select</code> <code>round(10001*(1/2)) </code><code>from</code> <code>dual;</code>

<code>ROUND(10001*(1/2))</code>

<code>------------------</code>

<code>              </code><code>5001</code>

正因为CBO评估出上述等值查询要返回结果集的Cardinality是5001,已经占了表T1总记录数的一半,所以CBO认为此时再走列B上的索引T1_IX_B就已经不合适了,进而就选择了对列T1的全表扫描。但实际上,CBO对上述等值查询要返回结果集的Cardinality的评估已经与事实严重不符,评估出来的值是5001,其实却只有1,差了好几个数量级。

CBO这里选择了执行计划,正确的执行计划应该是走索引T1_IX_B。CBO选错执行计划的根本原因是表T1的列B的分布实际上是极度不均衡的(列B一共就两值,其中10000个1,只有1个2),CBO在评估的一开始所用的原则就错了,当然结果也就错了。

为了解决上述问题,Oracle引入了直方图(Histogram)。直方图是一种特殊的列统计信息,它详细描述了目标列的数据分布情况。直方图实际上存储在数据字典基表HISTGRM$中,可以通过数据字典DBA_TAB_HISTOGRAMS、DBA_PART_HISTOGRAMS和DBA_SUBPART_HISTOGRAMS来分别查看表、分区表的分区和分区表的子分区的直方图统计信息。

如果对目标列收集了直方图,则意味着CBO将不再认为该目标列上的数据是均匀分布的了,CBO就会用该目标列上的直方图统计信息来计算对该列施加查询条件后的可选择率和返回结果集的Cardinality,进而据此计算成本并选择相应的执行计划。

还用上面的例子,对表T1的列B收集了直方图统计信息后,CBO正确地评估出了返回结果集的Cardinality不是5001而是1,进而就正确地选择了走索引T1_IX_B的执行计划:

<code>zx@ORCL&gt;</code><code>exec</code> <code>dbms_stats.gather_table_stats(</code><code>USER</code><code>,</code><code>'T1'</code><code>,estimate_percent=&gt;100,method_opt=&gt;</code><code>'for all columns size auto'</code><code>,</code><code>cascade</code><code>=&gt;</code><code>true</code><code>);</code>

<code>#清空shared_pool,生产系统不要随便执行</code>

<code>zx@ORCL&gt;</code><code>alter</code> <code>system flush shared_pool;</code>

<code>System altered.</code>

<code>Plan hash value: 3579362925</code>

<code>---------------------------------------------------------------------------------------</code>

<code>| Id  | Operation                   | </code><code>Name</code>    <code>| </code><code>Rows</code>  <code>| Bytes | Cost (%CPU)| </code><code>Time</code>     <code>|</code>

<code>|   0 | </code><code>SELECT</code> <code>STATEMENT            |         |       |       |     2 (100)|          |</code>

<code>|   1 |  </code><code>TABLE</code> <code>ACCESS </code><code>BY</code> <code>INDEX</code> <code>ROWID| T1      |     1 |     5 |     2   (0)| 00:00:01 |</code>

<code>|*  2 |   </code><code>INDEX</code> <code>RANGE SCAN          | T1_IX_B |     1 |       |     1   (0)| 00:00:01 |</code>

所以,直方图就是专门为了准确评估这种分布不均匀的目标列的可选择率、结果集的Cardinality而被Oracle引入的,它详细描述了目标列的数据分布情况,并将这些分布情况记录在数据字典里,相当于直观地告诉了CBO这些列的数据分布情况,于是CBO就能据此来做出相对准确的判断。

2 直方图的类型

Oracle数据库里的直方图使用了一种称为Bucket(桶)的方式来描述目标列的数据分布。这有点类似哈希算法的Bucket,它实际上是一个逻辑上的概念,相当于分组,每个Bucket就是一组,每个Bucket里会存储一个或多个目标列上的数据。Oracle会用两个维度来描述一个Bucket,这两个维度分别是ENDPOINT NUMBER和ENDPOINT VALUE。Oracle会将每个Bucket的维度ENDPOIONTNUMBER和ENDPOINT VALUE记录在数据字典基表HISTGRM$中,这样就达到了目标列的直方图统计信息记录在数据字典中的目的。维度ENDPOINT NUMBER和ENDPOINT VALUE分别对应于数据字典DBA_TAB_HISTOGRAMS、DBA_PART_HISTOGRAMS及DBA_SUBPART_HISTOGRAMS中的字段ENDPOINT_NUMBER/BUCKET_NUMBER和ENDPOINT_VALUE。同时,Oracle还会记录目标列的直方图统计信息所占用的Bucket的总数,可以通过数据字典DBA_TAB_COL_STATISTICS、DBA_PART_COL_STATISTICS及DBA_SUBPART_COL_STATISTICS中字段NUM_BUCKETS来查看目标列对应直方图的Bucket的总数。

在Oracle 12c之前,Oracle数据库里的直方图分为两种类型,分别是Frequency和HeightBalanced(Oracle 12c中还存在名为Top-Frequency和Hybrid类型的直方图)。在Oracle 12以之前,如果存储在数据字典里描述目标列直方图的Buckt的数量等于目标列的distinct值的数量,则这种类型的直方图就是Frequency类型的直方图。如果存储在数据字典里描述目标列直方图的Bucket的数量小于目标列的distinct值的数量,则这种类型的直方图就是Height Balanced类型的直方图。

2.1 Frequency类型的直方图

对于Frequency类型的直方图而言,目标列直方图的Bucket的数量就等于目标列的distinct的数量,此时目标列有多个个distinct值,Oracle在数据字典DBA_TAB_HISTOGRAMS、DBA-PART_HISTOGRAMS、DBA_SUBPART_HISTOGRAMS中就会存储多少条记录,每一条记录不代表了对其中的一个Bucket的描述,上述数据字典中的字段ENDPOINT_VALUE记录了这些distinct值,而字段ENDPOINT_NUMBER是一个累加值,实际上,我们可以用一条记录的ENDPOINT_NUMBER值减去它的上一条记录的ENDPOINT_NUMBER值来得到这条记录本身所对应的ENDPOINT_VALUE值的记录数。

实际上,Frequency类型的直方图就是把目标列的每一个distinct值都记录在数据字典里,同时在数据字典里记录记录每个distinct值在目标表里一共有多少条记录,这样CBO就能非常清楚地知道目标列在目标表里的实际数据分布情况了。这种Frequency类型的直方图所对应的收集方法并不适用于目标列的distinct值非常多的情形,所以Oracle对Frequence类型的直方图有如下限制:Frequency类型的直方图所对应的Bucket的数量不能超过254(注意,Oracle 12c 中将不再有这一限制,在Oracle 12c中Frequency类型的直方图所对应的Bucket的数量可以超过254),即Frequency类型的直方图只适用于那些目标列的distinct值数量小于或等于254的情形。

<code>zx@ORCL&gt;</code><code>create</code> <code>table</code> <code>h (x number);</code>

<code>zx@ORCL&gt;</code><code>declare</code> 

<code>i number;</code>

<code>begin</code>

<code>for</code> <code>i </code><code>in</code> <code>1..3296 loop</code>

<code>insert</code> <code>into</code> <code>h </code><code>values</code><code>(1);</code>

<code>  </code><code>5    6  </code><code>end</code> <code>loop;</code>

<code>  </code><code>7  </code><code>for</code> <code>i </code><code>in</code> <code>1..100 loop</code>

<code>  </code><code>8  </code><code>insert</code> <code>into</code> <code>h </code><code>values</code><code>(3);</code>

<code> </code><code>10  </code><code>for</code> <code>i </code><code>in</code> <code>1..798 loop</code>

<code> </code><code>11  </code><code>insert</code> <code>into</code> <code>h </code><code>values</code><code>(5);</code>

<code> </code><code>12  </code><code>end</code> <code>loop;</code>

<code> </code><code>13  </code><code>for</code> <code>i </code><code>in</code> <code>1..3970 loop</code>

<code> </code><code>14  </code><code>insert</code> <code>into</code> <code>h </code><code>values</code><code>(7);</code>

<code> </code><code>15  </code><code>end</code> <code>loop;</code>

<code> </code><code>16  </code><code>for</code> <code>i </code><code>in</code> <code>1..16293 loop</code>

<code> </code><code>17  </code><code>insert</code> <code>into</code> <code>h </code><code>values</code><code>(10);</code>

<code> </code><code>18  </code><code>end</code> <code>loop;</code>

<code> </code><code>19  </code><code>for</code> <code>i </code><code>in</code> <code>1..3399 loop</code>

<code> </code><code>20  </code><code>insert</code> <code>into</code> <code>h </code><code>values</code><code>(16);</code>

<code> </code><code>21  </code><code>end</code> <code>loop;</code>

<code> </code><code>22  </code><code>for</code> <code>i </code><code>in</code> <code>1..3651 loop</code>

<code> </code><code>23  </code><code>insert</code> <code>into</code> <code>h </code><code>values</code><code>(27);</code>

<code> </code><code>24  </code><code>end</code> <code>loop;</code>

<code> </code><code>25  </code><code>for</code> <code>i </code><code>in</code> <code>1..3892 loop</code>

<code> </code><code>26  </code><code>insert</code> <code>into</code> <code>h </code><code>values</code><code>(32);</code>

<code> </code><code>27  </code><code>end</code> <code>loop;</code>

<code> </code><code>28  </code><code>for</code> <code>i </code><code>in</code> <code>1..3521 loop</code>

<code> </code><code>29  </code><code>insert</code> <code>into</code> <code>h </code><code>values</code><code>(39);</code>

<code> </code><code>30  </code><code>end</code> <code>loop;</code>

<code> </code><code>31  </code><code>for</code> <code>i </code><code>in</code> <code>1..1080 loop</code>

<code> </code><code>32  </code><code>insert</code> <code>into</code> <code>h </code><code>values</code><code>(49);</code>

<code> </code><code>33  </code><code>end</code> <code>loop;</code>

<code> </code><code>34  </code><code>commit</code><code>;</code>

<code> </code><code>35  </code><code>end</code><code>;</code>

<code> </code><code>36  /</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>count</code><code>(*) </code><code>from</code> <code>h;</code>

<code>  </code><code>COUNT</code><code>(*)</code>

<code>----------</code>

<code>     </code><code>40000</code>

按照Frequency类型直方图的定义,如果对列X收集Frequency类型的直方图,则DBA_TAB_HISTOGRAMS中应该有10条记录,而且这10条记录的ENDPOINT_VALUE记录的就是这10个distinct值,对应的ENDPOINT_NUMBER就是到此distinct值为止累加的行记录数。这10条记录的ENDPOINT_VALUE和ENDPOINT_NUMBER实际上可以用如下SQL的显示结果来模拟:

<code>zx@ORCL&gt;</code><code>select</code> <code>x </code><code>as</code> <code>x,</code><code>count</code><code>(*) </code><code>as</code> <code>cardinality,</code><code>sum</code><code>(</code><code>count</code><code>(*)) over(</code><code>order</code> <code>by</code> <code>x range unbounded preceding) </code><code>as</code> <code>cum_cardinality </code><code>from</code> <code>h </code><code>group</code> <code>by</code> <code>x;</code>

<code>         </code><code>X CARDINALITY CUM_CARDINALITY</code>

<code>---------- ----------- ---------------</code>

<code>         </code><code>1        3296            3296</code>

<code>         </code><code>3         100            3396</code>

<code>         </code><code>5         798            4194</code>

<code>         </code><code>7        3970            8164</code>

<code>        </code><code>10       16293           24457</code>

<code>        </code><code>16        3399           27856</code>

<code>        </code><code>27        3651           31507</code>

<code>        </code><code>32        3892           35399</code>

<code>        </code><code>39        3521           38920</code>

<code>        </code><code>49        1080           40000</code>

<code>10 </code><code>rows</code> <code>selected.</code>

上述查询结果中的列X就模拟了DBA_TAB_HISTOGRAMS中那10条记录的ENDPOINT_VALUE,列CUM_CARDINALITY就模拟了DBA_TAB_HISTOGRAMS中那10条记录的ENDPOINT_NUMBER。

对表h的列x来实际收集一下直方图统计信息

<code>zx@ORCL&gt;</code><code>exec</code> <code>dbms_stats.gather_table_stats(ownname=&gt;</code><code>USER</code><code>,tabname=&gt;</code><code>'H'</code><code>,method_opt=&gt;</code><code>'for columns size auto X'</code><code>,</code><code>cascade</code><code>=&gt;</code><code>true</code><code>,estimate_percent=&gt;100);</code>

收集完统计信息后发现DBA_TAB_COL_STATISTICS中列x所对应的字段HISTOGRAM的值为NONE,这表明现在列x上依然没有直方图统计信息:

<code>zx@ORCL&gt;</code><code>select</code> <code>table_name,column_name,num_distinct,density,num_buckets,histogram </code><code>from</code> <code>dba_tab_col_statistics </code><code>where</code> <code>table_name=</code><code>'H'</code><code>;</code>

<code>TABLE_NAME COLUMN_NAM NUM_DISTINCT    DENSITY NUM_BUCKETS HISTOGRAM</code>

<code>---------- ---------- ------------ ---------- ----------- ---------------------------------------------</code>

<code>H          X                    10         .1           1 NONE</code>

这种现象是正常的。因为Oracle在自动收集直方图统计信息时会秉承一个原则,那就是只对那些用过的列(即在SQL语句where条件中出现过的列)收集直方图统计信息。Oracle会在表SYS.COL_USAGE$中记录各表中各列的使用情况,在自动收集直方图统计信息时Oracle会查询SYS.COL_USAGE$,如果发现其中没有目标列的使用记录,那就不会对目标列收集直方图统计信息。表H刚刚建立,还没有在SQL语句的where条件中使用过列X,所以这里不会对列X收集直方图统计信息。

收集直方图的前提条件是:1.列上的数据分布不均匀,2.列在sql的where条件中被使用过

<code>zx@ORCL&gt;</code><code>select</code> <code>name</code><code>,intcol# </code><code>from</code> <code>sys.col$ </code><code>where</code> <code>obj# = (</code><code>select</code> <code>object_id </code><code>from</code> <code>dba_objects </code><code>where</code> <code>object_name=</code><code>'H'</code><code>);</code>

<code>NAME</code>                                                                                          <code>INTCOL#</code>

<code>------------------------------------------------------------------------------------------ ----------</code>

<code>X                                                                                                   1</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>obj#,intcol#,equality_preds </code><code>from</code> <code>sys.col_usage$ </code><code>where</code> <code>obj# = (</code><code>select</code> <code>object_id </code><code>from</code> <code>dba_objects </code><code>where</code> <code>object_name=</code><code>'H'</code><code>);</code>

<code>no</code> <code>rows</code> <code>selected</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>count</code><code>(*) </code><code>from</code> <code>h </code><code>where</code> <code>x=10;</code>

<code>     </code><code>16293</code>

<code>      </code><code>OBJ#    INTCOL# EQUALITY_PREDS</code>

<code>---------- ---------- --------------</code>

<code>     </code><code>88766          1              1</code>

再次对表H的列X自动收集直方图统计信息:

<code>H          X                    10   .0000125          10 FREQUENCY</code>

另外DBA_TAB_COL_STATISTICS中列x所对应的字段HISTORAM的值已经由NONE变成了RREQUENCY,这说明现在列X上已经有了Frequency类型的直方图

可以从DBA_TAB_HISTOGRAMS中看到列x的Frequence类型的直方图的具体信息:

<code>zx@ORCL&gt;</code><code>select</code> <code>table_name,column_name,endpoint_number,endpoint_value </code><code>from</code> <code>dba_tab_histograms </code><code>where</code> <code>table_name=</code><code>'H'</code><code>;</code>

<code>TABLE_NAME COLUMN_NAM ENDPOINT_NUMBER ENDPOINT_VALUE</code>

<code>---------- ---------- --------------- --------------</code>

<code>H          X                     3296              1</code>

<code>H          X                     3396              3</code>

<code>H          X                     4194              5</code>

<code>H          X                     8164              7</code>

<code>H          X                    24457             10</code>

<code>H          X                    27856             16</code>

<code>H          X                    31507             27</code>

<code>H          X                    35399             32</code>

<code>H          X                    38920             39</code>

<code>H          X                    40000             49</code>

从结果中可以看出,DBA_TAB_HISTOGRAMS中的10条记录与之前模拟出来的结果一模一样。

介绍完Frequency类型的直方图的含义,现在来讨论Oracle数据库里针对文本类型字段的直方图统计的先天缺陷了。

在Oracle数据库,如果针对文本开的字段收集直方图统计信息,则Oracle只会将该文本字段的文本值的头32个字节(Byte)给取出来(实际上只取头15个字节),并将其转换成一个浮点数,然后就将这个浮点数作为其直方图统计信息存储在上述数据字典里。这种处理机制的先天身陷就在于,对于那些超过32个字节的文本型字段,只要其对应记录的文本值的头32个字节相同,Oracle在收集直方图统计信息时就会认为这引起记录在该字段的文本值是相同的,即使实际上它们并不相同。这种先天性缺陷会直接影响CBO对相关文本类型字段的可选择率及返回结果集的Cardinality的评估。

使用之前的测试表T1,其中列B为文本型字段

<code>zx@ORCL&gt;</code><code>select</code> <code>count</code><code>(*) </code><code>from</code> <code>t1 </code><code>where</code> <code>b=</code><code>'1'</code><code>;</code>

<code>     </code><code>10000</code>

<code>zx@ORCL&gt;</code><code>exec</code> <code>dbms_stats.gather_table_stats(</code><code>USER</code><code>,</code><code>'T1'</code><code>,estimate_percent=&gt;100,method_opt=&gt;</code><code>'for columns size auto B'</code><code>);</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>table_name,column_name,num_distinct,density,num_buckets,histogram </code><code>from</code> <code>dba_tab_col_statistics </code><code>where</code> <code>table_name=</code><code>'T1'</code><code>;</code>

<code>T1         B                     2 .000049995           2 FREQUENCY</code>

<code>T1         A                     2         .5           1 NONE</code>

从DBA_TAB_HISTOGRAMS中查看列B的直方图具体信息

<code>zx@ORCL&gt;</code><code>select</code> <code>table_name,column_name,endpoint_number,endpoint_value </code><code>from</code> <code>dba_tab_histograms </code><code>where</code> <code>table_name=</code><code>'T1'</code><code>;</code>

<code>T1         B                    10000     2.5442E+35</code>

<code>T1         B                    10001     2.5961E+35</code>

<code>T1         A                        0              1</code>

<code>T1         A                        1              2</code>

从结果可以看到,由文本型的'1'和'2'转换而来的浮点数。

转换方法:

select dump('1',16)from dual;

将0x31右边补0一直补到15个字节的长度,再将其转换为十进制数:

<code>zx@ORCL&gt;</code><code>select</code> <code>dump(</code><code>'1'</code><code>,16)</code><code>from</code> <code>dual;</code>

<code>DUMP(</code><code>'1'</code><code>,16)</code>

<code>------------------------------------------------</code>

<code>Typ=96 Len=1: 31</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>to_number(</code><code>'310000000000000000000000000000'</code><code>,</code><code>'XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX'</code><code>)</code><code>from</code> <code>dual;</code>

<code>TO_NUMBER(</code><code>'310000000000000000000000000000'</code><code>,</code><code>'XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX'</code><code>)</code>

<code>----------------------------------------------------------------------------</code>

<code>                                                                  </code><code>2.5442E+35</code>

转换出的值与数据字典的数据一致。

再创建一个测试表T2,有一个长度为33字节的文本型字段B:

<code>zx@ORCL&gt;</code><code>create</code> <code>table</code> <code>t2(b varchar2(33));</code>

<code>zx@ORCL&gt;</code><code>insert</code> <code>into</code> <code>t2 </code><code>values</code><code>(</code><code>'aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa1'</code><code>);</code>

<code>1 row created.</code>

<code>zx@ORCL&gt;</code><code>insert</code> <code>into</code> <code>t2 </code><code>values</code><code>(</code><code>'aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa2'</code><code>);</code>

<code>zx@ORCL&gt;</code><code>commit</code><code>;</code>

<code>Commit</code> <code>complete.</code>

这三条记录的头32个字节均相同,均为32个a,但distinct值有两个

<code>zx@ORCL&gt;</code><code>select</code> <code>b,length(b)</code><code>from</code> <code>t2;</code>

<code>B                                                                                                    LENGTH(B)</code>

<code>--------------------------------------------------------------------------------------------------- ----------</code>

<code>aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa1                                                                           33</code>

<code>aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa2                                                                           33</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>count</code><code>(</code><code>distinct</code><code>(b)) </code><code>from</code> <code>t2;</code>

<code>COUNT</code><code>(</code><code>DISTINCT</code><code>(B))</code>

<code>                 </code><code>2</code>

使用一下列B,以让SYS.COL_USAGE$中有列B的使用记录:

select count(*) from t2 where b='aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa2';

对列B以自动方式收集直方图:

<code>zx@ORCL&gt;</code><code>exec</code> <code>dbms_stats.gather_table_stats(</code><code>USER</code><code>,</code><code>'T2'</code><code>,estimate_percent=&gt;100,method_opt=&gt;</code><code>'for columns size auto B'</code><code>);</code>

现在DBA_TAB_COL_STATISTICS中列B所对应的字段HISTOGRAM的值为FREQUENCY(注意:10.2.0.4和11.2.0.1为FREQUENCY,11.2.0.4为HEIGHT BALANCED),说明现在列B上已经有了Frequency类型的直方图统计信息:

<code>SQL&gt; </code><code>select</code> <code>table_name,column_name,num_distinct,density,num_buckets,histogram </code><code>from</code> <code>dba_tab_col_statistics </code><code>where</code> <code>table_name=</code><code>'T2'</code><code>;</code>

<code>T2     B          1 .166666667     1 FREQUENCY</code>

注意,上述查询结果中文本型字段B的不同distinct的值只有1个,Frequency类型的直方图所在的Bucket数量也只有1个,这明显和事实不符。其实这已经说明了对那些超过32字节的文本型字段而言,只要对应记录的文本值的头32个字节相同,Oracle在收集直方图统计信息时就会认为这些记录在该字段的文本值是相同的,即使实际上它们并不相同。

从DBA_TAB_HISTOGRAMS中看到列B的Frequency类型的直方图统计信息的具体内容,这进一步证实了上述结论:

<code>SQL&gt; </code><code>select</code> <code>table_name,column_name,endpoint_number,endpoint_value </code><code>from</code> <code>dba_tab_histograms </code><code>where</code> <code>table_name=</code><code>'T2'</code><code>;</code>

<code>T2     B             3     5.0563E+35</code>

<code>SQL&gt; </code><code>select</code> <code>dump(</code><code>'a'</code><code>,</code><code>'16'</code><code>) </code><code>from</code> <code>dual;</code>

<code>DUMP(</code><code>'A'</code><code>,</code><code>'16'</code><code>)</code>

<code>Typ=96 Len=1: 61</code>

<code>SQL&gt; </code><code>select</code> <code>to_number(</code><code>'616161616161616161616161616161'</code><code>,</code><code>'XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX'</code><code>) </code><code>from</code> <code>dual;</code>

<code>TO_NUMBER(</code><code>'616161616161616161616161616161'</code><code>,</code><code>'XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX'</code><code>)</code>

<code>                                  </code><code>5.0563E+35</code>

通过计算相互符合。

对表T2执行如下sql

select count(*) fromt2 where b='aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa1';

实际返回结果集的Cardinality为1

但从执行计划的结果可以看出CBO错误地评估出上述SQL返回结果集的Cardinality为3:

<code>SQL&gt; </code><code>select</code> <code>count</code><code>(*) </code><code>from</code> <code>t2 </code><code>where</code> <code>b=</code><code>'aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa1'</code><code>;</code>

<code>     </code><code>1</code>

<code>SQL&gt; </code><code>select</code> <code>* </code><code>from</code> <code>table</code><code>(dbms_xplan.display_cursor(</code><code>null</code><code>,</code><code>null</code><code>,</code><code>'all'</code><code>));</code>

<code>SQL_ID  3n69wfhjuj4sg, child number 0</code>

<code>select</code> <code>count</code><code>(*) </code><code>from</code> <code>t2 </code><code>where</code> <code>b=</code><code>'aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa1'</code>

<code>Plan hash value: 3321871023</code>

<code>---------------------------------------------------------------------------</code>

<code>| Id  | Operation      | </code><code>Name</code> <code>| </code><code>Rows</code>  <code>| Bytes | Cost (%CPU)| </code><code>Time</code>    <code>|</code>

<code>|   0 | </code><code>SELECT</code> <code>STATEMENT   |     |     |     |   3 (100)|     |</code>

<code>|   1 |  SORT AGGREGATE    |   |   1 |    34 |          |   |</code>

<code>|*  2 |   </code><code>TABLE</code> <code>ACCESS </code><code>FULL</code><code>| T2   | 3 |   102 |    3   (0)| 00:00:01 |</code>

这是因为DBA_TAB_HISTOGRAMS中列B的Frequency类型的直方图只有1个Bucket,这会使Oracle认为表T2中只有一个distinct文本值32个'a',所以对于上述SQL而言,Oracle会认为该SQL要访问的就是表T2的所有数据。

2.2 Height Balanced类型的直方图

前面介绍到Oracle 12c之前,Frequence类型的直方图对应的Bucket的数量不能超过254,那如果目标列的distinct值的数量大于254呢?此时Oracle会对目标列收集Height Balanced类型的直方图。

<code>zx@ORCL&gt;</code><code>create</code> <code>table</code> <code>t1(id number);</code>

<code>zx@ORCL&gt;</code><code>begin</code>

<code>  </code><code>2  </code><code>for</code> <code>i </code><code>in</code> <code>1..254 loop</code>

<code>  </code><code>3  </code><code>for</code> <code>j </code><code>in</code> <code>1..i loop</code>

<code>  </code><code>4  </code><code>insert</code> <code>into</code> <code>t1 </code><code>values</code><code>(i);</code>

<code>  </code><code>5  </code><code>end</code> <code>loop;</code>

<code>  </code><code>6  </code><code>end</code> <code>loop;</code>

<code>  </code><code>7  </code><code>commit</code><code>;</code>

<code>  </code><code>8  </code><code>end</code><code>;</code>

<code>  </code><code>9  /</code>

<code>#</code><code>distinct</code><code>值的数量为254</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>count</code><code>(</code><code>distinct</code><code>(id)) </code><code>from</code> <code>t1;</code>

<code>COUNT</code><code>(</code><code>DISTINCT</code><code>(ID))</code>

<code>-------------------</code>

<code>                </code><code>254</code>

<code>#执行一个查询使id列在</code><code>where</code><code>条件中</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>* </code><code>from</code> <code>t1 </code><code>where</code> <code>id=1;</code>

<code>        </code><code>ID</code>

<code>         </code><code>1</code>

<code>#收集直方图信息</code>

<code>zx@ORCL&gt;</code><code>exec</code> <code>dbms_stats.gather_table_stats(ownname=&gt;</code><code>USER</code><code>,tabname=&gt;</code><code>'T1'</code><code>,method_opt=&gt;</code><code>'for columns size auto id'</code><code>,</code><code>cascade</code><code>=&gt;</code><code>true</code><code>,estimate_percent=&gt;100);</code>

<code>zx@ORCL&gt;col table_name </code><code>for</code> <code>a10</code>

<code>zx@ORCL&gt;col column_name </code><code>for</code> <code>a10</code>

<code>zx@ORCL&gt;</code><code>set</code> <code>linesize 200</code>

<code>T1         ID                  254 .000015372         251 FREQUENCY</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>endpoint_value,endpoint_number </code><code>from</code> <code>dba_tab_histograms </code><code>where</code> <code>owner=</code><code>user</code> <code>and</code> <code>table_name=</code><code>'T1'</code><code>;</code>

<code>ENDPOINT_VALUE ENDPOINT_NUMBER</code>

<code>-------------- ---------------</code>

<code>             </code><code>1               1</code>

<code>             </code><code>2               3</code>

<code>             </code><code>3               6</code>

<code>             </code><code>4              10</code>

<code>             </code><code>5              15</code>

<code>....</code>

<code>           </code><code>252           31878</code>

<code>           </code><code>253           32131</code>

<code>           </code><code>254           32385</code>

<code>254 </code><code>rows</code> <code>selected.</code>

从输出的结果可以看出ID列上已经有了Frequency类型的直方图。

现在对表T1再插入一条包含不同ID值的记录,然后删除列ID上的直方图信息,再列ID列重新收集直方图信息,然后查询ID列直方图的类型。

<code>zx@ORCL&gt;</code><code>insert</code> <code>into</code> <code>t1 </code><code>values</code><code>(255);</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>count</code><code>(</code><code>distinct</code> <code>id) </code><code>from</code> <code>t1;</code>

<code>COUNT</code><code>(DISTINCTID)</code>

<code>-----------------</code>

<code>              </code><code>255</code>

<code>zx@ORCL&gt;</code><code>exec</code> <code>dbms_stats.gather_table_stats(ownname=&gt;</code><code>USER</code><code>,tabname=&gt;</code><code>'T1'</code><code>,method_opt=&gt;</code><code>'for columns size 1 id'</code><code>,</code><code>cascade</code><code>=&gt;</code><code>true</code><code>,estimate_percent=&gt;100);</code>

<code>T1         ID                  255 .004243247         254 HEIGHT BALANCED</code>

从输出的结果看现在ID列上的直方图类型已经从之前的Frequency变为了Height Balanced。

对于Height Balanced类型的直方图而言,即当目标列直方图的Bucket的数量小于目标列的distinct值的数量时,Oracle首先会根据目标列对目标表的所有记录按从小到大的顺序排序,然后用目标表总的记录数除以需要使用的Bucket的数量,来决定每个Bucket里需要描述的已经排好序的记录数。假设目标表的总记录数为M,需要使用的Bucket数量为N,每个Bucket里需要描述的已经排好序的记录数为O,则O=M/N;

然后Oracle会用DBA_TAB_HISTOGRAMS、DBA_PART_HISTOGRAMS、DBA_SUBPART_HISTOGRAMS中的每一条记录的ENDPOINT_NUMBER来记录Bucket号,Bucket号从0开始,一直到N。其中0号Bucket里存储的是目标列的最小值,所以0号Bucket所在记录的ENDPOINT_NUMBER值为0,其余Bucket所在记录的ENDPOINT_NUMBER从1一直递增到N,这些记录除了0号Bucket所在记录的ENDPOINT_VALUE值是目标列的最小值外,其他所有记录的ENDPOINT_VALUE值实际上存储的是到此记录所描述述Bucket为此之前所有Bucket描述的记录里目标列的最大值。即除了0号Bucket之外,其他所有记录的ENDPOINT_VALUE值都是用如下公式来计算的:

我们再来使用之前的H表来说明Height Balanced类型的直方图

先删除表H中已存在的Frequency类型的直方图

<code>zx@ORCL&gt;</code><code>exec</code> <code>dbms_stats.gather_table_stats(ownname=&gt;</code><code>USER</code><code>,tabname=&gt;</code><code>'H'</code><code>,method_opt=&gt;</code><code>'for columns size 1 X'</code><code>,</code><code>cascade</code><code>=&gt;</code><code>true</code><code>,estimate_percent=&gt;100);</code>

对于Height Balanced类型的直方图而言,目标列直方图的Bucket的数量会小于目标列的distinct值的数量。这里表H有10个distinct值,如果在收集直方图统计信息的时候指定Bucket数量为5,则Oracle就应该收集Height Balanced类型的直方图了。这里收集直方图统计信息时指定method_opt的值为'for columns size 5 X',这里表示在对列X收集直方图时已经指定所用Bucket的数量为5(注意,这里的Bucket数量不含0号Bucket):

<code>zx@ORCL&gt;</code><code>exec</code> <code>dbms_stats.gather_table_stats(ownname=&gt;</code><code>USER</code><code>,tabname=&gt;</code><code>'H'</code><code>,method_opt=&gt;</code><code>'for columns size 5 X'</code><code>,</code><code>cascade</code><code>=&gt;</code><code>true</code><code>,estimate_percent=&gt;100);</code>

<code>H          X                    10 .085276318           5 HEIGHT BALANCED</code>

从输出来看X列所对应的字段HISTOGRAM的值为HEIGHT BALANCED,这说明X列上已经有Height Balanced类型的直方图。

现在按照刚才介绍的算法算一下DBA_TAB_HISTOGRAM中存储的Height Balanced类型的直方图统计信息的详情。

现在需要使用的Bucket数量为5(不含0号Bucket)表H中总的记录数为40000,所以每个Bucket里所需要描述的记录数为40000/5=8000。

0号Bucket所在记录的ENDPOINT_NUMBER是0,ENDPOINT_VALUE是表H中10个distinct值中最小值1。

使用如下公式计算出每个Bucket所在记录的ENDPOINT_VALUE值:

<code>#Bucket1</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>max</code><code>(x) </code><code>from</code> <code>(</code><code>select</code> <code>x </code><code>from</code> <code>h </code><code>order</code> <code>by</code> <code>x) </code><code>where</code> <code>rownum&lt;8000;</code>

<code>    </code><code>MAX</code><code>(X)</code>

<code>         </code><code>7</code>

<code>#Bucket2</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>max</code><code>(x) </code><code>from</code> <code>(</code><code>select</code> <code>x </code><code>from</code> <code>h </code><code>order</code> <code>by</code> <code>x) </code><code>where</code> <code>rownum&lt;8000*2;</code>

<code>        </code><code>10</code>

<code>#Bucket3</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>max</code><code>(x) </code><code>from</code> <code>(</code><code>select</code> <code>x </code><code>from</code> <code>h </code><code>order</code> <code>by</code> <code>x) </code><code>where</code> <code>rownum&lt;8000*3;</code>

<code>#Bucket4</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>max</code><code>(x) </code><code>from</code> <code>(</code><code>select</code> <code>x </code><code>from</code> <code>h </code><code>order</code> <code>by</code> <code>x) </code><code>where</code> <code>rownum&lt;8000*4;</code>

<code>        </code><code>32</code>

<code>#Bucket5</code>

<code>zx@ORCL&gt;</code><code>select</code> <code>max</code><code>(x) </code><code>from</code> <code>(</code><code>select</code> <code>x </code><code>from</code> <code>h </code><code>order</code> <code>by</code> <code>x) </code><code>where</code> <code>rownum&lt;8000*5;</code>

<code>        </code><code>49</code>

从上述结果可以看到2号Bucket和3号Bucket所对应记录的ENDPOINT_VALUE值都是10,所以Oracle会将2号和3号Bucket合并存储,合并后的记录ENDPOINT_NUMBER值是3,ENDPOINT_VALUE值是10。这里10就是一个popular value。经过上述分析,我们可知DBA_TAB_HISTOGRAMS中的存储的Height Balanced类型的直方图统计信息的详细应为如下所示:

<code>ENDPOINT_NUMBER       ENDPOINT_VALUE</code>

<code>       </code><code>0              1</code>

<code>       </code><code>1              7</code>

<code>       </code><code>3              10</code>

<code>       </code><code>4              32</code>

<code>       </code><code>5              49</code>

我们查询DBA_TAB_HISTOGRAMS中列X的Height Balanced类型的直方图统计信息:

<code>H          X                        1              7</code>

<code>H          X                        3             10</code>

<code>H          X                        4             32</code>

<code>H          X                        5             49</code>

<code>H          X                        0              1</code>

可以看到实际查询结果与我们分析的一致。

3 直方图的收集方法

在Oracle数据库里收集直方图统计信息,通常是在调用DBMS_STATS包中的存储过程GATHER_DATABASE_STATS/GATHER_DICTIONARY_STATS/GATHER_SCHEMA_STAS/GATHER_TABLE_STATS收集统计信息时通过指定输入参数METHOD_OPT来实现。当然也可以使用ANALYZE命令来收集直方图统计信息,比如使用命令“analyze table h compute statistics forcolumns X”来收集表H的列X的直方图统计信息。因为ANALYZE命令在收集统计信息方面有先天的缺陷,所以这里只讨论用DBMS_STATS包来收集直方图统计信息。

DBMS_STATS包中上述存储过程的输入参数METHOD_OPT可以接受如下的输入值:

FOR ALL[INDEXES|HIDDEN] COLUMNS [size_clause]

FOR COLUMNS[size_clause] column|attribute [size_clause] [,column|attribute[size_clause]...]

其中的size_clause必须符合如下的格式:

SIZE {integer|REPEAT|AUTO|SKEWONLY}

size_clause子名中各选项的含义如下所述:

Integer:直方图的Bucket的数量,必须是在1~254的范围内,1表示删除该目标列上直方图统计信息。

REPEAT:只对已经有直方图统计信息的列收集直集直方图统计信息。

AUTO:让Oracle自行决定是否对目标列收集直方图统计信息,以及使用哪种类型的直方图。

SKEWONLY:只对数据分布不均衡的列收集直方图统计信息。

使用SCOTT用户下的表EMP为例来说明:

<code>scott@ORCL&gt; </code><code>desc</code> <code>emp</code>

<code> </code><code>Name</code>                                                         <code>Null</code><code>?    Type</code>

<code> </code><code>----------------------------------------------------------------------------------------------------------------- -------- ----------------------------------------------------------------------------</code>

<code> </code><code>EMPNO                                                        </code><code>NOT</code> <code>NULL</code> <code>NUMBER(4)</code>

<code> </code><code>ENAME                                                             VARCHAR2(10)</code>

<code> </code><code>JOB                                                               VARCHAR2(9)</code>

<code> </code><code>MGR                                                               NUMBER(4)</code>

<code> </code><code>HIREDATE                                                          </code><code>DATE</code>

<code> </code><code>SAL                                                               NUMBER(7,2)</code>

<code> </code><code>COMM                                                              NUMBER(7,2)</code>

<code> </code><code>DEPTNO                                                           NUMBER(2)</code>

1)对表EMP所有有索引的列以自动收集的方式收集直方图统计信息:

exec dbms_stats.gather_table_stats(ownname=&gt;'SCOTT',tabname=&gt;'EMP',method_opt=&gt;'for all indexed columns size auto');

2)对表EMP上的列EMPNO和DEPTNO以自动收集的方式收集直方图统计信息:

exec dbms_stats.gather_table_stats(ownname=&gt;'SCOTT',tabname=&gt;'EMP',method_opt=&gt;'for columns size auto EMPNO DEPTNO');

3)对表EMP上的列EMPNO和DEPTNO收集直方图统计信息,同时指定Bucket数量均为10:

exec dbms_stats.gather_table_stats(ownname=&gt;'SCOTT',tabname=&gt;'EMP',method_opt=&gt;'for columns size 10 EMPNO DEPTNO');

4)对表EMP上的列EMPNO和DEPTNO收集直方图统计信息,同时指定列EMPNO的Bucket数量为10,列DEPTNO的Bucket数量为5:

exec  dbms_stats.gather_table_stats(ownname=&gt;'SCOTT',tabname=&gt;'EMP',method_opt=&gt;'for columns EMPNO size 10 DEPTNO size 5');

5)只删除表EMP上列EMPNO的直方图统计信息:

execdbms_stats.gather_table_stats(ownname=&gt;'SCOTT',tabname=&gt;'EMP',method_opt=&gt;'for columns EMPNO size 1');

6)删除表EMP上所有列的直方图统计信息:

exec dbms_stats.gather_table_stats(ownname=&gt;'SCOTT',tabname=&gt;'EMP',method_opt=&gt;'for all columns size 1');

参考《基于Oracle的SQL优化》

<a href="http://docs.oracle.com/cd/E11882_01/server.112/e41573/stats.htm#PFGRF003" target="_blank">http://docs.oracle.com/cd/E11882_01/server.112/e41573/stats.htm#PFGRF003</a>

     本文转自hbxztc 51CTO博客,原文链接:http://blog.51cto.com/hbxztc/1900721,如需转载请自行联系原作者