Skip to main content
对于给定点,在多维 (向量) 空间中查找距离其最近的 N 个点,这个问题称为最近邻搜索,简称向量搜索。 解决向量搜索通常有两种通用方法:
  • 精确向量搜索会计算给定点与向量空间中所有点之间的距离。这可以确保达到尽可能高的准确性,也就是说,返回的点一定是真正的最近邻。由于需要穷尽整个向量空间,精确向量搜索在实际应用中可能会过慢。
  • 近似向量搜索是指一类技术 (例如图、随机森林等特殊数据结构) ,其计算速度远快于精确向量搜索。其结果精度通常已经“足够好”,能够满足实际使用需求。许多近似技术都提供参数,用于在结果精度和搜索时间之间进行权衡。
向量搜索 (精确或近似) 可以用如下 SQL 形式来编写:
向量空间中的点存储在名为 vectors 的数组类型列中,例如 Array(Float64)Array(Float32)Array(BFloat16)。 参考向量是一个常量数组,通过公用表表达式给出。 <DistanceFunction> 用于计算参考点与所有已存储点之间的距离。 这里可以使用任意一种可用的距离函数<N> 指定要返回多少个邻居。 可以直接使用上述 SELECT 查询按原样执行精确向量搜索。 这类查询的运行时间通常与已存储向量的数量及其维度 (即数组元素个数) 成正比。 此外,由于 ClickHouse 会对所有向量执行暴力扫描,运行时间还取决于该查询使用的线程数 (请参见设置 max_threads) 。

示例

返回值

向量相似度索引

ClickHouse 提供了一种特殊的“向量相似度”索引,用于执行近似向量搜索。
向量相似度索引适用于 ClickHouse 25.8 及更高版本。 如果遇到问题,欢迎在 ClickHouse 仓库中提交 issue。

创建向量相似度索引

可以像下面这样在新表上创建向量相似度索引:
或者,如需为现有表添加向量相似度索引:
向量相似度索引是一类特殊的跳过索引 (参见此处此处) 。 因此,上面的 ALTER TABLE 语句只会为今后新插入表中的数据构建索引。 若要同时为现有数据构建索引,则需要将其物化:
函数 <distance_function> 必须是
  • L2Distance,即 Euclidean distance (欧几里得距离) ,表示欧几里得空间中两点之间的直线距离,
  • cosineDistance,即 cosine distance (余弦距离) ,表示两个非零向量之间的夹角,或
  • dotProduct,即 dot product (内积) ,表示两个向量对应元素乘积之和。在归一化数据上,它等价于 cosineDistance
对于归一化数据,通常 L2Distance 是最佳选择;否则,建议使用 cosineDistance 来补偿标度差异。
对于距离函数 L2DistancecosineDistance,值越小表示相似度越高;而对于 dotProduct,值越大表示相似度越高。 因此,使用 L2DistancecosineDistance 的向量索引只能用于 SELECT [...] ORDER BY [...] ASC 查询 (ASCORDER BY 的默认值) ,而为 dotProduct 构建的向量索引只能用于 SELECT [...] ORDER BY [...] DESC 查询。
<dimensions> 指定底层列中数组的元素个数。 如果 ClickHouse 在创建索引时发现数组的元素个数不一致,则会放弃该索引并返回错误。 可选的 GRANULARITY 参数 <N> 表示索引粒度的大小 (见此处) 。 与默认索引粒度为 1 的常规跳过索引不同,向量相似度索引默认使用 1 亿作为索引粒度。 这个值可确保即使对于较大的 parts,内部构建的索引数量也很少。 我们建议仅由理解其影响的高级用户修改索引粒度 (见下文) 。 向量相似度索引是通用的,也就是说它们可以支持不同的近似搜索方法。 实际使用的方法由参数 <type> 指定。 截至目前,唯一可用的方法是 HNSW (学术论文) ,这是一种流行且先进的近似向量搜索技术,基于分层近邻图。 如果使用 HNSW 作为 <type>,用户还可以选择指定更多 HNSW 专用参数:
可用的 HNSW 专用参数如下:
  • <quantization> 用于控制邻近图中向量的量化方式。可能值为 f64f32f16bf16i8b1。默认值为 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 模型 (例如大语言模型 LLM) 生成的向量,通常由数百个或数千个浮点值组成。 因此,单个向量值可能会占用数 KB 的内存。 如果用户想估算表中底层向量列所需的存储空间,以及向量相似度索引所需的主内存,可以使用下面两个公式: 表中向量列的存储消耗 (未压缩) :
