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

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

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

視圖加授權可以起到安全性的作用。

聚簇索引可以顯著提高某些查詢的速度，因此，對一個基本表可以建立多個聚簇索引。

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

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

創(chuàng)建存儲過程[getDetailByName]，通過輸入?yún)?shù)學生姓名（如"張三"），篩選出該學生的基本信息，對不存在此學生姓名的輸入值，必須作一檢測，打印信息“不存在此學生”。

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

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