精确与近似向量搜索
在给定多维(向量)空间中的一个点时,寻找与其距离最近的 N 个点的问题,被称为最近邻搜索,简称向量搜索。 解决向量搜索通常有两种通用方法:
- 精确向量搜索会计算查询点与向量空间中所有点之间的距离。这可以保证尽可能高的准确性,即返回的点一定是实际的最近邻。由于需要对整个向量空间进行穷举搜索,精确向量搜索在真实场景中往往会过于缓慢。
- 近似向量搜索指一类技术(例如使用图或随机森林等特殊数据结构),它们比精确向量搜索能更快地计算结果。结果的准确性通常对实际使用来说“足够好”。许多近似技术都提供参数,用于在结果准确性和搜索时间之间进行权衡调优。
一次向量搜索(无论精确还是近似)可以用 SQL 表达如下:
向量空间中的点存储在名为 vectors 的数组类型列中,例如 Array(Float64)、Array(Float32) 或 Array(BFloat16)。
参考向量是一个常量数组,并通过公用表表达式(CTE)提供。
<DistanceFunction> 计算参考点与所有已存储点之间的距离。
可以使用任意可用的距离函数来实现。
<N> 指定应返回多少个近邻。
精确向量搜索
可以直接使用上面的 SELECT 查询执行精确向量搜索。 此类查询的运行时间通常与已存储向量的数量及其维度成正比,即数组元素的数量。 此外,由于 ClickHouse 会对所有向量进行暴力扫描(brute-force scan),运行时间还取决于查询使用的线程数(参见设置 max_threads)。
示例
返回
近似向量搜索
向量相似度索引
ClickHouse 提供了一种专用的“向量相似度”索引,用于执行近似向量搜索。
向量相似度索引在 ClickHouse 25.8 及更高版本中可用。 如果遇到问题,请在 ClickHouse 仓库 中提交 issue。
创建向量相似度索引
可以在新表上按如下方式创建向量相似度索引:
或者,要在现有表上添加向量相似索引:
向量相似度索引是一种特殊的跳过索引(参见这里和这里)。
因此,上面的 ALTER TABLE 语句只会为之后插入到该表中的新数据构建索引。
要同时为已有数据构建索引,你需要对索引进行物化:
函数 <distance_function> 必须是
L2Distance,Euclidean distance(欧几里得距离),表示欧几里得空间中两点之间线段的长度,或cosineDistance,cosine distance(余弦距离),表示两个非零向量之间的夹角。
对于已归一化的数据,通常 L2Distance 是最佳选择;否则,推荐使用 cosineDistance 来补偿尺度差异。
<dimensions> 指定底层列中数组的基数(元素数量)。
如果 ClickHouse 在创建索引时发现数组的基数不一致,则会丢弃该索引并返回错误。
可选的 GRANULARITY 参数 <N> 指的是索引粒度的大小(参见此处)。
默认值 1 亿在大多数用例中应该都能有不错的表现,但也可以进行调优。
我们建议仅由了解其影响的高级用户进行调优(参见下文)。
向量相似性索引在通用意义上来说是通用的,即可以适配不同的近似搜索方法。
实际使用的方法由参数 <type> 指定。
当前唯一可用的近似搜索方法是 HNSW(academic paper),这是一种基于分层近邻图的流行且最先进的近似向量搜索技术。
如果将 HNSW 指定为 type,用户还可以选择性地指定更多 HNSW 专用参数:
以下是可用的 HNSW 专用参数:
<quantization>控制邻近图中向量的量化方式。可选值为f64、f32、f16、bf16、i8或b1。默认值为bf16。请注意,此参数不会影响底层列中向量的表示形式。<hnsw_max_connections_per_layer>控制每个图节点的邻居数量,也称为 HNSW 超参数M。默认值为32。值为0表示使用默认值。<hnsw_candidate_list_size_for_construction>控制构建 HNSW 图时动态候选列表的大小,也称为 HNSW 超参数ef_construction。默认值为128。值为0表示使用默认值。
所有 HNSW 专用参数的默认值在大多数用例中都有良好表现。 因此,我们不建议自定义这些 HNSW 专用参数。
适用以下进一步限制:
- 向量相似度索引只能建立在类型为 Array(Float32)、Array(Float64) 或 Array(BFloat16) 的列上。诸如
Array(Nullable(Float32))和Array(LowCardinality(Float32))这类可为空或低基数浮点数组不被允许。 - 向量相似度索引必须建立在单个列上。
- 向量相似度索引可以建立在计算表达式上(例如
INDEX index_name arraySort(vectors) TYPE vector_similarity([...])),但此类索引之后不能用于近似近邻搜索。 - 向量相似度索引要求底层列中的所有数组都具有
<dimension>个元素——这一点会在创建索引时进行检查。为了尽早发现对此要求的违规情况,用户可以为向量列添加一个约束,例如:CONSTRAINT same_length CHECK length(vectors) = 256。 - 同样,底层列中的数组值不能为空(
[]),也不能为默认值(同样是[])。
估算存储和内存占用
为典型 AI 模型(例如大语言模型,LLMs)生成的向量由数百或数千个浮点值组成。 因此,单个向量值就可能消耗数千字节的内存。 希望估算表中底层向量列所需存储空间,以及向量相似度索引所需内存的用户,可以使用下面两个公式:
表中向量列的存储占用(未压缩):
以 DBpedia 数据集 为例:
在执行搜索时,必须将向量相似度索引从磁盘完整加载到内存中。 同样,向量索引也是先在内存中完全构建,然后再保存到磁盘。
加载一个向量索引所需的内存占用:
dbpedia 数据集的示例:
上述公式未将向量相似度索引在分配运行时数据结构(例如预分配缓冲区和缓存)时所需的额外内存考虑在内。
使用向量相似度索引
要使用向量相似度索引,compatibility 设置必须为 ''(默认值)或不低于 '25.1' 的版本。
向量相似度索引支持如下形式的 SELECT 查询:
ClickHouse 的查询优化器会尝试匹配上述查询模板,并利用可用的向量相似索引。 只有当 SELECT 查询中的距离函数与索引定义中的距离函数相同时,查询才能使用向量相似索引。
高级用户可以为设置 hnsw_candidate_list_size_for_search 提供自定义值(也称为 HNSW 超参数 "ef_search"),以在搜索过程中调节候选列表的大小(例如 SELECT [...] SETTINGS hnsw_candidate_list_size_for_search = <value>)。
该设置的默认值为 256,在大多数用例中表现良好。
更高的取值意味着更高的准确性,但会以性能变慢为代价。
如果查询可以使用向量相似性索引,ClickHouse 会检查在 SELECT 查询中提供的 LIMIT <N> 是否处于合理范围内。
更具体地说,如果 <N> 大于设置项 max_limit_for_vector_search_queries 的值(默认值为 100),则会返回错误。
过大的 LIMIT 值会减慢搜索速度,并且通常表示用法错误。
要检查某个 SELECT 查询是否使用了向量相似性索引,可以在查询前加上前缀 EXPLAIN indexes = 1。
例如,查询
可能会返回
在这个示例中,dbpedia dataset 中的 100 万个向量(每个向量维度为 1536)被存储在 575 个 granule 中,即每个 granule 约 1.7k 行。 查询请求 10 个近邻,向量相似度索引在 10 个不同的 granule 中找到了这 10 个近邻。 在查询执行过程中会读取这 10 个 granule。
如果输出中包含 Skip 以及向量索引的名称和类型(在示例中为 idx 和 vector_similarity),则表示使用了向量相似度索引。
在这种情况下,向量相似度索引丢弃了 4 个 granule 中的 2 个,即丢弃了 50% 的数据。
能够丢弃的 granule 越多,索引的使用就越高效。
若要强制使用索引,可以在运行 SELECT 查询时设置 force_data_skipping_indexes(将索引名称作为该设置的值提供)。
后过滤与预过滤
用户可以选择在 SELECT 查询中通过 WHERE 子句指定额外的过滤条件。
ClickHouse 将使用后过滤或预过滤策略来评估这些过滤条件。
简而言之,这两种策略决定了过滤条件的执行顺序:
- 后过滤表示首先评估向量相似度索引,然后 ClickHouse 再评估
WHERE子句中指定的额外过滤条件。 - 预过滤表示过滤条件的评估顺序相反。
这两种策略有不同的权衡:
- 后过滤的一个普遍问题在于,它可能返回少于
LIMIT <N>子句所请求的行数。当由向量相似度索引返回的一个或多个结果行无法满足附加过滤条件时,就会出现这种情况。 - 预过滤在总体上仍是一个未解决的问题。某些专用向量数据库提供了预过滤算法,但大多数关系型数据库(包括 ClickHouse)会退回到精确近邻搜索,即不使用索引的暴力扫描。
采用何种策略取决于过滤条件。
附加过滤条件是分区键的一部分
如果附加过滤条件是分区键的一部分,那么 ClickHouse 将应用分区裁剪。
例如,某个表按列 year 进行范围分区,并运行如下查询:
ClickHouse 将裁剪除 2025 分区外的所有分区。
无法使用索引计算的额外过滤条件
如果额外过滤条件无法通过索引(主键索引、跳跃索引)进行计算,ClickHouse 将在扫描结果上执行后置过滤。
可以使用主键索引评估的附加过滤条件
如果附加过滤条件可以使用主键进行评估(即它们构成主键的前缀),并且
- 如果过滤条件在一个 part 内剔除了至少一行,则 ClickHouse 将改为对该 part 内“存活”的范围执行预过滤,
- 如果过滤条件在一个 part 内没有剔除任何行,则 ClickHouse 将对该 part 执行后过滤。
在实际使用场景中,后一种情况相对不太常见。
可以使用 skipping index 评估的附加过滤条件
如果附加过滤条件可以使用数据跳过索引(skipping indexes)(minmax 索引、set 索引等)进行评估,ClickHouse 会执行后过滤。 在这种情况下,会首先评估向量相似度索引,因为预期它相对于其他 skipping indexes 能剔除最多的行。
为了对后过滤与预过滤进行更精细的控制,可以使用两个设置项:
vector_search_filter_strategy 设置(默认值:auto,实现了上述启发式策略)可以设为 prefilter。
在附加过滤条件极具选择性时,这对于强制启用预过滤非常有用。
例如,下面的查询可能会从预过滤中获益:
假设只有极少数书籍的价格低于 2 美元,后过滤(post-filtering)可能会返回零行,因为向量索引返回的前 10 个匹配结果的价格可能全部高于 2 美元。
通过强制使用预过滤(在查询中添加 SETTINGS vector_search_filter_strategy = 'prefilter'),ClickHouse 会先找到所有价格低于 2 美元的书籍,然后对这些书籍执行穷举(brute-force)向量搜索。
作为解决上述问题的另一种方法,可以将 vector_search_index_fetch_multiplier(默认值:1.0,最大值:1000.0)配置为大于 1.0 的值(例如 2.0)。
从向量索引中获取的最近邻数量会乘以该设置的值,然后再对这些行应用额外过滤条件,以返回满足 LIMIT 的行数。
例如,我们可以再次进行查询,但将 multiplier 设置为 3.0:
ClickHouse 将在每个 part 中的向量索引中获取 3.0 x 10 = 30 个最近邻,然后再评估额外的过滤条件。
最终只会返回距离最近的 10 个邻居。
需要注意的是,通过设置 vector_search_index_fetch_multiplier 可以缓解这个问题,但在极端情况下(例如 WHERE 条件选择性很强时),仍然可能出现返回的行数少于请求的 N 行的情况。
重新打分(Rescoring)
ClickHouse 中的 skip index 通常在 granule 级别进行过滤,即对 skip index 的一次查找(在内部)会返回一个潜在匹配 granule 的列表,从而减少后续扫描中需要读取的数据量。 这对一般的 skip index 效果很好,但在向量相似度索引的场景中,会造成一个“粒度不匹配(granularity mismatch)”的问题。 更具体地说,向量相似度索引会为给定的参考向量确定 N 个最相似向量的行号,但接下来需要将这些行号外推为 granule 编号。 ClickHouse 随后会从磁盘加载这些 granule,并对这些 granule 中的所有向量重新计算距离。 这一步称为重新打分(rescoring),虽然从理论上讲它可以提升准确性——请记住,向量相似度索引只返回近似结果——但从性能角度看显然并不理想。
因此,ClickHouse 提供了一项优化:禁用重新打分,直接从索引中返回最相似的向量及其距离。
该优化默认启用,参见设置 vector_search_with_rescoring。
在高层级上的工作方式是:ClickHouse 将最相似的向量及其距离作为一个虚拟列 _distances 暴露出来。
要查看这一点,可运行带有 EXPLAIN header = 1 的向量搜索查询:
在未启用重打分(vector_search_with_rescoring = 0)且启用了并行副本的情况下运行的查询,可能会回退为执行重打分。
性能调优
压缩调优
在几乎所有使用场景中,底层列中的向量都是稠密的,且压缩效果不佳。
因此,压缩 会降低向量列的写入和读取性能。
因此我们建议禁用压缩。
为此,请像下面这样为向量列指定 CODEC(NONE):
调优索引创建
向量相似度索引的生命周期与数据分片(part)的生命周期绑定。 换句话说,每当创建一个定义了向量相似度索引的新分片时,索引也会随之创建。 这通常发生在数据被插入时或在合并过程中。 众所周知,HNSW 的索引创建耗时较长,会显著拖慢插入和合并操作。 向量相似度索引在理想情况下只应用于不可变或很少变更的数据。
为了加速索引创建,可以采用以下技术:
首先,可以并行化索引创建过程。 索引创建线程的最大数量可以通过服务器设置 max_build_vector_similarity_index_thread_pool_size 进行配置。 为获得最佳性能,该设置值应配置为 CPU 核心数。
其次,为了加速 INSERT 语句,用户可以通过会话设置 materialize_skip_indexes_on_insert 禁用在新插入分片上创建跳过索引(skipping index)。 对此类分片执行的 SELECT 查询将回退为精确搜索。 由于插入分片相对于整个表的大小通常较小,因此这种回退带来的性能影响预计可以忽略不计。
第三,为了加速合并,用户可以通过会话设置 materialize_skip_indexes_on_merge 禁用在合并后的分片上创建跳过索引。 这与语句 ALTER TABLE [...] MATERIALIZE INDEX [...] 结合使用,可以对向量相似度索引的生命周期进行显式控制。 例如,可以将索引创建延后到所有数据都已摄取完成之后,或延后到系统负载较低的时间段(例如周末)。
调优索引用法
为了执行 SELECT 查询并使用向量相似度索引,需要先将这些索引加载到主内存中。
为避免同一个向量相似度索引被反复加载到主内存,ClickHouse 提供了专用的内存缓存来存储此类索引。
该缓存越大,不必要的加载就越少。
最大缓存大小可以通过服务器设置 vector_similarity_index_cache_size 进行配置。
默认情况下,缓存最大可增长到 5 GB。
向量相似度索引缓存存储的是向量索引的 granule(粒度单元)。 如果单个向量索引 granule 的大小超过缓存大小,则不会被缓存。 因此,请务必根据 “Estimating storage and memory consumption” 中的公式或 system.data_skipping_indices 计算向量索引大小,并据此合理设置缓存大小。
当前向量相似度索引缓存的大小可以在 system.metrics 中查看:
可以从 system.query_log 中获取某个查询 ID 对应查询的缓存命中和未命中情况:
对于生产环境的使用场景,我们建议将缓存配置得足够大,使所有向量索引始终都能常驻内存。
量化调优
量化 是一种用于减少向量内存占用,以及降低构建和遍历向量索引计算成本的技术。 ClickHouse 向量索引支持以下量化选项:
| Quantization | Name | Storage per dimension |
|---|---|---|
| f32 | Single precision | 4 bytes |
| f16 | Half precision | 2 bytes |
| bf16 (default) | Half precision (brain float) | 2 bytes |
| i8 | Quarter precision | 1 byte |
| b1 | Binary | 1 bit |
与直接搜索原始全精度浮点值(f32)相比,引入量化会降低向量搜索的精度。
不过,在大多数数据集上,半精度 brain float 量化(bf16)带来的精度损失可以忽略不计,因此向量相似度索引默认采用这种量化技术。
四分之一精度(i8)和二进制(b1)量化会在向量搜索中引入较为明显的精度损失。
我们仅在向量相似度索引的大小显著大于可用 DRAM 容量时,才推荐使用这两种量化方式。
在这种情况下,我们也建议启用重评分(vector_search_index_fetch_multiplier、vector_search_with_rescoring)以提升准确性。
二进制量化仅在以下两种情况下推荐使用:1)对归一化后的嵌入向量(即向量长度 = 1,OpenAI 模型通常是归一化的),以及 2)使用余弦距离作为距离函数时。
二进制量化在内部使用 Hamming 距离来构建和搜索近邻图。
重评分步骤会使用表中存储的原始全精度向量,通过余弦距离来识别最近邻。
数据传输调优
向量搜索查询中的参考向量由用户提供,通常是通过调用大型语言模型(LLM)获取。 在 ClickHouse 中运行向量搜索的典型 Python 代码如下所示:
嵌入向量(上面代码片段中的 search_v)的维度可能非常大。
例如,OpenAI 提供的模型会生成维度为 1536 甚至 3072 的嵌入向量。
在上面的代码中,ClickHouse Python 驱动会将嵌入向量替换为一个可读的字符串,然后将整个 SELECT 查询作为字符串发送。
假设嵌入向量由 1536 个单精度浮点值组成,发送的字符串长度将达到 20 kB。
这会在分词、解析以及执行数千次字符串到浮点数转换时造成较高的 CPU 使用率。
此外,ClickHouse 服务器日志文件也需要大量空间,进而导致 system.query_log 膨胀。
请注意,大多数 LLM 模型返回的嵌入向量是由原生浮点数组成的列表或 NumPy 数组。 因此,我们建议 Python 应用以二进制形式绑定参考向量参数,使用如下方式:
在本示例中,参考向量以原始二进制形式发送到服务器,并在服务器端被重新解释为浮点数数组。
这可以节省服务器端的 CPU 时间,并避免服务器日志和 system.query_log 的膨胀。
管理和监控
向量相似性索引在磁盘上的大小可以通过 system.data_skipping_indices 获取:
示例输出:
与常规跳过索引的区别
与所有常规跳过索引类似,向量相似度索引也是在 granule 之上构建的,每个已建立索引的块由 GRANULARITY = [N] 个 granule 组成(对普通跳过索引而言,[N] 默认为 1)。
例如,如果表的主索引粒度为 8192(设置 index_granularity = 8192)且 GRANULARITY = 2,则每个已建立索引的块将包含 16384 行。
然而,用于近似最近邻搜索的数据结构和算法在本质上是面向行的。
它们存储一组行的紧凑表示,并且在向量搜索查询中也会返回行。
这导致向量相似度索引在行为方式上与普通跳过索引相比存在一些相当不直观的差异。
当用户在某列上定义向量相似度索引时,ClickHouse 会在内部为每个索引块创建一个向量相似度“子索引”。 子索引是“本地”的,这意味着它只涉及其所属索引块中的行。 延续前面的例子,并假设某列有 65536 行,我们会得到四个索引块(跨越八个 granule),以及每个索引块对应的一个向量相似度子索引。 理论上,子索引能够直接返回其索引块内距离给定点最近的 N 个点所对应的行。 然而,由于 ClickHouse 从磁盘加载数据到内存时的粒度是 granule,子索引会将匹配行扩展到 granule 粒度。 这与常规跳过索引不同,后者是以索引块粒度来跳过数据的。
GRANULARITY 参数决定会创建多少个向量相似度子索引。
更大的 GRANULARITY 值意味着子索引更少但更大,极端情况下,一个列(或列的数据分片)只会有单个子索引。
在这种情况下,该子索引对该列的所有行具有“全局”视图,并且可以直接返回该列(分片)中所有包含相关行的 granule(最多只有 LIMIT [N] 个这样的 granule)。
在第二步中,ClickHouse 会加载这些 granule,并通过对这些 granule 中的所有行执行穷举式距离计算来识别真正最优的行。
当 GRANULARITY 值较小时,每个子索引会返回最多 LIMIT N 个 granule。
结果是需要加载更多 granule 并进行后置过滤。
请注意,两种情况下的搜索精度同样高,只是处理性能不同。
通常建议为向量相似度索引使用较大的 GRANULARITY,只有在出现例如向量相似度结构内存占用过高等问题时,才改用较小的 GRANULARITY 值。
如果没有为向量相似度索引指定 GRANULARITY,则默认值为 1 亿。
示例
返回值
使用近似向量搜索的更多示例数据集:
量化比特(QBit)
加速精确向量搜索的一种常见方法是使用更低精度的 浮点数数据类型。
例如,如果向量存储为 Array(BFloat16) 而不是 Array(Float32),数据大小会减半,并且查询运行时间预计会按比例缩短。
这种方法称为量化。尽管它加快了计算速度,但即便对所有向量进行穷举扫描,结果的准确性也可能会降低。
在传统量化中,我们在搜索和存储数据时都会丢失精度。在上述示例中,我们会存储 BFloat16 而不是 Float32,这意味着即使之后有需求,我们也永远无法执行更高精度的搜索。另一种方法是存储两份数据:量化版本和全精度版本。尽管这种方式可行,但需要冗余存储。设想一种场景,我们的原始数据是 Float64,并希望以不同精度(16 位、32 位或完整的 64 位)运行搜索,那么就需要存储三份独立的数据副本。
ClickHouse 提供了 Quantized Bit(QBit)数据类型,通过以下方式克服这些限制:
- 存储原始的全精度数据。
- 允许在查询时指定量化精度。
这是通过以按位分组(bit-grouped)格式存储数据实现的(即将所有向量的第 i 位比特存放在一起),从而只在请求的精度级别进行读取。这样,你可以在保留全部原始数据、按需访问的前提下,从量化带来的 I/O 和计算量减少中获得速度优势。当选择最大精度时,搜索结果即为精确匹配。
QBit 数据类型及其相关距离函数目前是实验特性。要启用它们,请运行 SET allow_experimental_qbit_type = 1。
如果遇到问题,请在 ClickHouse 代码仓库 中提交 issue。
要声明一个 QBit 类型的列,请使用以下语法:
其中:
element_type– 每个向量元素的类型。支持的类型包括BFloat16、Float32和Float64dimension– 每个向量中的元素个数
创建 QBit 表并添加数据
使用 QBit 进行向量搜索
我们使用 L2 距离查找与表示单词 “lemon” 的向量最接近的邻居向量。距离函数的第三个参数指定精度的位数——值越高,精度越高,但计算量也越大。
你可以在这里找到 QBit 支持的所有距离函数。
全精度搜索(64 位):
低精度搜索:
请注意,使用 12 位量化时,我们在加快查询执行的同时,依然能够很好地逼近实际距离。相对排序基本保持一致,apple 仍然是距离最近的匹配项。
在目前的状态下,加速主要来自减少 I/O,因为我们读取的数据更少。如果原始数据比较“宽”,例如 Float64,选择更低的精度时,距离计算依然会在相同宽度的数据上进行——只是精度更低。
性能考量
QBit 的性能收益主要来源于 I/O 操作的减少:在使用较低精度时,需要从存储中读取的数据量更少。此外,当 QBit 中包含 Float32 数据且精度参数为 16 或更低时,还可以通过减少计算获得额外收益。精度参数直接控制准确性与速度之间的权衡:
- 更高的精度(更接近原始数据宽度):结果更准确,查询更慢
- 更低的精度:查询更快但结果为近似值,内存占用更低
参考资料
博客: