The mistake in the proving process of the problem of deciding BCNF in reference[1] is pointed out,and a polynomial time algorithm to decide whether a relation schema is in BCNF is given.
英
美
- 摘要文中指出了文獻[1]中對BCNF判定問(wèn)題證明過(guò)程的錯誤之處,通過(guò)分析屬于BCNF的關(guān)系模式的結構特點(diǎn),給出了一個(gè)判定關(guān)系模式是否屬于BCNF的多項式時(shí)間算法.