某個事務(wù)在運行過程中由于種種原因未能運行到正常而中止，這屬于（）

強(qiáng)制存取控制是所有數(shù)據(jù)庫管理系統(tǒng)必須提供的安全性手段。

投影運算是二元運算符。

選擇運算是傳統(tǒng)的集合運算符。

一個關(guān)系模式總可以通過分解達(dá)到BCNF或3NF。

建立學(xué)生表[Student]，其中學(xué)號屬性不能為空，并且其值是唯一的。

對于已提交事務(wù)，恢復(fù)時需要做redo操作。

一個關(guān)系模式的范式級別達(dá)到3Nf后它一定是BCNF。

關(guān)于數(shù)據(jù)庫的恢復(fù)技術(shù)，下面說法正確的是（）

下面哪個選項不是冗余數(shù)據(jù)？（）