一个BCNF的多项式时间判定算法
A POLYNOMIAL TIME ALGORITHM TO DECIDE BCNF
-
摘要: 文中指出了文献［１］中对ＢＣＮＦ判定问题证明过程的错误之处，通过分析属于ＢＣＮＦ的关系模式的结构特点，给出了一个判定关系模式是否属于ＢＣＮＦ的多项式时间算法．Abstract: The mistake in the proving process of the problem of deciding BCNF in reference is pointed out,and a polynomial time algorithm to decide whether a relation schema is in BCNF is given.
下载: