前提:做了一道数据库系统的题目,题目给出了一个关系模式和相应的函数依赖集,第一步让求最小函数依赖集,之后求候选码,判断关系模式最高规范化程度,分解的无损连接性,并将关系进行分解为3nf或者bcnf。由此我想后面的求解是否可以使用最小函数依赖集进行计算。
结论:看了别人博客说:例如学号可以唯一确定一位学生的姓名、性别等等。但是,有时候给出的函数依赖集并不是最简的,这有时会拖累我们对关系的后续处理,例如关系的分解、判断是否为无损分解等,现在才知道求解后的最小函数依赖集就可以代替原来的函数依赖集进行后续的处理,但是注意判断莫斯最高规范化程度要看源函数依赖集。