一个BCNF的多项式时间判定算法  

A POLYNOMIAL TIME ALGORITHM TO DECIDE BCNF

作　　者：刘国华[1,2] 郝忠孝[1,2] 

机构地区：[1]燕山大学 [2]齐齐哈尔大学

出　　处：《计算机研究与发展》1998年第4期310-314,共5页Journal of Computer Research and Development

摘　　要：文中指出了文献［１］中对ＢＣＮＦ判定问题证明过程的错误之处，通过分析属于ＢＣＮＦ的关系模式的结构特点，给出了一个判定关系模式是否属于ＢＣＮＦ的多项式时间算法．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.

关 键 词：关系数据库 范式 BCNF NP-完全问题 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]