dbpedia dataset 为例:
必须先将向量相似度索引从磁盘完整加载到主内存中,才能执行搜索。 同样,向量索引也是先在内存中完整构建,然后再保存到磁盘。 加载向量索引所需的内存占用:
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 个粒度中,即每个粒度约 1.7k 行。该查询请求 10 个最近邻,向量相似度索引在 10 个独立粒度中找到这 10 个最近邻。查询执行期间将读取这 10 个粒度。 如果输出中包含 Skip 以及向量索引的名称和类型 (在本示例中为 idxvector_similarity) ,则表示向量相似度索引已生效。 在本例中,向量相似度索引跳过了四个粒度中的两个,即 50% 的数据。 可跳过的粒度越多,索引的使用效率就越高。
要强制使用索引,你可以在运行 SELECT 查询时启用设置 force_data_skipping_indexes (将索引名称作为该设置的值) 。
后过滤与前过滤 用户可以选择在 SELECT 查询中通过 WHERE 子句指定额外的过滤条件。 ClickHouse 将采用后过滤或前过滤策略对这些过滤条件进行求值。 简而言之,两种策略的区别在于过滤条件的求值顺序:
  • 后过滤是指先评估向量相似度索引,然后 ClickHouse 再评估 WHERE 子句中指定的其他过滤条件。
  • 前过滤意味着过滤器的执行顺序正好相反。
这些策略各有其权衡取舍:
  • 后过滤的一个普遍问题是,返回的行数可能少于 LIMIT <N> 子句请求的数量。当向量相似度索引返回的一行或多行结果不满足附加过滤条件时,就会出现这种情况。
  • 前过滤通常仍是一个尚未解决的问题。某些专门的向量数据库提供了前过滤算法,但大多数关系型数据库 (包括 ClickHouse) 都会退回到精确近邻搜索,也就是不使用索引的暴力扫描。
采用哪种策略取决于过滤条件。 附加过滤条件是分区键的一部分 如果附加过滤条件是分区键的一部分,ClickHouse 就会应用分区剪枝。 例如,某个表按列 year 进行范围分区,并执行以下查询:
ClickHouse 会剪枝掉除 2025 年分区之外的所有分区。 无法通过索引评估额外过滤条件 如果额外过滤条件无法通过索引 (主键索引、跳过索引) 评估,ClickHouse 将应用后过滤。 可以使用主键索引评估额外过滤条件 如果额外过滤条件可以通过主键评估 (即它们构成主键的前缀) ,并且
  • 如果过滤条件在某个 part 内至少排除一行,ClickHouse 将回退为对该 part 内“保留下来”的范围执行前过滤,
  • 如果过滤条件在某个 part 内没有排除任何行,ClickHouse 将对该 part 执行后过滤。
