我有兴趣了解如下操作的工具：
给定一个数据库模式和一些数据,建议模式是否可能以任何特定的正常形式进行结构化,然后说明模式如何被考虑以产生进一步的规范化.
基本上,数据库模式设计的静态分析工具.
像其他静态分析工具一样,这样的数据库工具不需要产生完美的结果(我怀疑这样一个“完美的”工具在计算上是可行的),或者适用于所有的数据库系统,或者是自由/开放的源代码,或其他任何东西.该工具不需要是独立的;它可以捆绑成一些复杂的IDE功能.我只是想知道那里有什么.
解决方法
可以做到这一点,至少有两个可以为您做出正常化的特殊工具：GeneXus和DeKlarit.
他们使用一个名为 NormalizationBySynthesis的进程
他们使用一个名为 NormalizationBySynthesis的进程
