基于超图的BCNF的判定算法

利用超图来表示关系模式．定义了直接决定因素、推导．讨论了直接决定因素的性质．在此基础上给出了利用超图判定给定的关系模式是否属于ＢＣＮＦ的新算法．     

一种基于超图的关系模式主属性判定算法研究

利用超图表示关系模式的ＦＤ集．定义了最大有向准路、严格准环和最大严格准环．并讨论了严格准环、最大有向准路的性质．在此基础上给出基于超图的关系模式主属性判定算法．进而给出了求出属性集的算法．