在实际场景中,后一种情况通常不太可能发生。 可以使用跳过索引评估额外过滤条件 如果额外过滤条件可以通过跳过索引 (minmax 索引、set 索引等) 评估,ClickHouse 会执行后过滤。 在这种情况下,会先评估向量相似度索引,因为预计与其他跳过索引相比,它能过滤掉更多行。 若要更细致地控制后过滤与前过滤,可以使用两个设置: 设置 vector_search_filter_strategy (默认值:auto,即实现上述启发式策略) 可以设为 prefilter。 这对于额外过滤条件选择性极高的场景很有用,可用于强制启用前过滤。 例如,以下查询可能会从前过滤中受益:
假设价格低于 2 美元的图书极少,后过滤可能会返回零行,因为向量索引返回的前 10 个匹配项价格都可能高于 2 美元。 通过强制使用前过滤 (在查询中添加 SETTINGS vector_search_filter_strategy = 'prefilter') ,ClickHouse 会先找出所有价格低于 2 美元的图书,然后对这些图书执行暴力穷举向量搜索。 作为解决上述问题的另一种方法,可以将 vector_search_index_fetch_multiplier (默认值:1.0,最大值:1000.0) 配置为大于 1.0 的值 (例如 2.0) 。 从向量索引中拉取的最近邻数量会乘以该设置值,然后再对这些行应用额外的过滤条件,以返回 LIMIT 指定数量的行。 例如,我们可以再次发起查询,但将 multiplier 设置为 3.0
ClickHouse 将从每个分片中的向量索引拉取 3.0 x 10 = 30 个最近邻,然后再评估额外的过滤器。 最终只会返回距离最近的十个近邻。 需要注意的是,设置 vector_search_index_fetch_multiplier 可以缓解这个问题,但在极端情况下 (WHERE 条件选择性非常强) ,返回的行数仍可能少于请求的 N 行。 重评分 ClickHouse 中的跳过索引通常在粒度级别进行过滤。也就是说, (在内部) 查询一次跳过索引会返回一个可能匹配的粒度列表,从而减少后续扫描中需要读取的数据量。 这对一般的跳过索引来说效果很好,但对于向量相似度索引,则会造成“粒度不匹配”。 更具体地说,向量相似度索引会针对给定的参考向量找出最相似的 N 个向量的行号,但随后还需要将这些行号推算为粒度编号。 然后 ClickHouse 会从磁盘加载这些粒度,并对这些粒度中的所有向量再次执行距离计算。 这一步称为重评分。虽然它理论上可以提高准确性——别忘了,向量相似度索引返回的只是近似结果——但显然不是性能最优的做法。 因此,ClickHouse 提供了一种优化,可禁用重评分,并直接从索引返回最相似的向量及其距离。 该优化默认启用,参见设置 vector_search_with_rescoring。 其大致工作方式是,ClickHouse 将最相似的向量及其距离通过虚拟列 _distances 提供出来。 要查看这一点,请使用 EXPLAIN header = 1 运行向量搜索查询:
在未启用重评分 (vector_search_with_rescoring = 0) 且启用并行副本的情况下运行的查询,可能仍会回退到重评分。

性能调优

