证明:通过3NF Synthesis(第三正规式合成)得到的每个子关系皆为第三正规式

通过3NF Synthesis算法,我们可以获得多个子关系,而每个子关系皆为第三正规式,以下证明了为什么每个子关系皆为第三正规式。

首先,根据第三正规式合成之算法,先得获得Minimal Cover(最小覆盖),然后每个子关系,都是由最小覆盖中的每一个关系X->Y中的X Union Y构成。如果发现有子关系比过去或未来的任一子关系小,则将其抹去。

继续阅读 “证明:通过3NF Synthesis(第三正规式合成)得到的每个子关系皆为第三正规式”