SpiceAI项目中SQLite浮点数比较问题分析与解决方案

问题背景

在SpiceAI项目中，执行TPCH Q6查询时发现了一个严重的数据不一致问题。该查询用于计算特定折扣范围内的订单总收入，但SQLite加速模式下返回的结果与预期值存在显著差异。具体表现为：预期结果为123141078.2283，而实际返回75207768.1855，差异达到近40%。

问题根源分析

经过深入调查，发现问题根源在于SQLite处理浮点数比较时的特殊行为。以下是关键发现：

1. 浮点数精度问题：SQLite在处理0.06-0.01这样的浮点运算时，结果虽然显示为0.05，但与直接输入的0.05在二进制表示上存在细微差异。

2. BETWEEN操作符行为：当使用BETWEEN操作符进行范围查询时，SQLite的浮点数比较机制会导致边界条件判断不准确。例如，l_discount BETWEEN 0.06-0.01 AND 0.06+0.01与l_discount BETWEEN 0.05 AND 0.07返回的记录数不同。

3. 十进制运算差异：即使使用了SQLite的decimal扩展函数，浮点运算结果与直接输入的十进制数在严格相等比较(=)时仍会返回false，尽管decimal_cmp函数认为两者相等。

技术细节

SQLite作为轻量级数据库，默认使用IEEE 754标准的浮点数存储和计算。这种设计虽然高效，但在需要精确比较的场景下会带来问题：

-- 浮点数运算结果与直接比较的差异
SELECT 0.06 - 0.01, 0.05, 0.06-0.01=0.05;
-- 返回: 0.05 | 0.05 | 0 (false)

-- 使用decimal扩展函数的情况
SELECT decimal('0.06') - decimal('0.01'), decimal('0.05'), 
       decimal('0.06')-decimal('0.01')=decimal('0.05');
-- 返回: 0.05 | 0.05 | 0 (false)

-- 使用decimal_cmp函数比较
SELECT decimal_cmp(decimal('0.06') - decimal('0.01'), decimal('0.05'));
-- 返回: 0 (相等)

解决方案

针对这一问题，推荐以下解决方案：

1. 避免直接浮点数比较：不使用BETWEEN操作符进行浮点数范围查询，改为显式的>=和<=组合。

2. 使用精确比较函数：对于需要精确比较的场景，使用decimal_cmp等专门设计的比较函数。

3. 查询重写：将原始查询中的BETWEEN条件重写为：

   WHERE l_discount >= 0.06-0.01 AND l_discount <= 0.06+0.01
   

4. 值规范化：在进行比较前，对浮点数值进行规范化处理，消除计算误差。

实施建议

在实际应用中，处理财务计算等需要高精度的场景时，建议：

1. 在设计阶段就考虑数值精度需求，选择合适的数值类型和比较方法。

2. 对关键业务逻辑的SQL查询进行严格的单元测试，验证边界条件下的行为。

3. 考虑使用专门的十进制算术库来处理需要精确计算的场景。

4. 在数据库设计文档中明确记录数值比较的特殊处理要求。

总结

SpiceAI项目中遇到的这个问题揭示了SQLite在浮点数处理上的一个重要特性。通过这个问题，我们认识到在数据处理系统中，数值比较的精确性不容忽视，特别是在涉及财务计算、科学计算等场景时。选择合适的比较策略和数值处理方法，是保证系统正确性的关键因素。