ORACLE→PostgreSQL 16：Oracle 集合 CARDINALITY迁移

判定为 partial。PG 有同名 array 函数，但 Oracle nested table/varray 类型与空集合语义不透明兼容；建议 PoC 复核

集合已映射 array 时用 cardinality(array)，否则按子表/JSON 模型计数

兼容性判定

公开资料依据 · 建议 PoC 复核

支持度partial

严重度major

置信度medium

依据规则ora.func.cardinality

集合已映射 array 时用 cardinality(array)，否则按子表/JSON 模型计数

PG 有同名 array 函数，但 Oracle nested table/varray 类型与空集合语义不透明兼容；建议 PoC 复核

库侧改造

可行：先确定集合落 array/jsonb/子表，再选择计数方式

应用侧改造

可行：应用集合可直接取容器大小但需保持 NULL/空集合区别

推荐路线：case_by_case。验证建议：NULL 集合、空集合、稀疏/删除元素和嵌套集合回归

SELECT CARDINALITY(phone_list) FROM customer

IF CARDINALITY(v_ids) > 0 THEN NULL; END IF;