查詢的內(nèi)部表示可以使用（）

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

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

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

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

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

將學(xué)號為05001學(xué)生的年齡改為22歲。

選擇運算的基本方法有（）

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

創(chuàng)建視圖[學(xué)生成績表視圖]，視圖中包括學(xué)號（Sno）、姓名（Sname）、課程號（Cno）、課程名（Cname）、成績（Grade）。