cube.md 9.7 KB
Newer Older
李少辉-开发者's avatar
build  
李少辉-开发者 已提交
1
## F.9.立方体
李少辉-开发者's avatar
李少辉-开发者 已提交
2

李少辉-开发者's avatar
build  
李少辉-开发者 已提交
3
[F.9.1.语法](cube.html#id-1.11.7.18.5)[F.9.2.精确](cube.html#id-1.11.7.18.6)[F.9.3.用法](cube.html#id-1.11.7.18.7)[F.9.4.默认值](cube.html#id-1.11.7.18.8)[F.9.5.笔记](cube.html#id-1.11.7.18.9)[F.9.6.信用](cube.html#id-1.11.7.18.10)
李少辉-开发者's avatar
李少辉-开发者 已提交
4 5 6 7 8 9 10

[](<>)

该模块实现了一种数据类型`立方体`用于表示多维立方体。

该模块被认为是“受信任的”,也就是说,它可以由拥有`创造`当前数据库的权限。

李少辉-开发者's avatar
build  
李少辉-开发者 已提交
11
### F.9.1.语法
李少辉-开发者's avatar
李少辉-开发者 已提交
12 13 14

[表F.2](cube.html#CUBE-REPR-TABLE)显示了的有效外部表示形式`立方体`类型*`十、`*,*`y`*等表示浮点数。

李少辉-开发者's avatar
build  
李少辉-开发者 已提交
15
**表F.2.立方体外部表示**
李少辉-开发者's avatar
李少辉-开发者 已提交
16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

| 外部语法 | 意思 |
| ---- | --- |
| `*`十、`*` | 一维点(或零长度一维区间) |
| `(*`十、`*)` | 同上 |
| `*`x1`*,*`x2`*,...,*`xn`*` | n维空间中的一点,内部表示为零体积立方体 |
| `(*`x1`*,*`x2`*,...,*`xn`*)` | 同上 |
| `(*`十、`*),(*`y`*)` | 从…开始的一维间隔*`十、`*结束于*`y`*反之亦然;命令无关紧要 |
| `[(*`x`*),(*`y`*)]` | Same as above |
| `(*`x1`*,...,*`xn`*),(*`y1`*,...,*`yn`*)` | An n-dimensional cube represented by a pair of its diagonally opposite corners |
| `[(*`x1`*,...,*`xn`*),(*`y1`*,...,*`yn`*)]` | Same as above |

It does not matter which order the opposite corners of a cube are entered in. The`cube`functions automatically swap values if needed to create a uniform “lower left — upper right” internal representation. When the corners coincide,`cube`stores only one corner along with an “is point” flag to avoid wasting space.

输入时忽略空白,因此`[(*`十、`*),(*`y`*)]``[ ( *`十、`* ), ( *`y`* ) ]`.

李少辉-开发者's avatar
build  
李少辉-开发者 已提交
32
### F.9.2.精确性
李少辉-开发者's avatar
李少辉-开发者 已提交
33 34 35

值在内部存储为64位浮点数。这意味着超过16位有效数字的数字将被截断。

李少辉-开发者's avatar
build  
李少辉-开发者 已提交
36
### F.9.3.用法
李少辉-开发者's avatar
李少辉-开发者 已提交
37 38 39

[表F.3](cube.html#CUBE-OPERATORS-TABLE)显示为类型提供的专用运算符`立方体`.

李少辉-开发者's avatar
build  
李少辉-开发者 已提交
40
**表F.3.立方体运算符**
李少辉-开发者's avatar
李少辉-开发者 已提交
41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76

| 操作人员<br/><br/>描述 |
| ---------------- |
| `立方体` `&&` `立方体``布尔值`<br/><br/>立方体重叠吗? |
| `立方体` `@>` `立方体``布尔值`<br/><br/>第一个立方体包含第二个立方体吗? |
| `立方体` `<@` `立方体``布尔值`<br/><br/>第一个立方体包含在第二个立方体中吗? |
| `立方体` `->` `整数``浮动8`<br/><br/>提取*`n`*-立方体的第四个坐标(从1开始计数)。 |
| `立方体` `~>` `整数``浮动8`<br/><br/>提取*`n`*-立方体的第h坐标,按以下方式计数:*`n`* = 2 \* *`k`*-1表示函数的下界*`k`*-第四维度,*`n`* = 2 \* *`k`*表示的上限*`k`*-第四维度。消极的*`n`*表示对应正坐标的反数值。该操作员是为KNN GiST支持而设计的。 |
| `立方体` `<->` `立方体``浮动8`<br/><br/>计算两个立方体之间的欧几里德距离。 |
| `立方体` `<#>` `立方体``浮动8`<br/><br/>计算两个立方体之间的出租车(L-1公制)距离。 |
| `立方体` `<=>` `立方体``浮动8`<br/><br/>计算两个立方体之间的切比雪夫(L-inf度量)距离。 |

除上述运算符外,中还显示了常用的比较运算符[表9.1](functions-comparison.html#FUNCTIONS-COMPARISON-OP-TABLE)可用于打字`立方体`这些操作符首先比较第一个坐标,如果这些坐标相等,则比较第二个坐标,等等。它们的存在主要是为了支持`立方体`,例如,如果您希望在`立方体`柱否则,这种排序没有多大实际用途。

这个`立方体`模块还为`立方体`价值观A.`立方体`GiST索引可用于使用`=`, `&&`, `@>``<@`运营商`哪里`条款。

此外,一个`立方体`GiST索引可用于使用度量运算符查找最近邻`<->`, `<#>``<=>`在里面`订购人`条款。例如,可以通过以下方法有效地找到三维点(0.5,0.5,0.5)的最近邻:

```
SELECT c FROM test ORDER BY c <-> cube(array[0.5,0.5,0.5]) LIMIT 1;
```

这个`~>`运算符也可以以这种方式有效地检索按选定坐标排序的前几个值。例如,要获得按第一个坐标(左下角)升序排列的前几个立方体,可以使用以下查询:

```
SELECT c FROM test ORDER BY c ~> 1 LIMIT 5;
```

要获得按右上角第一个坐标降序排列的二维立方体:

```
SELECT c FROM test ORDER BY c ~> 3 DESC LIMIT 5;
```

[表F.4](cube.html#CUBE-FUNCTIONS-TABLE)显示可用的功能。

李少辉-开发者's avatar
build  
李少辉-开发者 已提交
77
**表F.4.立方体函数**
李少辉-开发者's avatar
李少辉-开发者 已提交
78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96

| 作用<br/><br/>描述<br/><br/>例子 |
| -------------------------- |
| `立方体` ( `浮动8` ) → `立方体`<br/><br/>使两个坐标相同的一维立方体。<br/><br/>`立方体(1)``(1)` |
| `立方体` ( `浮动8`, `浮动8` ) → `立方体`<br/><br/>形成一个一维立方体。<br/><br/>`立方体(1,2)``(1),(2)` |
| `立方体` ( `浮动8[]` ) → `立方体`<br/><br/>使用数组定义的坐标生成零体积立方体。<br/><br/>`立方体(数组[1,2,3])``(1, 2, 3)` |
| `立方体` ( `浮动8[]`, `浮动8[]` ) → `立方体`<br/><br/>使用两个数组定义的右上角和左下角坐标创建立方体,这两个数组的长度必须相同。<br/><br/>`立方体(数组[1,2],数组[3,4])``(1, 2),(3, 4)` |
| `立方体` ( `立方体`, `浮动8` ) → `立方体`<br/><br/>通过在现有多维数据集上添加维度来创建新多维数据集,新坐标的两个端点的值相同。这对于根据计算值逐块构建立方体非常有用。<br/><br/>`立方体('(1,2),(3,4)':立方体,5)``(1, 2, 5),(3, 4, 5)` |
| `立方体` ( `立方体`, `浮动8`, `浮动8` ) → `立方体`<br/><br/>通过向现有多维数据集添加维度来创建新多维数据集。这对于根据计算值逐块构建立方体非常有用。<br/><br/>`立方体(‘(1,2)、(3,4)’:立方体,5,6)``(1, 2, 5),(3, 4, 6)` |
| `立方体尺寸` ( `立方体` ) → `整数`<br/><br/>返回多维数据集的维数。<br/><br/>`立方体尺寸(‘(1,2)、(3,4)’)``2.` |
| `cube_ll_coord` ( `立方体`, `整数` ) → `浮动8`<br/><br/>返回*`n`*-立方体左下角的第个坐标值。<br/><br/>`立方体坐标('(1,2),(3,4)'2)``2.` |
| `cube_ur_coord` ( `立方体`, `整数` ) → `浮动8`<br/><br/>返回*`n`*-立方体右上角的第个坐标值。<br/><br/>`立方体(1,2,3,4,2)``4.` |
| `立方体是点` ( `立方体` ) → `布尔值`<br/><br/>如果立方体是一个点,即两个定义角点相同,则返回true。<br/><br/>`立方体是点(立方体(1,1))``t` |
| `立方距离` ( `立方体`, `立方体` ) → `浮动8`<br/><br/>返回两个立方体之间的距离。如果两个立方体都是点,这就是正常距离函数。<br/><br/>`立方体距离('(1,2',(3,4')``2.8284271247461903` |
| `立方_子集` ( `立方体`, `整数[]` ) → `立方体`<br/><br/>使用数组中的维度索引列表,从现有多维数据集生成新多维数据集。可用于提取单个标注的端点,或删除标注,或根据需要对其重新排序。<br/><br/>`cube_子集(cube('(1,3,5)、(6,7,8)),数组[2])``(3),(7)`<br/><br/>`cube_子集(cube('(1,3,5)、(6,7,8)),数组[3,2,1,1])``(5, 3, 1, 1),(8, 7, 6, 6)` |
| `多维联合` ( `立方体`, `立方体` ) → `立方体`<br/><br/>生成两个立方体的并集。<br/><br/>`立方_并集(‘(1,2)’,‘(3,4)’)``(1, 2),(3, 4)` |
| `cube_inter` ( `立方体`, `立方体` ) → `立方体`<br/><br/>生成两个立方体的交点。<br/><br/>`立方体(1,2),(3,4)``(3, 4),(1, 2)` |
| `立方体放大` ( *`c`* `立方体`, *`r`* `双重的`, *`n`* `整数` ) → `立方体`<br/><br/>将立方体的大小增加指定的半径*`r`*至少*`n`*尺寸。如果半径为负,立方体将缩小。所有定义的尺寸都会根据半径进行更改*`r`*.左下角坐标减少*`r`*右上角的坐标增加了*`r`*.如果左下坐标增加到大于相应的右上坐标(仅当*`r`*\\\<0)则两个坐标都设置为其平均值。如果*`n`*大于定义的维度数,并且立方体正在被放大(*`r`* >0),然后添加额外的尺寸以使*`n`*总共0用作额外坐标的初始值。此函数用于在点周围创建边界框以搜索附近的点。<br/><br/>`立方体(1,2,3,4,0.5,3)``(0.5, 1.5, -0.5),(3.5, 4.5, 0.5)` |

李少辉-开发者's avatar
build  
李少辉-开发者 已提交
97
### F.9.4.默认值
李少辉-开发者's avatar
李少辉-开发者 已提交
98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119

我相信这个联盟:

```
select cube_union('(0,5,2),(2,3,1)', '0');
cube_union
### F.9.5. Notes

 For examples of usage, see the regression test `sql/cube.sql`.

 To make it harder for people to break things, there is a limit of 100 on the number of dimensions of cubes. This is set in `cubedata.h` if you need something bigger.

### F.9.6. Credits

 Original author: Gene Selkov, Jr. `<[selkovjr@mcs.anl.gov](mailto:selkovjr@mcs.anl.gov)>`, Mathematics and Computer Science Division, Argonne National Laboratory.

 My thanks are primarily to Prof. Joe Hellerstein ([https://dsf.berkeley.edu/jmh/](https://dsf.berkeley.edu/jmh/)) for elucidating the gist of the GiST ([http://gist.cs.berkeley.edu/](http://gist.cs.berkeley.edu/)), and to his former student Andy Dong for his example written for Illustra. I am also grateful to all Postgres developers, present and past, for enabling myself to create my own world and live undisturbed in it. And I would like to acknowledge my gratitude to Argonne Lab and to the U.S. Department of Energy for the years of faithful support of my database research.

 Minor updates to this package were made by Bruno Wolff III `<[bruno@wolff.to](mailto:bruno@wolff.to)>` in August/September of 2002. These include changing the precision from single precision to double precision and adding some new functions.

 Additional updates were made by Joshua Reich `<[josh@root.net](mailto:josh@root.net)>` in July 2006. These include `cube(float8[], float8[])` and cleaning up the code to use the V1 call protocol instead of the deprecated V0 protocol.
```