VIEW.VERIFY

計算量

materialized は O(M)。virtual は、葉ごとの (log N + leaf range) の総和に O(M) を加えたもの —— カーディナリティを報告するためだけに完全な再評価を行う。virtual view が materialized より高くつく、唯一の場面である。

計算量と互換性は kevy の実装から読み取ったものであり、Redis のドキュメントを写したものではない。実際に異なるものがいくつかある。

Redis との互換性