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

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

某個(gè)事務(wù)在運(yùn)行過(guò)程中由于種種原因未能運(yùn)行到正常而中止，這屬于（）

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

一個(gè)關(guān)系模式總可以通過(guò)分解達(dá)到BCNF或3NF。

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

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

用戶優(yōu)化和系統(tǒng)優(yōu)化的效果一樣。

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

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