压缩调优 在几乎所有使用场景中,底层列中的向量都是稠密的,因此通常难以有效压缩。 因此,压缩会降低对向量列执行插入和读取的性能。 因此,我们建议禁用压缩。 为此,请像下面这样为向量列指定 CODEC(NONE)
调优索引创建 向量相似度索引的生命周期与 parts 的生命周期密切相关。 换句话说,每当创建一个定义了向量相似度索引的新 part 时,对应的索引也会同时创建。 这通常发生在数据插入时,或在合并过程中。 遗憾的是,HNSW 的索引创建耗时较长是众所周知的问题,这会显著拖慢插入和合并操作。 因此,向量相似度索引更适合用于数据不可变或很少发生变化的场景。 要加快索引创建,可以采用以下方法: 首先,可以将索引创建并行化。 可通过服务器设置 max_build_vector_similarity_index_thread_pool_size 配置用于创建索引的最大线程数。 为获得最佳性能,建议将该设置值配置为 CPU 核心数。 其次,为了加快 INSERT 语句的执行,用户可以通过会话设置 materialize_skip_indexes_on_insert 禁止在新插入的 parts 上创建跳过索引。 对此类 parts 执行的 SELECT 查询将回退为精确搜索。 由于新插入的 parts 相对于整个表通常较小,因此预计对性能的影响可以忽略不计。 第三,为了加快合并,用户可以通过会话设置 materialize_skip_indexes_on_merge 禁止在已合并的 parts 上创建跳过索引。 配合语句 ALTER TABLE […] MATERIALIZE INDEX […],这可以显式控制向量相似度索引的生命周期。 例如,可以将索引创建延后到所有数据都已摄取完成之后,或延后到系统负载较低的时段 (如周末) 再进行。 调优索引使用 SELECT 查询要使用向量相似度索引,需要先将其加载到主内存中。 为避免重复将同一个向量相似度索引加载到主内存,ClickHouse 为这类索引提供了专用的内存缓存。 缓存越大,不必要的加载就越少。 可通过服务器设置 vector_similarity_index_cache_size 配置缓存的最大大小。 默认情况下,缓存最大可增长到 5 GB。 以下日志消息 (system.text_log) 表明正在加载向量相似度索引。 如果这类消息在不同的向量搜索查询中反复出现,则说明缓存容量过小。
向量相似度索引缓存用于存储向量索引粒度。 如果单个向量索引粒度大于缓存容量,则不会被缓存。 因此,请务必计算向量索引的大小 (根据“估算存储和内存消耗”中的公式,或参考 system.data_skipping_indices) ,并据此设置相应的缓存容量。
我们再次强调,在排查向量搜索查询缓慢的问题时,首先应检查向量索引缓存,并在必要时增大其容量。 当前向量相似度索引缓存的大小可在 system.metrics 中查看:
可从 system.query_log 获取具有特定查询 id 的查询的缓存命中和未命中信息:
对于生产环境中的用例,我们建议将缓存设置得足够大,以确保所有向量索引始终驻留在内存中。 调整量化 量化是一种用于降低向量内存占用,以及减少构建和遍历向量索引计算开销的技术。 ClickHouse 向量索引支持以下量化选项: 与搜索原始全精度浮点值 (f32) 相比,量化会降低向量搜索的精度。 不过,在大多数数据集上,半精度 brain float 量化 (bf16) 带来的精度损失微乎其微,因此向量相似度索引默认采用这种量化方式。 四分之一精度 (i8) 和二进制 (b1) 量化会给向量搜索带来较明显的精度损失。 只有在向量相似度索引的大小显著超过可用 DRAM 容量时,我们才建议使用这两种量化方式。 在这种情况下,我们还建议启用重评分 (vector_search_index_fetch_multipliervector_search_with_rescoring) 以提高准确性。 只有在以下情况下才建议使用二进制量化:1) 嵌入向量已归一化 (即向量长度 = 1,OpenAI 模型通常是归一化的) ;2) 距离函数使用的是余弦距离。 二进制量化在内部使用 Hamming 距离来构建和搜索邻近图。 重评分步骤会使用表中存储的原始全精度向量,通过余弦距离识别最近邻。 调整数据传输 向量搜索查询中的参考向量由用户提供,通常通过调用大型语言模型 (LLM) 获取。 在 ClickHouse 中执行向量搜索的典型 Python 代码可能如下所示
嵌入向量 (上述代码片段中的 search_v) 的维度可能非常大。 例如,OpenAI 提供的模型会生成维度为 1536 甚至 3072 的嵌入向量。 在上述代码中,ClickHouse Python driver 会将嵌入向量替换为便于人类阅读的字符串,随后再将整个 SELECT 查询作为字符串发送。 假设嵌入向量由 1536 个单精度浮点数组成,发送的字符串长度可达 20 kB。 这会导致 CPU 大量消耗在标记化、解析以及成千上万次字符串到浮点数的转换上。 此外,ClickHouse server 日志文件也需要占用大量空间,同时还会导致 system.query_log 膨胀。 请注意,大多数 LLM 模型都会将嵌入向量作为原生浮点数列表或 NumPy 数组返回。 因此,我们建议 Python 应用程序使用以下方式,以二进制形式绑定参考向量参数:
在该示例中,参考向量会以原始二进制形式发送,并在服务器端重新解释为浮点数数组。 这样可以节省服务器端的 CPU 时间,并避免服务器日志和 system.query_log 过度膨胀。

管理与监控

向量相似度索引的磁盘占用大小可从 system.data_skipping_indices 获取:
示例输出:

与常规跳过索引的差异

