云数据库 PostgreSQL 版
云数据库 PostgreSQL 版
文档指南
请输入
- 文档首页
云数据库 PostgreSQL 版用户指南插件位图计算（pg_roaringbitmap）
复制全文
下载 pdf位图计算（pg_roaringbitmap）
文档反馈
问问助手pg_roaringbitmap 插件是一款高效的位图存储和运算的插件。
实现原理
RoaringBitmap 算法主要解决传统 Bitmap 的空间占用固化的问题，其在降低 Bitmap 空间的同时，还提供高性能的 bitmap 运算。在最极端的场景下，传统的 bitmap 即使存储两个数字，也有可能占据大量的空间。例如，存储数字 0 和 数字 1000000，传统的 bitmap 需要提前申请 1000001 个 bit 位，大约 125 KB 的空间；而 Roaringbitmap 在此种场景下，仅仅只需 8 Byte 即可。
经典 RoaringBitmap 算法
最经典的 RoaringBitmap 算法，将 32 bit 的有符号 Integer 整数集 [-2147483648, 2147483647] 中的每个整数划分两部分：高 16 Bit + 低 16 Bit，高 16 Bit 作为 一级索引进行存储检索，低 16 Bit 作为二级数据存储于 Container 中，Container 有两种类型：Array Container 和 Bitmap Container，如下图所示：
上图 Roaring bitmap 中，存储高 16 Bit 分别为 0x0000、0x0001、0x0002 的部分 4 字节整数值：
- 高 16 Bit 为 0x0000：使用 Array Container 有序数组存储，存储前 1000 个 62 的整数倍对应的数字。
- 高 16 Bit 为 0x0001：使用 Array Container 有序数组存储，存储 [216, 216 + 100) 区间内的 100 个整数。
- 高 16 Bit 为 0x0002：使用 Bitmap Container 位图存储，存储 [216, 3 × 216) 区间内 215 个偶数。
Array Container 和 Bitmap Container 的选择，取决于对应 Container 中存储的 16 Bit 整数的个数，具体如下：
- 当 Container 中存储的 16 Bit 整数个数小于等于 4096 时，单个 Container 所占据的空间最大值为 4096 * 16 Bit = 8 KB，此时采用 array container 存储；
- 当 Container 中存储的 16 Bit 整数个数大于 4096 时，采用 Bitmap container 存储，单个 Bitmap container 所占据的空间固定为：216 Bit = 8 KB。
插件采用的 RoaringBitmap
相较于经典 RoaringBitmap 算法，pg_roaringbitmap 插件采用的算法增加了 run container，对某些具有步长属性的位图进行了适当的优化。如下图所示：
上图 Roaring bitmap 中，存储高 16 Bit 分别为 0x0000、0x0001、0x0002 的部分 4 字节整数值：
上图 Roaring bitmap 中，存储高 16 Bit 分别为 0x0000、0x0001、0x0002 的部分 4 字节整数值：- 高 16 Bit 为 0x0000：使用 Array Container 有序数组存储，存储前 1000 个 62 的整数倍对应的数字
- 高 16 Bit 为 0x0001：使用 Run Container 压缩存储，存储 [216, 216 + 100), [216 + 101, 216 + 201), [216 + 300, 216 + 400) 三个区间总计 300 个整数，Container 占用空间仅 6 Bit。
- 高 16 Bit 为 0x0002：使用 Bitmap Container 位图存储，存储 [2 × 216, 3 × 216) 区间内 215 个偶数。
安装插件
使用以下命令即可安装插件。
说明
需使用高权限账号创建插件。
数据类型
类型名称 | roaringbitmap |
使用案例 | |
GUC
参数名称 | roaringbitmap.output_format |
参数说明 | 字符类型，用于控制 roaringbitmap 类型的输出格式，取值如下：
|
用法 | |
函数和操作符
辅助函数
用于生成指定维度的整型数组。
函数及操作符
函数
函数名称 | 输入 | 输出 | 说明 | 示例 |
rb_build | integer[] | roaringbitmap | 通过整数数组创建位图 | |
rb_index | roaringbitmap, integer | bigint | 返回整数在位图中从 0 开始的下标，不存在返回 -1 | |
rb_cardinality | roaringbitmap | bigint | 返回基数 | |
rb_and_cardinality | roaringbitmap, roaringbitmap | bigint | 位图与后返回基数 | |
rb_or_cardinality | roaringbitmap, roaringbitmap | bigint | 位图或后返回基数 | |
rb_xor_cardinality | roaringbitmap, roaringbitmap | bigint | 位图异或后返回基数 | |
rb_andnot_cardinality | roaringbitmap, roaringbitmap | bigint | 位图与非后返回基数 | |
rb_is_empty | roaringbitmap | bool | 位图是否为空 | |
rb_fill | roaringbitmap, range_start bigint, range_end bigint | roaringbitmap | 填充位图指定范围，不包含 range_end | |
rb_clear | roaringbitmap, range_start bigint, range_end bigint | roaringbitmap | 清空位图指定范围整数，不包含 range_end | |
rb_flip | roaringbitmap, range_start bigint, range_end bigint | roaringbitmap | 将指定范围反正，存在置为不存，不存在置为存在，不包含 range_end | |
rb_range | roaringbitmap, range_start bigint, range_end bigint | roaringbitmap | 返回指定范围的子位图，不包含 range_end | |
rb_range_cardinality | roaringbitmap, range_start bigint, range_end bigint | bigint | 返回指定范围子位图的基数，不包含 range_end | |
rb_min | roaringbitmap | integer | 返回 Bitmap 中最小的 Offset，如果 Bitmap 为空则返回 NULL。 | |
rb_max | roaringbitmap | integer | 返回 Bitmap 中最大的 Offset，如果 Bitmap 为空则返回 NULL。 | |
rb_rank | roaringbitmap, integer | bigint | 返回位图中小于等于指定 Offset 的基数。 | |
rb_jaccard_dist | roaringbitmap, roaringbitmap | float8 | 返回两个位图的 Jaccar 系数，该数值越大，表示位图的相似度越高 | |
rb_select | roaringbitmap, bitset_limit bigint,bitset_offset bigint=0,reverse boolean=false,range_start bigint=0,range_end bigint=4294967296 | roaringbitmap | 返回区间 [range_start,range_end) 的子集 [bitset_offset,bitset_offset+bitset_limit) | |
rb_to_array | roaringbitmap | integer[] | 将整数数组转换成位图 | |
rb_iterate | roaringbitmap | SETOF integer | 将位图中的整数以记录的形式返回，和 rb_build_agg 效果相反 | |
聚合函数
最近更新时间：2026.07.28 14:41:45
这个页面对您有帮助吗？
有用
有用
无用
无用