Dgraphの管理

この項ではBDDのDgraphコンポーネントと、その管理操作およびフラグについて説明します。また、Dgraphの様々な特性および動作(メモリー消費、Dgraphキャッシュ、Dgraphコア・ダンプ・ファイルの管理など)についても説明します。