空间查询计划先用索引缩小候选再执行精确计算

空间谓词常需要复杂几何运算。数据库若对每一对对象都计算精确相交，成本会随数据量迅速增长。典型计划先用包围盒和索引找到候选，再对少量候选执行精确谓词。理解这两阶段，才能解释为什么查询有索引仍可能很慢。

GiST 索引保存可搜索摘要

PostGIS 常用 GiST 索引组织几何包围盒。相交包围盒是精确相交的必要但非充分条件，因此索引返回候选，随后还需复查真实几何。狭长、凹形和多部件对象的包围盒可能包含大量空白，候选误中会增多。

索引键通常比完整几何小，适合树结构剪枝。三维、geography 或特定操作符类的行为不同，建索引时要与查询的数据类型和操作符匹配。

索引不是必然更快。查询返回表中大部分记录时，顺序扫描可比随机读取索引和表更便宜。优化器根据统计信息估计条件选择性、行数和连接成本。

数据大量更新后统计可能过时，应执行适当分析。空间分布高度聚集、几何大小差异大时，估计也可能不准。EXPLAIN 展示估计计划，EXPLAIN ANALYZE 执行并给出实际行数与时间，生产使用需注意它会真正运行语句。

估计行数与实际差异很大时，应先检查统计、参数和数据分布，而不是立即强制索引。计划节点耗时还要区分缓存冷热和 I/O 环境。

PostGIS 文档标明哪些函数会自动包含包围盒比较。对索引列施加无法识别的函数、隐式类型转换或不匹配的 SRID，可能让条件无法转为索引操作。

距离查询要区分“范围内”和“按距离排序”。ST_DWithin 能先做有界候选过滤，直接对所有行计算 ST_Distance < x 往往更贵。最近邻操作符可利用支持的索引排序，但仍要核对精确距离和坐标类型。

坐标变换放在每行条件中成本高，且普通原列索引不能直接支持变换后表达式。可统一存储 CRS、建立受控表达式索引或先限制候选，但要保证单位与适用区域正确。

点落区、线面相交等连接若没有可用空间条件，会产生笛卡尔候选。计划通常选择一侧驱动，反复查询另一侧索引。较小输入、普通属性过滤和分区裁剪应尽早减少规模。

大几何可能使复查昂贵，也会带来 TOAST 读取。可以按业务合理细分超大对象、保存简化显示版本或预计算稳定关系，但不能让近似结果替代需要精确拓扑的分析。

重复执行相同空间连接时，物化关系表可能更合适。它要记录源版本并在几何变化后增量更新，否则性能改善会以陈旧结果为代价。

无效几何可能使谓词失败或产生意外结果，超高顶点数会增加 CPU。导入阶段应检查类型、SRID、有效性和范围，并将修复与原始数据分开记录。

把几何简化只为查询加速会改变边界关系。允许容差的可视化查询可以使用专门简化层，法律边界或精确统计则应保留原几何。

经纬度 geometry 上的平面距离单位是角度，geography 计算椭球距离但成本和适用操作不同。错误类型可能既慢又错。

索引需要创建、膨胀监测、重建策略和写入成本评估。多列条件有时需要组合索引或位图合并，具体选择由真实查询和计划证明。

性能测试应使用代表性区域、对象复杂度和参数，记录冷缓存与热缓存。只测试一个小城市无法代表全球表上的极区、密集城区和跨日界线对象。

可靠优化顺序是：确认结果正确，查看实际计划，定位候选与复查规模，再调整统计、查询、索引或数据组织。空间索引是缩小搜索范围的工具，不是绕过几何计算的魔法。

排查慢查询时，应先保存真实参数与 EXPLAIN (ANALYZE, BUFFERS) 结果，比较估计行数和实际行数，再判断问题来自选择性估计、磁盘读取、精确几何计算还是连接放大。只看总耗时无法说明索引是否合理。对生产系统执行带实际运行的计划前，应确认查询成本可控，避免诊断本身造成长时间负载。

空间条件还要检查坐标参考系、类型和函数写法。对索引列施加无法匹配索引表达式的转换，或在连接两侧反复变换坐标，都会削弱候选过滤。常用转换结果可以通过受控的生成列或表达式索引支持，但必须评估存储、更新和维护成本。

统计信息需要随数据变化维护。批量导入、分区切换或区域分布显著变化后，应更新统计并重新观察计划；计划偶尔变快或变慢，可能是缓存差异，也可能是参数分布导致的计划选择差异。