アプリケーションが ArangoDB で実行時間の長い (数分) クエリを開始した場合、サーバーを強制終了することなく、自分の裁量で (プログラムによって) 中断または中止できますか?
ArangoDB のドキュメント、Google グループ、および Web を検索しましたが、この機能が存在するかどうかを確認できませんでした。このような機能が存在する場合もありますが、簡単には発見できません。
「startTraversal」で「maxIterations」パラメーターを見つけましたが、クエリをいつ終了するかを事前に決定することはできません。ユーザー入力によって決定されます。操作を終了するには非同期の方法が必要です。
一部のグラフ DB には「タイムアウト」構成があります。ただし、これでも、私の裁量で (いつでも) クエリを中止するという要件を満たすことはできません。
私のアプリケーション (および私が考える他の多くのアプリケーション) では、ユーザーは気が変わって、(大きな) グラフの新しいクエリを効果的に必要とし、最初のクエリを不要にする他の機能を選択する場合があります。そのクエリを実行してリソースを消費したままにしたくありません。また、他の保留中のクエリを失いたくないし、サーバーを再起動する必要もありません。