VIEW.QUERY
view の順序づけられたメンバーをページングして取得する。VIA テンプレート経由でフィールドを hydrate することもできる。
VIEW.QUERY name [LIMIT n] [CURSOR c] [FIELDS field ...]計算量
virtual は O(log N_order + candidates * leaves) —— ORDER インデックスをストリームしながら候補ごとにメンバーシップを判定し、limit に達したところで止める。したがってメンバー集合を materialise することはない。materialized は O(log M + limit)。FIELDS を VIA つきで指定すると、行を hydrate するために 2 回目の fan-out が走る。
計算量と互換性は kevy の実装から読み取ったものであり、Redis のドキュメントを写したものではない。実際に異なるものがいくつかある。
Redis との互換性
kevy 固有
kevy 固有。Redis に対応するものはない。設計上存在しないもの：join、view 層での述語、view 自身からの射影、HAVING、集約。
関連
VIEW.CREATEVIEW.DROPVIEW.EXPLAINVIEW.LISTVIEW.REBUILDVIEW.VERIFY