属性集合函数依赖的半序同构集

我们把关系型数据库的关系模式R(U,F)中F所蕴含的全部函数依赖:‘→’看作是U的幂集2~U上的一个偏序,从而(2~U,→>是一个半序集,借助定义一种有向超图,可建立(2~U,→)的一个半序同构集,而这个集以为偏序,从而可把对‘→’的研究转化为对更直观、更通俗的的研究,为关系型数据库函数依赖的研究提供了一种新的思路。