我正在使用 SQL 实现按位过滤器,我想看看以下优化是否在所有情况下都始终有效,但我不确定如何证明它。我的目标是限制比较的行数。
标准过滤伪sql:
IF (A & B = A) // SHOW VALUE
问题是,添加它会起作用吗?:
IF (A = B) OR (A & B = A) WHERE (B >= A) // SHOW VALUE
在我看来,B 必须始终 >= 到 A - 是否存在不正确的情况?
我意识到上面的代码仍然不是最优的,我只是想知道这是否是一个可行的方向。
有人有一些惊人的数学可以帮助我吗?