关系模式的分解与函数依赖关系的判断.docVIP

关系模式的分解与函数依赖关系的判断 （在读此文章时须认真细心读懂每一行每一个细节） 关于无损分解和保持依赖的判断，是系分和数工考试中每年基本上都会考的题，而且绝大部分是对一个关系模式分解成两个模式的考察，分解为三个以上模式时无损分解和保持依赖的判断比较复杂，考的可能性不大，因此我们只对“一个关系模式分解成两个模式”这种类型的题的相关判断做一个总结。以下的论述都基于这样一个前提：R是具有函数依赖集F的关系模式，（R1 ，R2）是R的一个分解。首先我们给出一个看似无关却非常重要的概念：属性集的闭包。令α为一属性集。我们称在函数依赖集F下由α函数确定的所有属性的集合为F下α的闭包，记为α+ 。下面给出一个计算α+的算法，该算法的输入是函数依赖集F和属性集α，输出存储在变量result中。算法一：result=α;while(result发生变化)do? ? for each 函数依赖β→γ in F do? ? begin? ?? ???if βresult then result=(result∪γ);? ? end(此算法是要算出α属性α→β、β→γ、β→δ、δ→θ，此算法能算出属性为：{α、β、γ、β、δ、θ}) 属性集闭包的计算有以下两个常用用途：·判断α是否为超码 : 通过计算α+（α在F下的闭包），看α+ 是否包含了R中的所有属性。若是，则α