PowerApps基于SQL查找数据拆分集合为子集合的问题排查

第三次问题更新（问题范围收敛） #

目前问题已经缩小到单行代码的反常表现，以下是包含三组测试逻辑的代码片段：

ForAll(ScanDataCollection_SmartComm_MasterList,
  If(
//    line 1      (LookUp(Master_Transaction_Log, Result in Scan_Code).Scan_Code) in Result,
//    line 2      (LookUp(Master_Transaction_Log, "Comms Lockoff" in Transaction_Type).Scan_Code) in Result,
//    line 3      (LookUp(Master_Transaction_Log, "Comms Lockoff" in Transaction_Type And Result in Scan_Code).Scan_Code) in Result,
  Collect(SC_OnCommsHold,ThisRecord),
  Collect(SC_Remainder_1,ThisRecord));
);

测试数据库中仅存在1条符合判断条件的记录，三组测试结果如下：

• 仅取消注释第1行逻辑时，流程运行正常：SC_OnCommsHold成功收录1条匹配记录，SC_Remainder_1收录剩余3条记录
• 仅取消注释第2行逻辑时，流程运行正常，输出结果与上述情况一致
• 仅取消注释第3行逻辑时，运行结果异常：SC_OnCommsHold无任何记录，所有记录均被归集到SC_Remainder_1中
  初步判断第3行逻辑存在写法问题，但始终无法定位错误点。

第二次问题更新 #

以下代码序列可输出预期结果：

ClearCollect(SC_OnCommsHold, ScanDataCollection_SmartComm_MasterList);
ClearCollect(SC_Remainder_1, ScanDataCollection_SmartComm_MasterList);
Clear(SC_OnCommsHold);
Clear(SC_Remainder_1);
ForAll(ScanDataCollection_SmartComm_MasterList,
  If(
    (LookUp(Master_Transaction_Log, Result in Scan_Code, Scan_Code)) in Result,
  Collect(SC_OnCommsHold,ThisRecord),
  Collect(SC_Remainder_1,ThisRecord));
);

但为LookUp增加Transaction_Type判断条件后，代码运行失败，SC_OnCommsHold为空集合：

ClearCollect(SC_OnCommsHold, ScanDataCollection_SmartComm_MasterList);
ClearCollect(SC_Remainder_1, ScanDataCollection_SmartComm_MasterList);
Clear(SC_OnCommsHold);
Clear(SC_Remainder_1);
ForAll(ScanDataCollection_SmartComm_MasterList,
  If(
    (LookUp(Master_Transaction_Log, Result in Scan_Code && "Comms Lockoff" in Transaction_Type, Scan_Code)) in Result,
  Collect(SC_OnCommsHold,ThisRecord),
  Collect(SC_Remainder_1,ThisRecord));
);

已反复确认Master_Transaction_Log中确实存在符合双条件判断的数据记录，将LookUp逻辑简化至最简形式仍无法正常运行。 #

第一次问题更新（信息补充） #

• Master_Transaction_Log数据库总条目数超过50万，但单次扫描生成的记录数通常不足100条
• 本次测试存入ScanDataCollection_SmartComm_MasterList的4条测试数据如下：

REQ2069120.RITM2374312.01 
REQ2075966.RITM2382958.01 
REQ2081369.RITM2389938.01 
REQ2091095.RITM2402123.01

• 已在SQL数据库中手动添加1条测试记录，当前库内仅存在1条匹配测试条件的记录：Scan_Code = "REQ2081369.RITM2389938.01"，Transaction_Type = "New Equipment Delivery - Comms Lockoff"
  预期输出两个集合：
• SC_OnCommsHold包含Result_OnHold列，仅存储1条匹配记录：

REQ2081369.RITM2389938.01

• SC_Remainder_1包含Result列，存储ScanDataCollection_SmartComm_MasterList中除上述匹配记录外的所有剩余条目：

REQ2069120.RITM2374312.01 
REQ2075966.RITM2382958.01 
REQ2091095.RITM2402123.01

当前使用的实现代码如下：

ClearCollect(SC_OnCommsHold, RenameColumns(ScanDataCollection_SmartComm_MasterList,"Result","Result_OnHold"));
ClearCollect(SC_Remainder_1, ScanDataCollection_SmartComm_MasterList);
//RemoveIf(SC_OnCommsHold, "REQ2081369.RITM2389938.01" in Result_OnHold);
RemoveIf(SC_OnCommsHold, IsEmpty(Filter(Master_Transaction_Log, Scan_Code = Result_OnHold, Transaction_Type="New Equipment Delivery - Comms Lockoff")));

代码运行耗时数秒，说明确实在执行数据库查询，但最终SC_OnCommsHold包含全部4条测试记录，不符合预期。其中注释行用于验证数据结构逻辑正确性，但正式实现的RemoveIf逻辑运行失败。待SC_OnCommsHold正确填充后，还需使用相同逻辑从SC_Remainder_1中移除已归集的匹配条目。 #

初始问题描述 #

开发过程中遇到集合拆分逻辑实现障碍：初始集合为ScanDataCollection_SmartComm_MasterList，结构如下：