和所有常规跳过索引一样,向量相似度索引也是基于粒度构建的,每个索引块由 GRANULARITY = [N] 个粒度组成 (对普通跳过索引来说,[N] 的默认值为 1) 。 例如,如果表的主索引粒度为 8192 (设置 index_granularity = 8192) ,且 GRANULARITY = 2,那么每个索引块将包含 16384 行。 但用于近似邻居搜索的数据结构和算法本质上是面向行的。 它们会存储一组行的紧凑表示,并且也会为向量搜索查询返回行。 因此,向量相似度索引的行为方式与普通跳过索引相比,会表现出一些相当不直观的差异。 当用户在某一列上定义向量相似度索引时,ClickHouse 会在内部为每个索引块创建一个向量相似度“子索引”。 这里所说的“局部”是指,子索引只了解其所属索引块中的行。 沿用前面的示例,假设某一列有 65536 行,那么会得到四个索引块 (跨越八个粒度) ,并为每个索引块创建一个向量相似度子索引。 从理论上讲,一个子索引可以直接返回其索引块内距离最近的 N 个点对应的行。 但由于 ClickHouse 是按粒度将数据从磁盘加载到内存中的,因此子索引会将匹配行映射到粒度级别。 这不同于常规跳过索引,后者是在索引块级别跳过数据的。 GRANULARITY 参数决定会创建多少个向量相似度子索引。 GRANULARITY 值越大,创建的向量相似度子索引就越少,但每个子索引也越大;极端情况下,一列 (或该列的数据分区片段) 只会有一个子索引。 在这种情况下,这个子索引对该列的所有行都具有“全局”视角,并且可以直接返回该列 (或数据分区片段) 中包含相关行的所有粒度 (这样的粒度最多不超过 LIMIT [N] 个) 。 接下来,ClickHouse 会加载这些粒度,并通过对其中所有行执行暴力距离计算来找出真正最优的行。 当 GRANULARITY 值较小时,每个子索引最多会返回 LIMIT N 个粒度。 因此,需要加载并进行后过滤的粒度会更多。 请注意,这两种情况下的搜索精度同样高,区别只在于处理性能。 通常建议为向量相似度索引使用较大的 GRANULARITY,只有在出现向量相似度结构内存占用过高等问题时,才退回到较小的 GRANULARITY 值。 如果未为向量相似度索引指定 GRANULARITY,默认值为 1 亿。

示例

查询:
Query
Response
更多使用近似向量搜索的示例数据集如下:

量化位 (QBit)

加速精确向量搜索的一种常见方法是使用较低精度的浮点数据类型。 例如,如果向量存储为 Array(BFloat16) 而不是 Array(Float32),数据大小会减少一半,查询运行时间预计也会相应缩短。 这种方法称为量化。虽然它能加快计算速度,但即使对所有向量进行穷尽扫描,也可能会降低结果的准确性。 使用传统量化时,我们在搜索和数据存储这两个阶段都会损失精度。以上述示例为例,我们存储的是 BFloat16 而不是 Float32,这意味着即使之后有需要,也无法再进行更高精度的搜索。另一种方案是同时存储两份数据:一份量化后的数据和一份全精度数据。虽然这样可行,但会带来冗余存储。设想这样一种场景:原始数据为 Float64,并且希望使用不同精度 (16 位、32 位或完整 64 位) 进行搜索。这样一来,就需要存储三份独立的数据副本。 ClickHouse 提供了 Quantized Bit (QBit) 数据类型,通过以下方式解决这些限制:
  1. 存储原始的全精度数据。
  2. 支持在查询时指定量化精度。
这是通过以按位分组的格式存储数据来实现的 (即将所有向量的第 i 位存储在一起) ,从而只读取所请求精度级别的数据。这样,你既能获得量化带来的 I/O 和计算量减少所带来的速度优势,又能在需要时使用全部原始数据。当选择最高精度时,搜索即为精确搜索。 要声明一个 QBit 类型的列,请使用以下语法:
其中:
  • element_type – 每个向量元素的数据类型。支持的类型有 BFloat16Float32Float64
  • dimension – 每个向量中的元素个数

创建 QBit 表并插入数据

下面使用 L2 距离查找与表示单词 ‘lemon’ 的向量最接近的邻居。距离函数中的第三个参数用于指定精度 (以位为单位) ——值越高,精度越高,但所需计算也越多。 你可以在这里查看 QBit 支持的所有距离函数。 全精度搜索 (64 位) :
低精度搜索:
注意,使用 12 位量化时,我们能在加快查询执行速度的同时,较好地近似这些距离。相对顺序基本保持一致,‘apple’ 仍然是最接近的匹配项。

性能考量

QBit 的性能优势来自 I/O 操作减少:使用较低精度时,需要从存储中读取的数据更少。此外,当 QBit 包含 Float32 数据且精度参数为 16 或更低时,由于计算量减少,还能获得额外的性能收益。精度参数直接决定了准确性与速度之间的权衡:
  • 更高精度 (更接近原始数据位宽) :结果更准确,但查询更慢
  • 更低精度:查询更快,但结果是近似值,内存占用更低

参考资料

博客文章:
最后修改于 2026年7月1日