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

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

查計算機系姓趙的男同學的姓名（Sname）、性別（Ssex）、年齡（Sage）。

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

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

查考試成績有不及格的學生的學號。

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

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

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

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