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

視圖加授權(quán)可以起到安全性的作用。

關(guān)系數(shù)據(jù)庫中查詢優(yōu)化是可以省略的。

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

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

應(yīng)該盡量避免笛卡爾積運(yùn)算。

磁盤鏡像的作用在于并發(fā)控制。

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

將一個(gè)新學(xué)生記錄（學(xué)號(hào)：05020；姓名：丁莉；性別：女；年齡：17歲；所在系：計(jì)算機(jī)；）插入Student 表中。

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