bt_index_check 测试其目标 B-树索引是否满足多种不变式。示例用法如下：

test=# SELECT bt_index_check(index => c.oid, heapallindexed => i.indisunique),
               c.relname,
               c.relpages
FROM pg_index i
JOIN pg_opclass op ON i.indclass[0] = op.oid
JOIN pg_am am ON op.opcmethod = am.oid
JOIN pg_class c ON i.indexrelid = c.oid
JOIN pg_namespace n ON c.relnamespace = n.oid
WHERE am.amname = 'btree' AND n.nspname = 'pg_catalog'
-- Don't check temp tables, which may be from another session:
AND c.relpersistence != 't'
-- Function may throw an error when this is omitted:
AND c.relkind = 'i' AND i.indisready AND i.indisvalid
ORDER BY c.relpages DESC LIMIT 10;
 bt_index_check |             relname             | relpages
----------------+---------------------------------+----------
                | pg_depend_reference_index       |       43
                | pg_depend_depender_index        |       40
                | pg_proc_proname_args_nsp_index  |       31
                | pg_description_o_c_o_index      |       21
                | pg_attribute_relid_attnam_index |       14
                | pg_proc_oid_index               |       10
                | pg_attribute_relid_attnum_index |        9
                | pg_amproc_fam_proc_index        |        5
                | pg_amop_opr_fam_index           |        5
                | pg_amop_fam_strat_index         |        5
(10 rows)

本例展示了一个会话，它对数据库“test”中最大的 10 个系统目录索引执行验证。对其中属于唯一索引的那一部分，还要求验证所有堆元组在索引中都有对应的索引元组。由于没有引发错误，因此所有受测索引看起来都具有逻辑一致性。当然，也很容易把这个查询改成对数据库中每一个支持验证的索引调用 bt_index_check。

bt_index_check 会在目标索引及其所属的堆关系上获取 AccessShareLock。这种锁模式与简单 SELECT 语句在关系上获取的锁模式相同。bt_index_check 不会验证跨越父子关系的不变式，但如果 heapallindexed 为 true，它会验证所有堆元组在索引中都有对应的索引元组。如果 checkunique 为 true，bt_index_check 还会检查唯一索引中重复条目里可见的项不超过一个。当在线生产环境中需要一种例行的、轻量级的损坏检查时，bt_index_check 通常能在验证彻底程度与对应用性能、可用性的影响之间提供最佳权衡。

bt_index_parent_check 测试其目标 B-树索引是否满足多种不变式。如果可选参数 heapallindexed 为 true，该函数还会验证索引中是否包含所有本应出现的堆元组。如果 checkunique 为 true，bt_index_parent_check 还会检查唯一索引中重复条目里可见的项不超过一个。如果可选参数 rootdescend 为 true，则会对每个元组都从根页重新搜索一次，从而在叶子层重新定位这些元组。bt_index_parent_check 能够执行的检查，是 bt_index_check 所能执行检查的超集。可以把 bt_index_parent_check 看作 bt_index_check 更彻底的变体：与 bt_index_check 不同，bt_index_parent_check 还会检查跨越父子关系的不变式，包括验证索引结构中不存在缺失的下行链接。如果发现逻辑不一致或其他问题，bt_index_parent_check 就会按惯例引发错误。

bt_index_parent_check 要求在目标索引上持有 ShareLock（并且在堆关系上也会获取 ShareLock）。这些锁会阻止 INSERT、UPDATE 以及 DELETE 命令并发修改数据。这些锁还会阻止底层关系被并发 VACUUM 处理，以及执行所有其他实用命令。注意，该函数只在运行期间持有这些锁，而不是在整个事务期间持有。

bt_index_parent_check 所做的额外验证，更有可能检测出各种异常情形。这些情形可能涉及被检查索引所使用的 B-树操作符类实现错误，或者假设存在的、底层 B-树索引访问方法代码中尚未发现的缺陷。请注意，与 bt_index_check 不同，在启用热备模式时（即在只读物理副本上），不能使用 bt_index_parent_check。

检查一个表、序列或物化视图是否存在结构损坏或逻辑损坏。结构损坏是指关系中的页面包含格式无效的数据；逻辑损坏则是指页面在结构上有效，但与数据库集簇的其余部分不一致。

支持以下可选参数：

对于每一处检测到的损坏，verify_heapam 都会返回一行，其中包含下列列：