MarkLogic中含大数乘法的SparQL查询返回空结果异常求助

问题原因 #

你遇到的问题核心是MarkLogic与Jena、RDF4j对大整数运算的处理逻辑不同：

• 你FILTER中的三个整数乘积805964266*1719307142*805964270远超64位有符号整数的最大值（9223372036854775807），MarkLogic处理这类溢出时会将结果视为无效值，在布尔判断中等价于false，导致FILTER条件不满足，最终返回空结果。
• 而Apache Jena和RDF4j默认使用任意精度整数处理大数值运算，这个乘积结果是一个非零的有效整数，按照SPARQL规则，非零数值会被解析为true，因此FILTER条件成立，返回所有数据。

解决办法 #

有两种可行的处理方式：

• 直接简化过滤条件：如果你的目的只是让FILTER恒为真，直接替换为FILTER(true)即可，完全避免数值运算带来的问题：

  SELECT *
  WHERE { ?s ?p ?o .
          FILTER(true)
        }
  

• 显式声明大整数类型：如果必须保留数值运算逻辑，使用xsd:integer()函数将每个数值转换为任意精度整数，确保MarkLogic正确处理大数值乘法：

  SELECT *
  WHERE { ?s ?p ?o .
          FILTER ( xsd:integer("805964266") * xsd:integer("1719307142") * xsd:integer("805964270") )
        }
  

验证 #

修改后的查询在MarkLogic Query Console和Java Client API中执行，应该能返回数据库中的全部数据，与Jena、RDF4j的执行结果一致。

内容的提问来源于stack exchange，提问作者uniqueR