コマンド
184 コマンド
サーバーが応答するすべての動詞を、サーバー自身のレジストリから直接 —— COMMAND DOCS が読むのと同じテーブルである。Redis のリファレンスには無い列が二つある。このエンジンでの実際のコストと、Redis との差異である。
| コマンド | グループ | 計算量 | Redis との互換性 | 概要 |
|---|---|---|---|---|
| APPEND | 文字列 | 値が 64 B 以下の間は償却 O(1) | 互換 | 文字列値の末尾にバイト列を追加し、追加後の長さを返す。 |
| DECR | 文字列 | O(1) | 互換 | キーの整数値を 1 減らす。 |
| DECRBY | 文字列 | O(1) | 互換 | キーの整数値を指定した分だけ減らす。 |
| GET | 文字列 | O(1) | 互換 | キーの文字列値を返す。 |
| GETDEL | 文字列 | O(1) | 互換 | キーの文字列値を返し、そのキーを削除する。 |
| GETSET | 文字列 | O(1) | 互換 | キーに文字列値を設定し、設定前の値を返す。 |
| INCR | 文字列 | O(1) | 互換 | キーの整数値を 1 増やす。 |
| INCRBY | 文字列 | O(1) | 互換 | キーの整数値を指定した分だけ増やす。 |
| INCRBYFLOAT | 文字列 | O(1) | 差異あり | キーの浮動小数点値を指定した分だけ増やす。 |
| MGET | 文字列 | O(N) | 差異あり | 複数キーの値を返す(shard をまたいで収集する)。 |
| MSET | 文字列 | O(N) | 差異あり | 複数のキーと値の組を設定する。アトミック性は shard 単位。 |
| PSETEX | 文字列 | O(1) | 互換 | ミリ秒単位の TTL を付けてキーに値を設定する。 |
| SET | 文字列 | O(1) | 差異あり | キーに文字列値を設定する。TTL と存在条件を任意で指定できる。 |
| SETEX | 文字列 | O(1) | 互換 | 秒単位の TTL を付けてキーに値を設定する。 |
| SETNX | 文字列 | O(1) | 互換 | キーが存在しない場合に限り値を設定する。 |
| STRLEN | 文字列 | O(1) | 互換 | キーの文字列値の長さを返す。 |
| DEL | 汎用キー操作 | O(N) | 差異あり | 一つ以上のキーを削除する。 |
| EXISTS | 汎用キー操作 | O(N) | 差異あり | 指定したキーのうち存在するものの個数を返す。 |
| EXPIRE | 汎用キー操作 | O(1) | 差異あり | キーの TTL を秒単位で設定する(TTL が 0 以下ならキーを削除する)。 |
| EXPIREAT | 汎用キー操作 | O(1) | 差異あり | キーの失効時刻を Unix 時刻(秒)の絶対値で設定する。 |
| PERSIST | 汎用キー操作 | O(1) | 互換 | キーの TTL を解除する。 |
| PEXPIRE | 汎用キー操作 | O(1) | 差異あり | キーの TTL をミリ秒単位で設定する。 |
| PEXPIREAT | 汎用キー操作 | O(1) | 差異あり | キーの失効時刻を Unix 時刻(ミリ秒)の絶対値で設定する。 |
| PTTL | 汎用キー操作 | O(1) | 互換 | キーの残り TTL をミリ秒で返す(TTL 無しは -1、キーが存在しない場合は -2)。 |
| RENAME | 汎用キー操作 | 文字列値なら O(1) | 差異あり | キーの名前を変更する。変更先が存在すれば上書きする(書き込みは runtime の Op 層でルーティングされる)。 |
| RENAMENX | 汎用キー操作 | 文字列値なら O(1) | 差異あり | 変更先が存在しない場合に限りキーの名前を変更する(書き込みは runtime の Op 層でルーティングされる)。 |
| TTL | 汎用キー操作 | O(1) | 互換 | キーの残り TTL を秒で返す(TTL 無しは -1、キーが存在しない場合は -2)。 |
| TYPE | 汎用キー操作 | O(1) | 互換 | キーに格納された値の型を返す。 |
| UNLINK | 汎用キー操作 | O(N) | 差異あり | 一つ以上のキーを削除する(kevy の shard モデルでは DEL の別名)。 |
| KEYS | キースペース走査 | O(N) | 互換 | glob パターンに一致する全てのキーを返す(shard をまたいで収集する)。 |
| RANDOMKEY | キースペース走査 | O(1)(期待値) | 差異あり | キースペースからキーを一つ返す。 |
| SCAN | キースペース走査 | O(N) | 差異あり | キースペースを一掃し、一致したキーを一度に全て返す。カーソル反復子ではない(COUNT と TYPE は受理された上で無視され、カーソルは常に 0)。 |
| BLPOP | リスト | 応答自体は O(1) | 差異あり | 一つ以上のリストに対する、左端からのブロッキング pop(効果は LPOP として記録される)。 |
| BRPOP | リスト | 応答自体は O(1) | 差異あり | 一つ以上のリストに対する、右端からのブロッキング pop(効果は RPOP として記録される)。 |
| BRPOPLPUSH | リスト | 応答自体は O(1) | 差異あり | ブロッキング版の RPOPLPUSH。source の末尾を pop し、destination の先頭に push する。 |
| LINDEX | リスト | O(1) | 互換 | 指定した位置のリスト要素を返す。 |
| LLEN | リスト | O(1) | 互換 | リストの長さを返す。 |
| LMOVE | リスト | O(1) | 差異あり | 二つのリストの間で要素をアトミックに移動する。 |
| LPOP | リスト | O(C) | 差異あり | リストの先頭から要素を一つ以上 pop する。 |
| LPOS | リスト | 常に O(N) | 互換 | リスト内で一致する要素の位置を返す。 |
| LPUSH | リスト | O(M) | 互換 | リストの先頭に要素を一つ以上追加する。 |
| LRANGE | リスト | O(M) | 互換 | リストの指定範囲の要素を返す。 |
| LREM | リスト | 最悪 O(N*R) | 互換 | リストから指定した値に等しい要素を削除する。 |
| LSET | リスト | O(1) | 互換 | 指定した位置のリスト要素を設定する。 |
| LTRIM | リスト | O(R) | 互換 | リストを指定した範囲に切り詰める。 |
| RPOP | リスト | O(C) | 差異あり | リストの末尾から要素を一つ以上 pop する。 |
| RPOPLPUSH | リスト | O(1) | 差異あり | source の末尾を pop し、destination の先頭に push する。 |
| RPUSH | リスト | O(M) | 互換 | リストの末尾に要素を一つ以上追加する。 |
| HDEL | ハッシュ | O(M) | 互換 | ハッシュのフィールドを一つ以上削除する。 |
| HEXISTS | ハッシュ | O(1) | 互換 | ハッシュにそのフィールドが存在するかを調べる。 |
| HEXPIRE | ハッシュ | O(F) | 差異あり | ハッシュのフィールド単位の TTL を秒で設定する。 |
| HGET | ハッシュ | O(1) | 互換 | ハッシュのフィールドの値を返す。 |
| HGETALL | ハッシュ | O(N) | 互換 | ハッシュの全フィールドと値を返す。 |
| HINCRBY | ハッシュ | O(1) | 互換 | ハッシュのフィールドの整数値を増やす。 |
| HKEYS | ハッシュ | O(N) | 互換 | ハッシュの全フィールド名を返す。 |
| HLEN | ハッシュ | O(1) | 互換 | ハッシュのフィールド数を返す。 |
| HMGET | ハッシュ | O(M) | 互換 | ハッシュの複数フィールドの値を返す。 |
| HMSET | ハッシュ | O(M) | 互換 | HSET の非推奨の別名。OK を返す。 |
| HPERSIST | ハッシュ | O(F) | 差異あり | ハッシュのフィールド単位の TTL を解除する。 |
| HPEXPIRE | ハッシュ | O(F) | 差異あり | ハッシュのフィールド単位の TTL をミリ秒で設定する。 |
| HPEXPIREAT | ハッシュ | O(F) | 差異あり | ハッシュのフィールド単位の失効時刻を、Unix 時刻(ミリ秒)の絶対値で設定する。 |
| HPTTL | ハッシュ | O(F) | 差異あり | フィールドごとの残り TTL をミリ秒で返す(-1 は TTL 無し、-2 はフィールドが存在しない)。 |
| HSCAN | ハッシュ | O(N) | 差異あり | ハッシュのフィールドと値を反復する(単一バッチのカーソル)。 |
| HSET | ハッシュ | O(M) | 互換 | ハッシュのフィールドを一つ以上設定し、新規に作られたフィールドの数を返す。 |
| HSETNX | ハッシュ | O(1) | 互換 | ハッシュのフィールドが存在しない場合に限り設定する。 |
| HTTL | ハッシュ | O(F) | 差異あり | フィールドごとの残り TTL を秒で返す(-1 は TTL 無し、-2 はフィールドが存在しない)。 |
| HVALS | ハッシュ | O(N) | 互換 | ハッシュの全ての値を返す。 |
| SADD | 集合 | O(M) | 互換 | セットにメンバーを一つ以上追加する。 |
| SCARD | 集合 | O(1) | 互換 | セットのメンバー数を返す。 |
| SDIFF | 集合 | O(元セットの濃度の総和) | 互換 | 指定したセットの差集合を返す(shard をまたいで収集する)。 |
| SDIFFSTORE | 集合 | O(元セットの濃度の総和) に加え | 互換 | 指定したセットの差集合を destination に格納する。 |
| SINTER | 集合 | O(元セットの濃度の総和) | 互換 | 指定したセットの積集合を返す(shard をまたいで収集する)。 |
| SINTERSTORE | 集合 | O(元セットの濃度の総和) に加え O(結果の要素数) | 互換 | 指定したセットの積集合を destination に格納する。 |
| SISMEMBER | 集合 | O(1) | 互換 | 値がセットのメンバーかどうかを調べる。 |
| SMEMBERS | 集合 | O(N) | 互換 | セットの全メンバーを返す。 |
| SPOP | 集合 | O(count)(期待値) | 差異あり | セットからメンバーを一つ以上ランダムに取り出し、削除する。 |
| SRANDMEMBER | 集合 | O(count)(期待値) | 差異あり | セットのメンバーを、削除せずに一つ以上返す。 |
| SREM | 集合 | O(M) | 互換 | セットからメンバーを一つ以上削除する。 |
| SSCAN | 集合 | O(N) | 差異あり | セットのメンバーを反復する(単一バッチのカーソル)。 |
| SUNION | 集合 | O(元セットの濃度の総和) | 互換 | 指定したセットの和集合を返す(shard をまたいで収集する)。 |
| SUNIONSTORE | 集合 | O(元セットの濃度の総和) に加え O(結果の要素数) | 互換 | 指定したセットの和集合を destination に格納する。 |
| BZPOPMIN | ソート済み集合 | pop 一回につき O(log N) | 互換 | 一つ以上のソート済みセットから、スコアが最小のメンバーをブロッキングで pop する。 |
| ZADD | ソート済み集合 | O(M log N) | 互換 | ソート済みセットにスコア付きでメンバーを追加する。条件フラグを指定できる。 |
| ZCARD | ソート済み集合 | O(1) | 互換 | ソート済みセットのメンバー数を返す。 |
| ZCOUNT | ソート済み集合 | O(N) | 互換 | 指定した範囲のスコアを持つメンバーの個数を返す。 |
| ZDIFFSTORE | ソート済み集合 | O(元セットの濃度の総和 + R log R) | 互換 | 指定したソート済みセットの差集合を destination に格納する。 |
| ZINCRBY | ソート済み集合 | O(log N) | 互換 | ソート済みセット内のメンバーのスコアを増やす。 |
| ZINTERCARD | ソート済み集合 | O(元セットの濃度の総和) | 互換 | 指定したソート済みセットの積集合の要素数を返す。 |
| ZINTERSTORE | ソート済み集合 | O(元セットの濃度の総和 + R log R) | 互換 | 指定したソート済みセットの積集合を destination に格納する。 |
| ZPOPMIN | ソート済み集合 | O(M log N) | 互換 | スコアが低いメンバーを、最大 count 個 pop する。 |
| ZPOPMIN.BELOW | ソート済み集合 | O(M log N) | kevy 固有 | kevy 拡張。スコアが閾値より厳密に小さいメンバーを、低い方から最大 count 個 pop する(遅延ジョブ用のプリミティブ)。 |
| ZRANGE | ソート済み集合 | O(start + M) | 差異あり | 順位の範囲を指定してメンバーを返す。 |
| ZRANGEBYSCORE | ソート済み集合 | O(N + M) | 互換 | 指定した範囲のスコアを持つメンバーを返す。 |
| ZRANK | ソート済み集合 | O(N) | 差異あり | メンバーの順位をスコアの低い順で返す。 |
| ZREM | ソート済み集合 | O(M log N) | 互換 | ソート済みセットからメンバーを一つ以上削除する。 |
| ZREMRANGEBYRANK | ソート済み集合 | O(start + M log N) | 互換 | 指定した順位の範囲にあるメンバーを削除する。 |
| ZREMRANGEBYSCORE | ソート済み集合 | O(N + M log N) | 互換 | 指定した範囲のスコアを持つメンバーを削除する。 |
| ZREVRANGEBYSCORE | ソート済み集合 | O(N + M) | 互換 | 指定した範囲のスコアを持つメンバーを、スコアの高い順に返す。 |
| ZSCAN | ソート済み集合 | O(N) | 差異あり | ソート済みセットのメンバーとスコアを反復する(単一バッチのカーソル)。 |
| ZSCORE | ソート済み集合 | O(1) | 互換 | メンバーのスコアを返す。 |
| ZUNIONSTORE | ソート済み集合 | O(元セットの濃度の総和 + R log R) | 互換 | 指定したソート済みセットの和集合を destination に格納する。 |
| XACK | ストリーム | O(A log P) | 互換 | コンシューマーグループの pending エントリを確認済みにする。 |
| XADD | ストリーム | 挿入は O(log N) | 差異あり | ストリームにエントリを追記する。トリム指定を同時に行える。 |
| XAUTOCLAIM | ストリーム | O(log P + K + COUNT log N) | 差異あり | カーソル位置から、idle 状態の pending エントリを走査して claim する。 |
| XCLAIM | ストリーム | O(A * (log P + log N)) | 差異あり | 指定した id の idle な pending エントリを、コンシューマーへ claim する。 |
| XDEL | ストリーム | id が D 個で O(D log N + N*F) | 互換 | ストリームから id を指定してエントリを削除する。 |
| XGROUP | ストリーム | CREATE / DESTROY は O(1) に加えて O(N*F) の再… | 差異あり | ストリームのコンシューマーグループを管理する。 |
| XINFO | ストリーム | STREAM は O(1) | 差異あり | ストリーム本体、そのグループ、そのコンシューマーの内部状態を参照する。 |
| XLEN | ストリーム | O(1) | 互換 | ストリームのエントリ数を返す。 |
| XPENDING | ストリーム | サマリ形式は O(P*C) | 互換 | コンシューマーグループの pending エントリを、サマリ形式または拡張形式で参照する。 |
| XRANGE | ストリーム | O(log N + M) | 互換 | ID 範囲に含まれるストリームのエントリを返す。 |
| XREAD | ストリーム | ストリーム S 本に対して O(S * (log N + M)) | 差異あり | 1 本以上のストリームから新規エントリを読む。ブロックも指定できる。 |
| XREADGROUP | ストリーム | 「>」形式は O(log N + U + M) | 差異あり | コンシューマーグループの一員としてストリームを読む。ブロックも指定できる。 |
| XREVRANGE | ストリーム | O(log N + M) | 互換 | ID 範囲に含まれるストリームのエントリを逆順で返す。 |
| XSETID | ストリーム | O(log N) | 互換 | ストリームの最終生成 ID と付随カウンタを上書きする。 |
| XTRIM | ストリーム | 退避されるエントリが R 件で O(R log N + N*F) | 差異あり | 長さまたは最小 ID を基準にストリームをトリムする。 |
| GEOADD | 地理空間 | O(M log N) | 互換 | geo set に経度・緯度つきのメンバーを追加する。 |
| GEODIST | 地理空間 | O(1) | 互換 | 2 つのメンバー間の距離を返す。 |
| GEOHASH | 地理空間 | O(M) | 互換 | 各メンバーの base32 geohash 文字列を返す。 |
| GEOPOS | 地理空間 | O(M) | 互換 | 各メンバーの経度・緯度を返す。 |
| GEORADIUS | 地理空間 | 1 回の呼び出しで O(N) | 差異あり | 座標を中心とする旧来形式の半径検索。STORE による書き出しにも対応する。 |
| GEORADIUSBYMEMBER | 地理空間 | 1 回の呼び出しで O(N) | 差異あり | 既存メンバーを中心とする旧来形式の半径検索。STORE による書き出しにも対応する。 |
| GEOSEARCH | 地理空間 | 1 回の呼び出しで O(N) | 差異あり | メンバーまたは座標を起点として、半径または矩形の範囲でメンバーを検索する。 |
| GEOSEARCHSTORE | 地理空間 | 検索に O(N) | 差異あり | source に対して GEOSEARCH を実行し、その結果を destination に書き出す。 |
| ECHO | 接続 | O(1) | 互換 | 与えられたメッセージをそのまま返す。 |
| HELLO | 接続 | O(1) | 差異あり | ハンドシェイク。サーバ情報を返し、RESP のプロトコルバージョン(2 または 3)を切り替える。 |
| PING | 接続 | O(1) | 差異あり | サーバへの疎通確認。PONG、または与えられたメッセージを返す。 |
| QUIT | 接続 | O(1) | 互換 | OK を返してからコネクションを閉じる。 |
| SELECT | 接続 | O(1) | 差異あり | 論理データベースを選択する。kevy は単一 DB であり、index 0 だけを受理する。 |
| BGREWRITEAOF | サーバー | fan-out は O(S) | 差異あり | append-only file の再書き出しをバックグラウンドで開始する。 |
| BGSAVE | サーバー | fan-out は O(S) | 差異あり | スナップショットの保存をバックグラウンドで開始する。 |
| CLIENT | サーバー | ID / GETNAME / SETNAME / INFO は O(1) | 差異あり | コネクションの参照と制御を行うサブコマンド群。 |
| CLUSTER | サーバー | INFO / NODES / SLOTS / SHARDS / MYID は… | 差異あり | クラスタトポロジの参照(shard 上に構成した仮想ノードモデル)。 |
| COMMAND | サーバー | 引数なし / LIST / DOCS は verb 数 V に対して O(V) | 差異あり | コマンドテーブルを参照する(COUNT / LIST / INFO / DOCS)。 |
| CONFIG | サーバー | GET は O(patterns * 16) | 差異あり | サーバ設定パラメータを読み書きする。 |
| DBSIZE | サーバー | O(S) | 互換 | 全 shard を合計した key 数を返す。 |
| DEBUG | サーバー | SLEEP は | 差異あり | デバッグ用サブコマンド。SLEEP は shard をブロックし、それ以外のサブコマンドは OK として受け流す。 |
| FLUSHALL | サーバー | fan-out は O(S) | 差異あり | 全 shard の全 key を削除する。 |
| FLUSHDB | サーバー | O(N + S) | 差異あり | 現在のデータベースの全 key を削除する。kevy は単一 DB のため FLUSHALL と同じ。 |
| INFO | サーバー | keyspace に対しては O(1) | 差異あり | サーバの統計と状態を、セクション単位のテキストで返す。 |
| MEMORY | サーバー | USAGE は O(1) | 差異あり | メモリ状態を参照するサブコマンド群。 |
| SAVE | サーバー | fan-out は O(S) | 差異あり | データセットをディスクへ同期的にスナップショットする。 |
| SHUTDOWN | サーバー | 停止フラグを立てるまでが O(1) | 差異あり | サーバプロセスを停止する(応答を返さないままコネクションが切れる)。 |
| SLOWLOG | サーバー | GET は O(S) の fan-out に加えて | 差異あり | スローコマンドログの参照とリセット。 |
| DISCARD | トランザクション | O(1) | 互換 | 開いている MULTI トランザクションを破棄する。 |
| EXEC | トランザクション | キュー済みコマンドのコストの総和 | 差異あり | MULTI 以降にキューされたコマンドをすべて実行する。 |
| MULTI | トランザクション | O(1) | 互換 | トランザクションを開始する。以降のコマンドは EXEC まで積まれる。 |
| UNWATCH | トランザクション | O(1) | 互換 | WATCH した key をすべて忘れる。 |
| WATCH | トランザクション | key W 個に対して O(W) | 互換 | 次の EXEC のために、key を楽観ロックの対象として監視する。 |
| EVAL | スクリプト | コンパイルのコストと | 差異あり | Lua スクリプトをサーバ側で実行する。numkeys が 1 以上なら KEYS[1] の shard へルーティングされる。 |
| EVALSHA | スクリプト | キャッシュの引き当てが O(1) | 差異あり | SHA1 ダイジェストを指定して、キャッシュ済み Lua スクリプトを実行する。 |
| SCRIPT | スクリプト | LOAD は O(len(script)) | 差異あり | プロセス全体で共有する Lua スクリプトキャッシュを管理する。 |
| PSUBSCRIBE | Pub/Sub | O(p * P) | 互換 | glob パターンに一致するチャネルを購読する。 |
| PUBLISH | Pub/Sub | チャネルの引き当てが O(1) | 互換 | チャネルへメッセージを送り、受信者数を返す。 |
| PUNSUBSCRIBE | Pub/Sub | O(p * P) | 互換 | パターンの購読を解除する(引数がなければ全パターン)。 |
| SUBSCRIBE | Pub/Sub | チャネル c 個に対して O(c) | 差異あり | 指定したチャネルを購読する。 |
| UNSUBSCRIBE | Pub/Sub | チャネル c 個に対して O(c) | 互換 | チャネルの購読を解除する(引数がなければ全チャネル)。 |
| FAILOVER | レプリケーション | コマンド自体は O(1) | 差異あり | 計画的な無損失ハンドオーバー。書き込みを止め、対象レプリカが追いつくのを待ち、それを昇格させ、自身はそのレプリカに追従する。 |
| REPL.TOKEN | レプリケーション | O(S) | kevy 固有 | kevy 拡張。read-your-writes トークンを発行する —— shard ごとの [generation, offset] の組であり、primary は自身の feed 末尾を、replica は適用済みの位置を返す。 |
| REPL.WAIT | レプリケーション | O(S) | kevy 固有 | kevy 拡張。replica 上では、与えられた REPL.TOKEN を全 shard が適用し終えるまでブロックする(以降の読み取りは read-your-writes になる)。成功で +OK、タイムアウトまたは generation 不一致では -MISDIRECTED writer is <primary> を返す。TIMEOUT の既定は 1000 ms、上限は 60 s。primary 上では即座に +OK。 |
| REPLICAOF | レプリケーション | コマンド自体は O(1) | 差異あり | このサーバを別のサーバのレプリカにする。NO ONE で昇格させる。 |
| ROLE | レプリケーション | replica では O(1) | 互換 | このサーバのレプリケーション役割と状態を返す。 |
| SLAVEOF | レプリケーション | O(1) と | 差異あり | REPLICAOF の旧名エイリアス。 |
| WAIT | レプリケーション | O(S) | 差異あり | 全 shard の master_repl_offset が numreplicas 台以上の replica に ack されるまで(または timeout ミリ秒が経過するまで)ブロックし、shard 横断での ack 済み replica 数の最小値を返す。timeout 0 は無期限待ちだが、上限は 60 s。注意:replica の ACK は fsync による永続化を意味しない。 |
| IDX.COUNT | インデックス | shard あたり O(log N + matched) | kevy 固有 | 範囲述語または等値述語に一致するインデックスエントリの件数を数える。 |
| IDX.CREATE | インデックス | 呼び出し自体は O(1) | kevy 固有 | key の prefix に対する二次インデックスを宣言する(カタログの変更であり、サイドカーへ永続化される)。 |
| IDX.DROP | インデックス | O(catalog size) | kevy 固有 | 宣言済みのインデックスを削除する(カタログの変更であり、サイドカーへ永続化される)。 |
| IDX.EXPLAIN | インデックス | プラン自体は解析のみで済むが | kevy 固有 | IDX.QUERY の解析だけを行い、実行はしない。kind、state、est_rows、そしてプラン 1 行を返す。 |
| IDX.LIST | インデックス | O(1) ではない | kevy 固有 | 宣言済みのインデックスを、ビルド状態と統計とともに列挙する。 |
| IDX.QUERY | インデックス | インデックスの kind による | kevy 固有 | インデックスに問い合わせる。範囲 / 等値、text MATCH、vector KNN、集約グループ、2 つのインデックスの COMPOSE のいずれか。 |
| IDX.REBUILD | インデックス | vector インデックス専用(tombstone の圧縮) | kevy 固有 | ANN インデックスを再構築する(tombstone の圧縮)。 |
| IDX.VERIFY | インデックス | shard あたり O(N) | kevy 固有 | インデックスを検証し、entries / bytes / coerce_failures / duplicates / drift / checked を報告する。 |
| VIEW.CREATE | ビュー | 呼び出し自体は O(tree size) | kevy 固有 | 複数のインデックスを合成した view を、ORDER BY つきで宣言する(カタログの変更であり、サイドカーへ永続化される)。 |
| VIEW.DROP | ビュー | O(catalog size) | kevy 固有 | 宣言済みの view を削除する(カタログの変更であり、サイドカーへ永続化される)。 |
| VIEW.EXPLAIN | ビュー | 葉ごとの (log N + matched) の総和 | kevy 固有 | view の合成ツリーを、葉ごとのカーディナリティつきで説明する。 |
| VIEW.LIST | ビュー | origin 側で O(views) | kevy 固有 | 宣言済みの view を、モードと形状とともに列挙する。 |
| VIEW.QUERY | ビュー | virtual は O(log N_order + candidates *… | kevy 固有 | view の順序づけられたメンバーをページングして取得する。VIA テンプレート経由でフィールドを hydrate することもできる。 |
| VIEW.REBUILD | ビュー | materialized 専用 | kevy 固有 | materialized view の再構築を強制する。 |
| VIEW.VERIFY | ビュー | materialized は O(M) | kevy 固有 | view を検証し、メンバー数とバイト数の統計を報告する。 |
| FEED.READ | 変更フィード | 対象は単一の shard である(shard は引数であって | kevy 固有 | 1 つの shard から、generation / offset のカーソル以降の変更フィードフレームを読む。 |
| FEED.SHARDS | 変更フィード | O(1) | kevy 固有 | 変更フィードの shard 数を返す。 |
| FEED.TAIL | 変更フィード | 単一の shard 上で O(1) | kevy 固有 | 指定した shard の、現在の feed generation と次の offset を返す。 |
| PREFIX.DIGEST | マイグレーション | 全 shard で | kevy 固有 | prefix 配下の行に対する順序非依存のチェックサム。移行時の検証に使う。 |
| PREFIX.STATS | マイグレーション | 全 shard で keyspace を全走査するため | kevy 固有 | key の prefix に対する key 数とバイト数の統計を返す。 |