問題タブ [arangodb]

アプリケーションが ArangoDB で実行時間の長い (数分) クエリを開始した場合、サーバーを強制終了することなく、自分の裁量で (プログラムによって) 中断または中止できますか?

ArangoDB のドキュメント、Google グループ、および Web を検索しましたが、この機能が存在するかどうかを確認できませんでした。このような機能が存在する場合もありますが、簡単には発見できません。

「startTraversal」で「maxIterations」パラメーターを見つけましたが、クエリをいつ終了するかを事前に決定することはできません。ユーザー入力によって決定されます。操作を終了するには非同期の方法が必要です。

一部のグラフ DB には「タイムアウト」構成があります。ただし、これでも、私の裁量で (いつでも) クエリを中止するという要件を満たすことはできません。

私のアプリケーション (および私が考える他の多くのアプリケーション) では、ユーザーは気が変わって、(大きな) グラフの新しいクエリを効果的に必要とし、最初のクエリを不要にする他の機能を選択する場合があります。そのクエリを実行してリソースを消費したままにしたくありません。また、他の保留中のクエリを失いたくないし、サーバーを再起動する必要もありません。

私はarangodb（およびグラフデータベース）に本当に慣れていません。私は sortest_path 関数を使用しようとしています:

しかし、シェルは次のように返します。

ドキュメントでは、この関数の実際の使用例が見つかりません。

MySQL 用の Workbench、MS SQL 用の SQL Management studio があるように、arangoDB 用のツールはありますか?

私はたくさん検索しましたが、解決策が見つかりませんでした。

あなたの助けに感謝します。前もって感謝します。