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

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

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

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

小陈笔记三周年:宛如一场做不完的梦

三年前, 2016年11月5日14点57分2秒 ,小陈笔记经过备案手续,正式成立了。

三年后, 2019年11月5日14点57分2秒 ,小陈笔记依然在这个互联网的角落里存在着。

三年前,带着记载高中生涯最后一段历程的初衷,我建立了这个博客。谁又能想到,运营博客的时间,足够我再过一次酸甜苦辣咸的福一三年。

再次,为纪念小陈笔记建博三周年,我特地整理出一些具有小陈笔记早期特色的博文:

  1. 旅途:福一三年 Three Years In FZYZ 2016年11月5日
  2. 还有123天,高中生涯就结束了 。 2017年2月4日
  3. 开门考失利 2017年2月12日
  4. 高中最后的日子 2017年2月13日
  5. 怀念我的笔 2017年2月17日
  6. 我被自己打败了 2017年3月3日
  7. 错题本 2017年3月23日
  8. 今天很不开心 2017年5月4日
  9. 喊楼 2017年5月21日
  10. 珍惜相聚的时光吧 2017年5月24日
  11. 惊险!险遭扒窃 2017年6月12日