了解 Oracle 中剩余（）函数的行为

Question

根据剩余(n2,n1) 函数 (https://docs.oracle.com/cd/B19306_01/server.102/b14200/functions133.htm) 的 Oracle 文档，剩余(n2,n1) 函数的计算结果为 = n2 - n1 * N 其中 N = ROUND(n2/n1) 和 n1 ！ = 0。

所以，我希望使用上面记录的计算余数的方法返回 -2，如下所示：

REMAINDER(10,4)
=10 - 4 * N where N = ROUND(10/4) 
=10 - 4 * 3 since ROUND(10/4) = 3 
=10 - 12
=-2

但是，在 Oracle 10g、11g 和 12c 中运行剩余 (10,4) 会返回 2 而不是 -2。

有人可以解释一下为什么没有按照 oracle 如何评估余数的记录方法评估余数（10,4）吗？

附加信息：每隔一个 n2 就会发生这种行为，其中 n2 是 n1 / 2 的倍数。可以通过运行以下 SQL 来验证，其中每个余数函数值应与其旁边的值匹配。但它只匹配 n2 的所有其他值。 运行 SQL：

select
remainder(2,4), 2-4*round(2/4),--OUTPUT:2, -2
remainder(6,4),6-4*round(6/4), --OUTPUT: -2, -2
remainder(10,4),10-4*round(10/4),--OUTPUT: 2, -2
remainder(14,4),14-4*round(14/4)--OUTPUT: -2, -2
from dual 

Answer 1

编写文档的人（他们似乎不记得算术中的一些定义）他们自己似乎不确定他们写了什么。一方面，他们在解释的早期确实提到了ROUND - 但后来当他们给出更正式的定义时，他们说

•如果 n1 != 0，则余数为 n2 - (n1*N) 其中 N 是整数 最近的n2/n1

“最接近的整数”在算术中没有正式定义，实际上允许使用该名称来表示 round(x)，除非 x 的小数部分正好是 0.5，在这种情况下“最接近的整数”是不明确的并且一可以选择使用“向下取整”作为他们自己对“最接近整数”的定义。

如果可以，请不要对文档中的这种不一致感到太沮丧。你会看到更多。

然而：更糟糕的是行为不一致。我使用 Oracle 12.1，在我的机器上我刚刚尝试过，我得到了

remainder(10, 4) =  2
remainder( 6, 4) = -2

没有韵律或理由。使用 FLOOR 等进行自己的划分要好得多。

编辑 - 或者有什么原因；也许他们使用“最接近整数”的定义来表示，在平局的情况下，最接近的偶数整数。仍然会产生意想不到的结果，最好不要使用 Oracle 的 REMAINDER() 函数。