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

對于已提交事務，恢復時需要做redo操作。

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

封鎖協(xié)議越嚴格，并發(fā)程度越低。

透過視圖的更新被保存在視圖中。

DBMS執(zhí)行CREATE VIEW語句的時執(zhí)行其中的SELECT語句，并保存結(jié)果。

代數(shù)優(yōu)化是通過存儲路徑和底層操作算法的選擇進行優(yōu)化。

將一個新學生記錄（學號：05020；姓名：丁莉；性別：女；年齡：17歲；所在系：計算機；）插入Student 表中。

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

斷言檢查起來很耗費系統(tǒng)性能。