Result
REQ1991799.RITM2280596.01 
REQ2048874.RITM2349401.01 
REQ2037354.RITM2335400.01 

对接的SQL数据库表为Master_Transaction_Log，核心字段包含三个：Timestamp、Scan_Code、Transaction_Type。
预期最终输出两个集合：

SC_ReturnToDepot
Result
REQ1991799.RITM2280596.01 

SC_Remainder_1
Result
REQ2048874.RITM2349401.01 
REQ2037354.RITM2335400.01 

匹配规则为：对于ScanDataCollection_SmartComm_MasterList中的任意Result值，若数据库中存在记录同时满足Scan_Code = Result、Transaction_Type = "New Equipment Delivery - Cust. Msg: Equipment Returning to Depot"、Timestamp为72小时内，则该Result值加入SC_ReturnToDepot集合；其余所有不满足条件的Result值加入SC_Remainder_1集合。
目前仅完成代码框架编写，核心判断逻辑始终无法正确实现：

ClearCollect(SC_ReturnToDepot,
  ForAll(ScanDataCollection_SmartComm_MasterList,
    ...?
  );
);

ClearCollect(SC_Remainder_1,
  ForAll(ScanDataCollection_SmartComm_MasterList,
    ...?
  );
);

约束说明 #

• 该集合拆分逻辑是从ScanDataCollection_SmartComm_MasterList起始的多步级联业务流程的组成部分
• 无SQL表结构及数据修改权限，无法将逻辑迁移为存储过程实现
• 若PowerApps支持发送自定义SQL查询并将结果返回为符合结构要求的集合，也可采用该方案，最终输出的集合结构必须符合上述定义，以支撑后续流程调用

问题根因 #

所有异常均由Power Apps公式解析的上下文歧义导致：
当ForAll遍历的表和LookUp/Filter查询的表存在同名字段，或是Result这类Power Apps保留的通用返回值字段名出现在嵌套函数中时，解析器不会优先识别外层遍历的字段，而是优先绑定到当前内层函数的上下文，直接导致判断逻辑完全偏离预期。
三组测试用例的表现差异完全符合这个逻辑：

1. 第1行仅写Result in Scan_Code条件时，内层LookUp没有其他同名Result字段，解析器碰巧绑定到外层ForAll的Result值，逻辑运行正常
2. 第2行仅写Transaction_Type匹配条件，没有引用外层Result，LookUp直接返回全表第一条匹配类型的记录，刚好该记录的Scan_Code和测试数据重合，碰巧输出了正确结果
3. 第3行同时写两个条件时，解析器将Result识别为LookUp函数本身的返回值字段，而Master_Transaction_Log表不存在Result字段，条件永远返回false，因此匹配不到任何记录
   此前RemoveIf方案失效也是同一原因：RemoveIf遍历SC_OnCommsHold时，内层Filter的Result_OnHold被错误绑定到了Master_Transaction_Log的上下文，判断永远为真，因此没有记录被移除。

修复方案 #

用As关键字给ForAll遍历的当前记录指定明确别名，彻底消除上下文歧义，同时替换不可委托的in操作符为精确匹配=，保证50万级大表的查询性能：

// 初始化清空目标集合
Clear(SC_OnCommsHold);
Clear(SC_Remainder_1);

ForAll(
    // 给遍历的扫描记录指定别名CurrentScan，从根源避免字段名冲突
    ScanDataCollection_SmartComm_MasterList As CurrentScan,
    If(
        // 只要能查到匹配记录即判定符合条件，用IsBlank判断比in逻辑更严谨
        !IsBlank(
            LookUp(
                Master_Transaction_Log,
                // 所有引用扫描值的地方都用「别名.字段」的形式，彻底避免歧义
                Scan_Code = CurrentScan.Result
                && "Comms Lockoff" in Transaction_Type
                // 72小时时间判断直接在此处追加即可，注意时区转换：
                // && Timestamp >= DateAdd(Now(), -72, TimeUnit.Hours) + TimeZoneOffset(Now())/1440
            ).Scan_Code
        ),
        Collect(SC_OnCommsHold, CurrentScan),
        Collect(SC_Remainder_1, CurrentScan)
    )
);

实现注意事项 #

• 禁止在大表查询中用in操作符做精确匹配：in属于不可委托操作，会触发Power Apps把全表数据拉到本地内存再做判断，50万条数据的场景下会出现严重卡顿、查询超时甚至数据截断问题；精确匹配直接用=即可，SQL Server连接器完全支持该操作的委托，查询直接在数据库端执行，性能提升显著
• 涉及时间判断时注意时区问题：Power Apps默认使用UTC时间存储时间字段，若数据库中的Timestamp字段为本地时间，需要用TimeZoneOffset函数做时间转换，避免时间窗口判断错误
• 后续拆分SC_ReturnToDepot集合时，直接替换上述代码中Transaction_Type的匹配值、追加时间判断条件即可，整体逻辑框架无需改动

内容的提问来源于stack exchange，提问作者Edward Martin III