次のように動作するツールについて学ぶことに興味があります。
データベース スキーマといくつかのデータが与えられた場合、スキーマが特定の正規形で構造化されている可能性が高いかどうかを示し、さらに正規化を行うためにスキーマをどのように分解できるかを示します。
基本的には、データベース スキーマ設計のための静的分析ツールです。
他の静的分析ツールと同様に、そのようなデータベース ツールは完璧な結果を生成する必要はなく (そのような「完璧な」ツールが計算上実行可能であるとは思えません)、すべてのデータベース システム、フリー/オープン ソース、またはその他のあらゆるものに適用できます。ツールはスタンドアロンである必要はありません。洗練された IDE 機能としてバンドルされる可能性があります。そこに何があるのか 疑問に思っています。